Sia $G$ un gruppo finito e sia $H$ sottogruppo di $G$. Allora la cardinalità di $H$ divide la cardinalità di $G$.
L’ordine di $G$ è la cardinalità di $G$.
Sia $G$ un gruppo con ordine $p$, dove $p$ è un numero primo. Allora $G$ ha solo due sottogruppi:
TODO: DA FORMALIZZARE MEGLIO
L’ordine di ogni elemento deve sempre dividere la cardinalità del suo gruppo.