subgrupo

Calquera subconxunto H dun grupo (G, +) tal que é estable para a operación do grupo e el mesmo é un grupo para esa operación. O conxunto de enteiros coa operación de adición é un subgrupo do grupo aditivo de números racionais.

Subgrupo H dun grupo non conmutativo <G,∗,e> só se, para cada g∈G, g∗H = H∗g. Estes subgrupos definen unha relación de equivalencia que é compatible coa estrutura do grupo e son adecuados para que o cociente G/H herde a estrutura do grupo.