正規部分群
数学、とくに抽象代数学における正規部分群(せいきぶぶんぐん、英: normal subgroup)は、群の任意の元による内部自己同型のもとで不変な部分群である。正規部分群は、与えられた群から剰余群を構成するのに用いることができる。
正規部分群の重要性を最初に明らかにしたのはエヴァリスト・ガロアである。
G における N を法とする左剰余類全体の成す集合と右剰余類全体の成す集合とが一致する。
G の任意の元 g に対して gN = Ng が成立する。
N は G の共役類の和集合である。
G 上定義された群準同型で N をその核に持つものが存在する。
最後の条件は正規部分群の重要性の一端を示すもので、ある群の上で定義される準同型写像全体を内部的に分類する方法を与えている。たとえば、単位群でない有限群が単純(自分と単位群以外には正規部分群を持たない群)となるための必要十分条件はその群が自明(全ての元を単位元に写す準同型)でない任意の自己準同型の像と同型となることであり、有限群が完全群となるための必要十分条件はそれが素数指数の正規部分群を持たないことであり、また群が不完全群となるための必要十分条件は、その導来部分群がいかなる真の正規部分群をも補群として持たないことである。