En
álgebra, dado un
grupo G con una
operación binaria *, se dice que un
subconjunto no vacío
H de
G es un
subgrupo de
G si
H también forma un grupo bajo la operación *. O de otro modo,
H es un subgrupo de
G si la
restricción de * a
H satisface los axiomas de grupo.