En matemáticas , en el campo de la teoría de grupos , un subgrupo modular es un subgrupo que es un elemento modular en la celosía de subgrupos , donde la operación de encuentro está definida por la intersección y la operación de unión está definida por el subgrupo generado por la unión de subgrupos.
Por la propiedad modular de los grupos , cada subgrupo cuasinormal (es decir, un subgrupo que permuta con todos los subgrupos) es modular. En particular, cada subgrupo normal es modular.