Se $H \trianglelefteq G$ allora $(G/\rho_d, \cdot)$ è gruppo, detto gruppo quoziente di $G$ su $H$.
Notazione: $G/H$
Ordine di $G/H = | G/H| =\text{ordine di } H \text{ in } G = [G:H]$
todo