商群（又称因子群）：在群论中，给定一个群 \(G\) 和其正规子群 \(N\)，由所有陪集 \(gN\) 组成的集合 \(G/N\) 在适当运算下构成的新群，称为 商群。它用于把群“按 \(N\) 折叠/合并”等价元素，从而得到更简化的结构。（“quotient group”最常见指这一抽象代数含义；在其他语境中较少用。）
/ˈkwoʊʃənt ɡruːp/
A quotient group is defined using a normal subgroup.
商群是通过一个正规子群来定义的。
If \(N\) is normal in \(G\), then the quotient group \(G/N\) captures how \(G\) behaves after identifying elements that differ by an element of \(N\).
如果 \(N\) 是 \(G\) 的正规子群，那么商群 \(G/N\) 描述了在把相差一个 \(N\) 中元素的那些元素视为同一类之后，\(G\) 的结构如何表现。
quotient 源自拉丁语 quotiens（“多少次/次数”之意，后发展为“商、商数”）；group 来自法语 groupe（“群、组”）。合在一起，“quotient group”字面可理解为“通过作商得到的群”，对应中文“商群/因子群”。
Select Language