Sia G un gruppo e sia H un suo sottoinsieme; H è un sottogruppo

di G se sono verificate le seguenti condizioni:

1.    1 appartiene ad H;

2.    per ogni h e k elementi di H, il prodotto hk sta ancora in H;

3.    per ogni h appartenente ad H anche h^-1 è un elemento di H.