设 是群
的一个子群。
通过群
中一个固定元素
(不在
中)的相似变换总是得到一个子群。如果
对于群 中的每个元素
,如果
被称为群
的正规子群,记作
(Arfken 1985, p. 242; Scott 1987, p. 25)。正规子群也称为不变子群或自共轭子群 (Arfken 1985, p. 242)。
阿贝尔群的所有子群都是正规的 (Arfken 1985, p. 242)。
设 是群
的一个子群。
通过群
中一个固定元素
(不在
中)的相似变换总是得到一个子群。如果
对于群 中的每个元素
,如果
被称为群
的正规子群,记作
(Arfken 1985, p. 242; Scott 1987, p. 25)。正规子群也称为不变子群或自共轭子群 (Arfken 1985, p. 242)。
阿贝尔群的所有子群都是正规的 (Arfken 1985, p. 242)。
Weisstein, Eric W. "正规子群。" 来自 MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/NormalSubgroup.html