Este documento define los conceptos fundamentales de grupo, subgrupo y homomorfismo. Un grupo es un conjunto no vacío con una ley de composición interna asociativa que tiene elemento neutro y cada elemento tiene inverso. Un subgrupo es un subconjunto de un grupo que también es un grupo. Un homomorfismo es una función entre dos estructuras algebraicas que preserva la operación.