If the Quotient by the Center is Cyclic, then the Group is Abelian

More from my site

• Group of Order $pq$ is Either Abelian or the Center is Trivial Let $G$ be a group of order $|G|=pq$, where $p$ and $q$ are (not necessarily distinct) prime numbers. Then show that $G$ is either abelian group or the center $Z(G)=1$. Hint. Use the result of the problem "If the Quotient by the Center is Cyclic, then the Group is […]
• A Group of Order the Square of a Prime is Abelian Suppose the order of a group $G$ is $p^2$, where $p$ is a prime number. Show that (a) the group $G$ is an abelian group, and (b) the group $G$ is isomorphic to either $\Zmod{p^2}$ or $\Zmod{p} \times \Zmod{p}$ without using the fundamental theorem of abelian […]
• 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 […]
• The Index of the Center of a Non-Abelian $p$-Group is Divisible by $p^2$ Let $p$ be a prime number. Let $G$ be a non-abelian $p$-group. Show that the index of the center of $G$ is divisible by $p^2$. Proof. Suppose the order of the group $G$ is $p^a$, for some $a \in \Z$. Let $Z(G)$ be the center of $G$. Since $Z(G)$ is a subgroup of $G$, the order […]
• 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 […]
• A Simple Abelian Group if and only if the Order is a Prime Number Let $G$ be a group. (Do not assume that $G$ is a finite group.) Prove that $G$ is a simple abelian group if and only if the order of $G$ is a prime number.   Definition. A group $G$ is called simple if $G$ is a nontrivial group and the only normal subgroups of $G$ is […]
• Every Cyclic Group is Abelian Prove that every cyclic group is abelian.   Proof. Let $G$ be a cyclic group with a generator $g\in G$. Namely, we have $G=\langle g \rangle$ (every element in $G$ is some power of $g$.) Let $a$ and $b$ be arbitrary elements in $G$. Then there exists […]
• Group of Order 18 is Solvable Let $G$ be a finite group of order $18$. Show that the group $G$ is solvable.   Definition Recall that a group $G$ is said to be solvable if $G$ has a subnormal series \[\{e\}=G_0 \triangleleft G_1 \triangleleft G_2 \triangleleft \cdots \triangleleft G_n=G\] such […]