商群

math

定義

$$N⊴G,{}^{\forall }x\in G$$

に対して$xN$,$(xN)(yN)=xyN$と定めると$\{xN\}$は群になる$N$による$G$の商群$G/N$