Ya he mostrado $\{e_G\} \subseteq \langle a\rangle \cap \langle b\rangle,$ ahora necesito mostrar $\langle a\rangle \cap \langle b\rangle \subseteq \{e_G\}.$ A partir de algún elemento en $\langle a\rangle \cap \langle b\rangle$ y utilizando el Teorema de Lagranges. Pero no estoy seguro de cómo armarlo, sé que es simple. Gracias
Respuestas
¿Demasiados anuncios?
Matt Samuel
Puntos
22587
¡Hola y bienvenido a la pila!
Tome un elemento en la intersección $c$ . Desde $c\in \langle a \rangle$ utilizando el teorema de Lagrange el orden de $c$ tiene que dividir $3$ . De la misma manera, ya que $c\in \langle b\rangle$ , entonces el orden de $c$ tiene que dividir $2$ .
Entonces el orden de $c$ divide $2$ y $3$ Así que es $1$ . El elemento único de $G$ que tiene orden $1$ es $e_G$ así que $\langle a\rangle \cap \langle b\rangle \subseteq \{e_G\}$ .