Que es un grupo?

Un grupo es una estructura algebraica que consta de un conjunto con una operacin interna que debe verificar las siguientes propiedades: 1) 2) 3) 4) Propiedad Asociativa : g . (h . k) = (g . h) . k Existe un elemento neutro tal que 1.g = g.1 para cualquier g pertenece G. Para todo a de G, existe un elemento b de G tal que a.b = b.a = e (Elemento inverso) gh = hg para cualesquiera g; h pertenece G (propiedad conmutativa) entonces se dice que G es un grupo abeliano.

Que es un subgrupo? Un subgrupo de un grupo G es un subconjunto H c G tal que, para cualesquiera g, h pertenece H se tiene que g.h-1 pertenece H; en otras palabras, H tiene estructura de grupo con la misma operacin que G. Para indicar que un subconjunto H c G es un subgrupo, escribiremos normalmente H < G.