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 $G$ be a finite group and $G'$ the commutator group of $G$.

  • What can I say about $G' \cap Z(G)$?

Could you be as specific as possible about p-Groups?

share|cite|improve this question
This question lets me quote a result I really like, but I don't think I have ever seen used seriously. Let $n=[G:G'\cap Z(G)]$. Then $g^n=1$ for all $g\in G$. This is the last result in Isaacs's Finite Group Theory. – user641 Jan 16 '13 at 12:15
up vote 6 down vote accepted

Well, this is sort of a broad question, but here a couple random facts.

  • $G'\cap Z(G)\leqslant \Phi(G)$ for all groups $G$.

  • Special $p$-groups are an interesting case of $p$-groups in which $G'\cap Z(G)= Z(G)=G'$.

There is also some kind of theorem about $[G:G'\cap Z(G)]^2$ dividing the degrees of a group's irreducible characters, which I believe I saw in Huppert, but I cannot remember the exact statement at the moment.

share|cite|improve this answer
What's $\Phi(G)?$ – Ivan Dec 27 '12 at 7:56
@Ivan That's the Frattini subgroup of $G$. – Alexander Gruber Dec 27 '12 at 8:02
@user Sure. If not, let $H$ be a maximal subgroup not containing $G^\prime \cap Z(G)=K$. Then every element of $G$ has the form $g=hk$, so $H^g=H^{hk}=H^k=H\unlhd G$. But then $G/H$ is cyclic of prime order, so $G^\prime\unlhd H$. – Alexander Gruber Sep 10 '15 at 2:03
Since $K$ is not contained in $H$, $HK$ must be bigger than just $H$. $H$ is a maximal subgroup, though, so the only bigger subgroup of $G$ is $G$ itself. Therefore, $HK$ must be all of $G$. So, any element of $G$ can be written as an element of $HK$, and thus in the form $hk$ for some $h\in H$, $k\in K$. – Alexander Gruber Sep 11 '15 at 6:56
$H^g$ is group theorist shorthand for $g^{-1}Hg$. $H\unlhd G$ ("$H$ is normal in $G$") because we showed that $H^g=H$. – Alexander Gruber Sep 11 '15 at 6:58

There is a well-known theorem (I think due to Grün) which asserts that if $P$ is a Sylow $p$-subgroup of a finite group $G,$ then $P \cap G^{\prime} \cap Z(G) \leq P^{\prime}.$ If $G$ itself is a $p$-group, then I am not sure how much you can expect to say. In that case, if $G$ is non-Abelian, then $G^{\prime} \cap Z(G)$ is always non-trivial, but it may well have order $p.$ On the other hand, when $p$ is odd, there is always an $n$-generator finite $p$-group $G$ of nilpotent class $2$ and exponent $p$ such that $G^{\prime} = Z(G)$ is elementary Abelian of order $p^{\frac{n(n-1)}{2}}$ and $[G:G^{\prime}] = p^{n}.$

share|cite|improve this answer

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.