In der Gruppentheorie nennt man eine Gruppe dedekindsche Gruppe (nach Richard Dedekind), wenn jede Untergruppe ein Normalteiler ist. Offenbar ist jede abelsche Gruppe eine dedekindsche Gruppe. Die nicht-abelschen unter ihnen werden hamiltonsche Gruppen genannt (nach William Rowan Hamilton).

Die hamiltonschen Gruppen können nach einem auf Dedekind zurückgehenden Satz vollständig angegeben werden:^[1]

• Jede endliche hamiltonsche Gruppe ist von der Form , wobei
  • die Quaternionengruppe ist,
  • eine abelsche Gruppe ungerader Ordnung ist
  • und ist.

Ist , so fehlt der dritte Faktor. Die Gruppe kann einelementig sein, dann fehlt der zweite Faktor. Die Quaternionengruppe ist daher die kleinste hamiltonsche Gruppe und jede hamiltonsche Gruppe enthält einen zur Quaternionengruppe isomorphen direkten Faktor.

Demnach sind und keine hamiltonschen Gruppen. In der Tat sind bzw. nicht-normale Untergruppen, wobei wie üblich und sei.

• Richard Dedekind: Ueber Gruppen, deren sämmtliche Theiler Normaltheiler sind. In: Mathematische Annalen. Bd. 84, Nr. 4, 1897, S. 548–561, Digitalisat.

1. ↑ Bertram Huppert: Endliche Gruppen (= Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen. Mit besonderer Berücksichtigung der Anwendungsgebiete. Bd. 134). Band 1. Springer, Berlin u. a. 1967, Satz III,7.12.