normal subgroup
正规子群
Meaning in context
A subgroup satisfying for every .
对群内任意元素的共轭运算都保持不变的子群。
Example
is normal in .
Usage and distinctions
Being a subgroup alone does not make multiplication of its cosets well-defined.
Recommended reading in this subject · Preparation & skip guidance
Definition sources
- Wen-Wei Li — Methods in Algebra I, author source半群, 幺半群与群 (sec:group-and-monoid), definition headed 子群和正规子群, second paragraph and equation xHx^{-1}=H · Checked 2026-10-15
Translation sources
- 李文威 — 代数学方法 卷一,作者源文件半群, 幺半群与群 (sec:group-and-monoid), definition headed 子群和正规子群, second paragraph and equation xHx^{-1}=H · Checked 2026-10-15