群と正規部分群から始めたから、最終的な商は（通常の割り算が与える）単なる剰余類の個数よりも多くの情報を含んでおり、それ自身群構造を持つ。
因为我们从一个群和正规子群得到的最终的商包含比只是陪集的（正常除法所产生的）数目要更多的信息，这里得到了一个群结构自身。