モジュラーサブグループ

数学において、群論の分野において、モジュラー部分群とは、部分群の格子内のモジュラー要素である部分群であり、交わる演算は交差によって定義され、結合演算は部分群の和集合によって生成される部分群によって定義される。

群のモジュラー特性により、すべての準正規部分群（つまり、すべての部分群と入れ替え可能な部分群）はモジュラーです。特に、すべての正規部分群はモジュラーです。