• Registro
Foro de preguntas y respuestas de matemáticas, de cualquier nivel. Cuánto más interesantes, divertidas o intrépidas, mejor.
Aviso: Te invitamos a conocer la página de Facebook de la UCIM

Ganas puntos al hacer preguntas, contestarlas y, sobre todo, si tu respuesta es seleccionada como la mejor.
Registrate como usuario para participar en el foro. También puedes utilizar tu identidad de FB Utiliza el botón azul para ingresar (si usas tu identidad de FB y estás logeado en FB, automáticamente te reconoce).

El irracional tiene una página en FB. El Irracional






Dado un grupo $G$ y si $S$ es un subgrupo de $G$ demuestre que el neutro de $G$ es elemento de $S$

+1 voto
preguntado por Ricardo (1,300 puntos) Oct 24, 2014 en Básicas

2 Respuestas

+1 voto
 
Mejor respuesta
Existe un elemento $e\in S$ tal que $se=es=s$ para toda $s\in S$. Sea $s$ un elemento en $S$ (por ejemplo $e$). Entonces $s=es$ y también $s=1s$, donde 1 es el neutro de $G$. Entonces $1s=es$ lo que implica que $1=1ss^{-1}=ess^{-1}=e1=e$.
respondido por EliasMochan (7,870 puntos) Oct 27, 2014
seleccionada por Ricardo Oct 31, 2014
+3 votos

Como $S$ es no vacío entonces considera algún $x \in S$. Al ser $S$ subgrupo de $G$ entonces $x^{-1}$ debe ser elemento de $S$ también. Tienes entonces que tanto $x$ como $x^{-1}$ están en $S$: así, al ser $S$ cerrado bajo el producto de $G$ (pues $S$ es subgrupo) debe cumplirse que $e_{\small{G}} =x\cdot x^{-1} \in S$.

respondido por José Hdz (39,550 puntos) Oct 24, 2014
editado por José Hdz Oct 25, 2014
El problema de tu prueba es asumes que el inverso en $S$ es el mismo que el inverso en $G$ y para probar que eso es cierto se usa el enunciado del problema (tomando como definición de subgrupo un subconjunto que es grupo bajo la restricción de la operación en $G$).
No tiene tanto sentido que menciones que la prueba tiene un "problema": lo único que pasa es que estoy partiendo de una definición distinta a la que pones en paréntesis. Para algunos autores, un subconjunto no vacío $S$ del conjunto que subyace al grupo $(G,\ast)$ es un subgrupo si $s^{-1} \in S$ para cada $s\in S$ y para cada $s,t\in S$ se cumple que $s\ast t \in S$.
Por eso lo puse entre paréntesis. Para mí esa es una caracterización que usa lo demostrado. Si ves a un grupo desde el punto de vista del álgebra universal, es decir, un conjunto con 3 operaciones $(G,1,\cdot^{-1}, \cdot)$ que cumple varias identidades, entonces un subrgurpo sería un subconjunto que es cerrado bajo todas las operaciones (incluyendo la operación 0-aria 1). Luego sería un resultado a parte (el que tú demuestras) que basta ser cerrado bajo las otras 2 operaciones.
Licencia Creative Commons
Este obra está bajo una Licencia Creative Commons Atribución-NoComercial-CompartirIgual 2.5 México.

powered by UCIM

...