Aditivní grupa faktorokruhu musí být faktorgrupou aditivní grupy okruhu, tedy buď , , , , nebo . Zbývá rozmyslet, že ke každé takové grupě je možné doplnit násobení jediným možným způsobem.
BRKOS - matematický korespondenční seminář pro střední školy