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 red 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 , todo subgrupo cuasiconnormal (es decir, un subgrupo que permuta con todos los subgrupos) es modular. En particular, todo subgrupo normal es modular.