正規部分群
数学、とくに抽象代数学における正規部分群（せいきぶぶんぐん、）は、群の任意の元による内部自己同型のもとで不変な部分群である。正規部分群は、与えられた群から剰余群を構成するのに用いることができる。
正規部分群の重要性を最初に明らかにしたのはエヴァリスト・ガロアである。