Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $N$ be a normal subgroup of a group $G$ such that $N\cap G'=\{e\}$, where $G'$ is the derived/commutator subgroup of $G$. Then
i.) $N\subseteq Z(G)$, where $Z(G)$ is the center of $G$
ii.) $Z(G/N)=Z(G)/N$

Help me figure this out please... Thank you..

share|cite|improve this question
up vote 6 down vote accepted

For (1), show that $[G,N]$ is a subset of both $N$ (using its normality) and $[G,G]$.

And for (2), use $[zN,gN]=N\iff [z,g]N=N\iff [z,g]\in N$ (put $\forall g\in G$ in front if it helps).

share|cite|improve this answer
Thank you Anon, may I ask how will the second statement be used to establish the equality for (ii)? – Philip Benj Marcoby Eragon Mar 19 '13 at 6:26
@PhilipBenjMarcobyEragon We can write "$zN\in Z(G/N)$" as $\forall g\in G,[zN,gN]=N$, and write the statement "$z\in Z(G)$" as $\forall g\in G,[z,g]=1$. Note that $[z,g]\in[G,G]$ is automatic. In these sorts of elementary problems, to get an intuitive grip on the meanings behind these things, you'll want to practice and experiment with writing out statements in as many equivalent ways as possible. Note that $Z(G/N)=Z(G)/N$ may be written as $zN\in Z(G/N)\iff z\in Z(G)$. – anon Mar 19 '13 at 6:35
Thank you very much Anon, I get it now... – Philip Benj Marcoby Eragon Mar 19 '13 at 6:51
It was just a play of equivalent statements. I learned a lot. – Philip Benj Marcoby Eragon Mar 19 '13 at 6:52

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.