2
$\begingroup$

Let $G_0$ be a finite group and $G_j$ a Schur cover of $G_{j-1}$ for $j=1,2,3\ldots$. Is $G_2$ equal to $G_1$? If not, will the sequence stop after finite steps in general?

$\endgroup$
1
  • 4
    $\begingroup$ For a perfect group, it stops after (at most) one step. In general, I think the sequence can go on indefinitely ( eg, you can take $G_{0}$ to be be a Klein $$-group, and $G_{j}$ to be a dihedral $2$-group of order $2^{j+2}$ for each $j.$ $\endgroup$ Aug 9, 2014 at 9:26

1 Answer 1

7
$\begingroup$

Let me expand on Geoff Robinson's comment. First, for $G$ perfect, there is a unique Schur cover $R$, and $R$ is perfect. As Geoff indicated, $R$ is its own Schur cover. To see this, let $S$ be a Schur cover for $R$. Then $S$ has a central subgroup $Z$ with $S/Z$ isomorphic to $R$, and thus $S$ has a normal subgroup $Y$ containing $Z$ such that $Y/Z$ is central in $S/Z$ and $S/Y$ is isomorphic to $G$. Also, $S$ is perfect. Now $[Y,S] \subseteq Z$, so $[Y,S,S] = 1$. Thus also $[S,Y,S] = 1$, so by the three-subgroups lemma, $[S,S,Y] = 1$. But $[S,S] = S$, so $[S,Y] = 1$ and $Y \subseteq Z(S)$. Since $S$ is perfect and $S/Y$ is $G$, it follows that $Y$ is a homomorphic image of the Schur multiplier of $G$. But $Y/Z$ is the Schur multiplier of $G$ because $R$ is a Schur cover. This forces $Z = 1$, so $S$ is $R$.

If $G$ is not perfect, the Schur cover is not generally unique. If we start with a Klein group, the two Schur covers are $D_8$ and $Q_8$. Now $Q_8$ is its own cover, but we can take $D_8$ and consider its Schur covers. There are three of these, and one of them is $D_{16}$. We can continue like this because one of the Schur covers of an arbitrary dihedral $2$-group is the next larger dihedral $2$-group, and this yields an infinite chain of covers. The key step in proving this is to show that the Schur multiplier of a dihedral $2$-group has order $2$. (It should be obvious that it is at least $2$.)

Here's a sketch of a proof of the needed fact. Suppose $R$ is a cover of the dihedral group $D$. Then $R$ has an abelian subgroup $A$ of index $2$. Also $|R:R'| = |D:D'| = 4$, so $R'$ has index $2$ in $A$. Since $A$ is abelian and $R/A$ is cyclic, we deduce that $|A| = |R'||A \cap Z(R)|$, and it follows that $|A \cap Z(R)| = 2$. Since $Z(R) \subseteq A$, we have $|Z(R)| = 2$, as required.

$\endgroup$
1
  • $\begingroup$ Thanks. How do you explain the uniqueness of Schur cover of a perfect group? How do you derive $|A|=|R^\prime||A\cap Z(R)|$? $\endgroup$ Aug 15, 2014 at 2:31

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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