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 *.