的（比如Z "/" 2Z）。有一个“自然”满射群同态"π" : "G" → "G" / "N"，把每个"G"的元素"g"映射到"g"所属于的"N"的陪集上，也就是："π"("g") = "gN"。映射"π"有时叫做“G到G / N上的规范投影”。它的核是"N"。 在包含"N"的"G"的子群和"G" / "N"的子群之间有一个双射映射；如果"H"是包含"N"的"G"的子群，则对应的"G / N"的子群是"π"("H")。这个映射对于"G"的正规子群和"G" / "N"也成立，并在格定理中形式化。商