Groupe hamiltonien (théorie des groupes)

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher

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.