Abelian Groups and Surjective Group Homomorphism

More from my site

• Cyclic Group if and only if There Exists a Surjective Group Homomorphism From $\Z$ Show that a group $G$ is cyclic if and only if there exists a surjective group homomorphism from the additive group $\Z$ of integers to the group $G$.   Proof. $(\implies)$: If $G$ is cyclic, then there exists a surjective homomorhpism from $\Z$ Suppose that $G$ is […]
• Image of a Normal Subgroup Under a Surjective Homomorphism is a Normal Subgroup Let $f: H \to G$ be a surjective group homomorphism from a group $H$ to a group $G$. Let $N$ be a normal subgroup of $H$. Show that the image $f(N)$ is normal in $G$.   Proof. To show that $f(N)$ is normal, we show that $gf(N)g^{-1}=f(N)$ for any $g \in […]
• Group of $p$-Power Roots of 1 is Isomorphic to a Proper Quotient of Itself Let $p$ be a prime number. Let \[G=\{z\in \C \mid z^{p^n}=1\} \] be the group of $p$-power roots of $1$ in $\C$. Show that the map $\Psi:G\to G$ mapping $z$ to $z^p$ is a surjective homomorphism. Also deduce from this that $G$ is isomorphic to a proper quotient of $G$ […]
• A Group is Abelian if and only if Squaring is a Group Homomorphism Let $G$ be a group and define a map $f:G\to G$ by $f(a)=a^2$ for each $a\in G$. Then prove that $G$ is an abelian group if and only if the map $f$ is a group homomorphism.   Proof. $(\implies)$ If $G$ is an abelian group, then $f$ is a homomorphism. Suppose that […]
• A Homomorphism from the Additive Group of Integers to Itself Let $\Z$ be the additive group of integers. Let $f: \Z \to \Z$ be a group homomorphism. Then show that there exists an integer $a$ such that \[f(n)=an\] for any integer $n$.   Hint. Let us first recall the definition of a group homomorphism. A group homomorphism from a […]
• A Group Homomorphism and an Abelian Group Let $G$ be a group. Define a map $f:G \to G$ by sending each element $g \in G$ to its inverse $g^{-1} \in G$. Show that $G$ is an abelian group if and only if the map $f: G\to G$ is a group homomorphism.   Proof. $(\implies)$ If $G$ is an abelian group, then $f$ […]
• Surjective Group Homomorphism to $\Z$ and Direct Product of Abelian Groups Let $G$ be an abelian group and let $f: G\to \Z$ be a surjective group homomorphism. Prove that we have an isomorphism of groups: \[G \cong \ker(f)\times \Z.\]   Proof. Since $f:G\to \Z$ is surjective, there exists an element $a\in G$ such […]
• Abelian Normal subgroup, Quotient Group, and Automorphism Group Let $G$ be a finite group and let $N$ be a normal abelian subgroup of $G$. Let $\Aut(N)$ be the group of automorphisms of $G$. Suppose that the orders of groups $G/N$ and $\Aut(N)$ are relatively prime. Then prove that $N$ is contained in the center of […]