Varias veces, en le texto, se hizo referencias a una teoría más general de estructuras (ver las definiciones de subgrupo y de homomorfismo de grupos).