Estoy estudiando para un examen de calificación en el álgebra, y mi álgebra abstracta habilidades son muy oxidado. Lo que estoy tratando de resolver el siguiente problema:
Supongamos que $\Phi:G\rightarrow\mathbb{Z}$ es un surjective grupo homomorphism del grupo abelian $(G,+)$ para el grupo de los enteros en virtud de la adición. Deje $K$ ser el núcleo de $\Phi$, y deje $g$ ser un elemento de $G$ para que $\Phi(g)=1$. Demostrar que $G$ es el (interna) a la suma directa de $K$ y el subgrupo de $G$ generado por $g$.
Me fue inicialmente lanzado por el hecho de que $\Phi(g)=1$, pensando que esto significaba $g\in K$ como $1$ se utiliza normalmente para referirse a la identidad. Sin embargo, el codominio aquí es $(\mathbb{Z},+)$, por lo que la identidad es en realidad la identidad aditiva de los números enteros, $0$. Por lo tanto $g\notin K$. Que creo que deja claro que $K\cap\langle g\rangle=0$ por un simple homomorphism argumento (algo que el efecto de la $\Phi(ng)=\Phi(g)+\Phi(g)+\cdots+\Phi(g)=1+1+\cdots+1=n\neq0$). Lo que estoy atascado en es como argumentar que $G=K+\langle g\rangle$. Puedo utilizar el primer teorema de isomorfismo la afirmación de que se $\mathbb{Z}\cong G/K$ e $K\triangleleft G$, pero no estoy seguro de cómo esto ayuda.
Edit: tengo que estar pensando en algo malo, como a mí me parece que $\Phi(\langle g\rangle)=\mathbb{Z}_{\geq0}$. Pero esto no permite que el resultado deseado, como $\Phi$ es surjective, significa que todo en $\mathbb{Z}$ obtiene asignada, por lo que específicamente, $\exists h\in G$ s.t. $\Phi(h)=-1$. No hay manera de escribir $h=k+g'$ donde $k\in K$ e $g'\in\langle g\rangle$.