Groupe de Lie

Structure mathématique qui est à la fois une variété différentiable et un groupe, avec des opérations de groupe (multiplication et inversion) lisses ; les groupes de Lie décrivent les symétries continues en physique et fournissent les objets globaux dont l'espace tangent en l'identité est une algèbre de Lie.

Un groupe qui est aussi une variété lisse de dimension finie et pour lequel les opérations de groupe (multiplication et inversion) sont des applications lisses ; il combine ainsi une structure de groupe algébrique et une structure différentiable.