En relativité, on appelle petit groupe le sous-groupe des transformations de Lorentz
dont les éléments laissent invariant une quadri-impulsion
donnée. Si
est un membre de ce groupe, on a donc :

Structure du petit groupe (cas particulier)
(Nous adoptons ici comme métrique lorentzienne
de signature
, ainsi que le système d'unités « naturelles » où
)
Considérons, par exemple, une particule matérielle de quadri-impulsion
. Il existe alors un référentiel lorentzien dans lequel cette particule est au repos ; on peut donc y écrire :
.
Tout élément du petit groupe correspondant doit donc vérifier :
. Donc, en particulier :
, c'est-à-dire
.
Pour toutes les autres composantes
, nous avons :
, donc
.
Considérons maintenant, conformément à la méthode générale sur les groupes de Lie, une transformation du petit groupe
arbitrairement proche de l'identité, de sorte que l'on puisse écrire, au premier ordre :

où
est une transformation infinitésimale. Puisque
est une transformation de Lorentz, elle doit vérifier :

Ceci donne, en remplaçant
et
par leurs développements correspondants :


D'où :
.
La matrice 4x4
est donc antisymétrique, et possède ainsi 6 composantes indépendantes. Avec la condition de nullité des trois composantes
, on se retrouve avec 3 composantes indépendantes seulement.
Les matrices infinitésimales
sont donc engendrées par trois matrices élémentaires de type
. On reconnaît là les trois générateurs du groupe des rotations de R³,
.
Le petit groupe est donc ici le groupe
, un résultat intuitif attendu.
Autres cas
La quadri-impulsion ne peut prendre que deux autres valeurs physiques :
- Dans le cas d'une "particule de masse nulle au repos"
, le petit groupe est évidemment le groupe de Lorentz homogène
;
- Dans le cas d'une particule de masse nulle se déplaçant à la vitesse de la lumière
, le petit groupe est le groupe
des rotations et translations du plan euclidien.