Welcome to our community

Be a part of something great, join today!

Problem of the Week #72 - October 14th, 2013

Status
Not open for further replies.
  • Thread starter
  • Moderator
  • #1

Chris L T521

Well-known member
Staff member
Jan 26, 2012
995
Here's this week's problem.

-----

Problem: Let $G$ be a group such that $G/Z(G)$ is cyclic. Show that the derived subgroup (commutator subgroup) of $G$ is trivial.

-----

Remember to read the POTW submission guidelines to find out how to submit your answers!
 
  • Thread starter
  • Moderator
  • #2

Chris L T521

Well-known member
Staff member
Jan 26, 2012
995
No one answered this week's question. You can find my solution below:

Proof: This statement is equivalent to proving that $G$ is Abelian. Suppose that $G/Z(G)$ is cyclic. Then there exists some generator $gZ(G)$ such that $<gZ(G)> = G/Z(G)$. Let $a,b\in G$ be arbitrary. Then for some $i$, $aZ(G)=(gZ(G))^i= g^i Z(G)$ and for some $j$, $bZ(G)=(gZ(G))^j=g^jZ(G)$. Now, $aZ(G) = g^iZ(G)\implies a=g^iz_1$ for some $z_1\in Z(G)$ and similarly $bZ(G) = g^jZ(G) \implies b=g^j z_2$ for some $z_2\in Z(G)$. Thus $ab=(g^iz_1)(g^jz_2) = g^ig^jz_1z_2$ since elements of the center comute with all elements of $G$. Therefore, we have
\[ab=g^ig^jz_1z_2 = g^{i+j}z_1z_2 = g^{j+i}z_2z_1 = g^jg^iz_2z_1 = g^jz_2 g^iz_1 = ba.\]
Since $a$ and $b$ were arbitrary, it follows that $G$ is Abelian. Hence $C=[G,G] = \{e\}$.$\hspace{.25in}\blacksquare$
 
Status
Not open for further replies.