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$ Commented 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$ Commented Aug 15, 2014 at 2:31

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .