Калі N {displaystyle N} — нармальная падгрупа ў G {displaystyle G} , то на мностве левых (правых) сумежных класаў G / N {displaystyle G/N} можна ўвесці групавую структуру па правілу ( g 1 N ) ( g 2 N ) = ( g 1 g 2 ) N {displaystyle (g_{1}N)(g_{2}N)=(g_{1}g_{2})N} Атрыманае мноства называецца фактаргрупай G {displaystyle G} па N {displaystyle N} .