Hamiltoniaanse groep

In de groepentheorie is een dedekindgroep een groep waarvan iedere ondergroep een normaaldeler is. Dedekindgroepen zijn naar Richard Dedekind genoemd, die er in een artikel in 1897 over heeft geschreven. Alle commutatieve groepen zijn dedekindgroepen. Dedekind noemde de dedekindgroepen die niet commutatief zijn Hamiltoniaanse groepen, naar William Rowan Hamilton, de bedenker van de quaternionen.

Hamiltoniaanse groepen kunnen volgens een stelling van Dedekind volledig worden gekarakteriseerd. Iedere eindige Hamiltoniaanse groep $G$ is van de vorm:

$G\cong Q_8\times G\times (\mathbb{Z}/2\mathbb{Z}{)}^n$

Daarin zijn

• $Q_8$ de quaternionengroep
• $G$ een commutatieve groep, waarvan de orde oneven is
• $n$ een natuurlijk getal

Als de groep $G$ triviaal is ontbreekt de tweede factor en voor $n=0$ ontbreekt de derde factor. De quaternionengroep is daarmee de kleinste Hamiltoniaanse groep en iedere Hamiltoniaanse groep heeft een ondergroep die isomorf is met de quaternionengroep.

Bijgevolg zijn $Q_8\times Q_8$ en $Q_8\times \mathbb{Z}/4\mathbb{Z}$ geen Hamiltoniaanse groepen. Inderdaad zijn $\{(q,q)|q\in Q_8\}$ en $\{(1,\bar{0}),(i,\bar{1}),(-1,\bar{2}),(-i,\bar{3})\}$ geen normaaldelers, waarbij $\mathbb{Z}/4\mathbb{Z}=\{\bar{0},\bar{1},\bar{2},\bar{3}\}$.