Groupe hamiltonien (théorie des groupes)

Cet article est une ébauche concernant l'algèbre. Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

En théorie des groupes, un groupe de Dedekind est un groupe dans lequel tout sous-groupe est distingué. Tous les groupes abéliens sont bien sûr des groupes de Dedekind. Un groupe de Dedekind non-abélien est appelé groupe hamiltonien, d'après William Rowan Hamilton.

L'exemple le plus familier de groupe hamiltonien est le groupe des quaternions, noté Q. Il est d'ordre 8 et c'est le plus petit, car tout groupe hamiltonien est un produit direct de la forme G = Q × B × D, où B est la somme directe d'un certain nombre de copies du groupe cyclique d'ordre 2 et D est un groupe abélien de torsion dont tous les éléments sont d'ordre impair.