Álgebra Abstracta, KONRAD LORENZ
OMAR FERNANDO GRANADOS V COD:614181020;
Septiembre, 2021
1. Elemento propuesto:
El conjunto de elementos idempotenetes de un grupo abeliano y que además sea cíclico {G, ·},
formará un subgrupo H < G, entonces H tendra un único elemento.
Demostración:
Sea H el conjunto idempotenetes de G, con ello podemos ver que acorde a la definición de
grupo, un elemento idempotente puede ser el elemento neutro, entonces tenemos que:
e · e = e, donde e ∈ G.
y este elemento, también existe en H.
Ahora revisaremos la unicidad:
Con ellos supongamos que existe otro elemento idempotente a ∈ G, por la deficnión de
grupo tenemos que si el elemnto a exite en G, su elemento inverso a0 , también exitira en G,
mostrando que a · a0 = e, con esto en mente decimos que:
a = a · e = a · (a · a0 ) = (a · a) · a0 = a · a0 = e
NOTA:
(a · a) = a, dado que a es elemento idempotente.
a · (a · a0 ) = (a · a), aplicando la propiedad de asociatividad.
entonces a ∈ / H, por lo cual existe un único elemento en H, en cuyo caso, cumple las
condiciones de subgrupo dado que es cerrado, tiene la existencia de elemento neutro y su
inverso se encuentra en H.
2. Criterios.
(a) Coherencia en la proposicón o conjetura propuesta.
(b) Que la estructura lógica de la demostración sea estable.
(c) Poder determinar si la proposición esta enfocada de manera Global o local.
(d) Que su conclusión sea única. (La no existencia de contra ejemplos)