Demostrar que (G, +), siendo:

Es

un

grupo.

Hallar

los

subgrupos

decir

cuales

son

invariantes.

RESPUESTA 37 Construimos la tabla de (G, +) sabiendo que la operacin la suma de nmeros enteros mdulo 4.

|| Se observa, por el resultado de operar los elementos de G que la loey es de composicin interna. El elemento neutro es el (para encontrar el elemento neutro se busca dentro de la tabla una columna cuyos elementos coincidan con l columna exterior y una fila cuyos elementos coincidan con la exterior; la celda en la que intercepten es la que contiene al elemento neutro. Los elementos simtricos son:

Comprobamos la propiedad asociativa:

Para asegurarnos del cumplimiento de esta propiedad, debemos comprobarla con todos los elementos, demostrando que no existe ningn contraejemplo. Caso de encontrar alguno, lgicamente, la construccin no seran grupo. La propiedad conmutativa se verifica sin ms que comprobar que la tabla es simtrica respecto de la diagonal principal.

La tabla no puede tener ninguna lnea con algn elemento repetido, pues entonces no sera grupo. Caso de haber algn elemento repetido, se demuestra que la estructura no es grupo por la propiedad de los elementos de ser regulares. Segn el teorema de Lagrange, los subgrupos que puede tener este grupo han de ser de orden divisor del orden del grupo, es decir, sern de orden 1, 2 y 4. Tenemos: H1 y H4 son llamados subgrupos impropios y H2 es un subgrupo propio. Todos los subgrupos son invariantes por ser (G, +) aveliano (conmutativo)