CentralisateurEn mathématiques, et plus précisément en théorie des groupes, le centralisateur d'une partie X d'un groupe G est le sous-groupe de G formé par les éléments de G qui commutent avec tout élément de X. Soient G un groupe et x un élément de G. Le centralisateur de x dans G, noté CG(x) (ou C(x) si le contexte n'est pas ambigu) est, par définition, l'ensemble des éléments de G qui commutent avec x. Cet ensemble est un sous-groupe de G.
Formule de Baker-Campbell-HausdorffEn mathématiques, la formule de Baker--Hausdorff est la solution Z de l'équation : où , et sont des matrices, ou plus généralement des éléments d'une algèbre de Lie d'un groupe de Lie. Expression Avec les crochets de Lie, elle s'écrit : Une formule reliée est la formule de Zassenhaus: En particulier lorsque et commutent nous avons Lorsque et commutent avec leur commutateur (c'est-à-dire ) le résultat se restreint à la formule dite de Glauber : . Elle est souvent appliquée en physique quantique avec les opérateurs position et impulsion , .
Affine root systemIn mathematics, an affine root system is a root system of affine-linear functions on a Euclidean space. They are used in the classification of affine Lie algebras and superalgebras, and semisimple p-adic algebraic groups, and correspond to families of Macdonald polynomials. The reduced affine root systems were used by Kac and Moody in their work on Kac–Moody algebras. Possibly non-reduced affine root systems were introduced and classified by and (except that both these papers accidentally omitted the Dynkin diagram ).
Théorème d'AdoIn abstract algebra, Ado's theorem is a theorem characterizing finite-dimensional Lie algebras. Ado's theorem states that every finite-dimensional Lie algebra L over a field K of characteristic zero can be viewed as a Lie algebra of square matrices under the commutator bracket. More precisely, the theorem states that L has a linear representation ρ over K, on a finite-dimensional vector space V, that is a faithful representation, making L isomorphic to a subalgebra of the endomorphisms of V.
NilmanifoldIn mathematics, a nilmanifold is a differentiable manifold which has a transitive nilpotent group of diffeomorphisms acting on it. As such, a nilmanifold is an example of a homogeneous space and is diffeomorphic to the quotient space , the quotient of a nilpotent Lie group N modulo a closed subgroup H. This notion was introduced by Anatoly Mal'cev in 1951. In the Riemannian category, there is also a good notion of a nilmanifold. A Riemannian manifold is called a homogeneous nilmanifold if there exist a nilpotent group of isometries acting transitively on it.
Groupe de HeisenbergEn mathématiques, le groupe de Heisenberg d'un anneau unifère A (non nécessairement commutatif) est le groupe multiplicatif des matrices triangulaires supérieures de taille 3 à coefficients dans A et dont les éléments diagonaux sont égaux au neutre multiplicatif de l'anneau : Originellement, l'anneau A choisi par Werner Heisenberg était le corps R des réels. Le « groupe de Heisenberg continu », , lui a permis d'expliquer, en mécanique quantique, l'équivalence entre la représentation de Heisenberg et celle de Schrödinger.
Transformation infinitésimaleEn mathématique, une transformation infinitésimale est une petite transformation dans le sens où l'approximation au premier ordre est valable. Par exemple, pour un groupe à un paramètre agissant sur un espace de dimension finie, on aura où ε est un paramètre de la transformation, In la matrice identité de dimension n et A une matrice appelée générateur de la transformation. En général, une transformation T(ε) n'est pas linéaire, mais si son approximation au premier ordre est valable, alors elle s'écrit comme une somme de matrices.
