4
$\begingroup$

I see what makes finite p-groups such a nice thing to study: non-trivial center, lots of interesting decreasing and increasing series coming from the p-power map etc.

To me it seems natural to expect huge difficulties when generalizing a result from p-groups to all finite groups. There surely are lots of ways to "go up a little bit" in the direction of non-p-ness. The direct product with a cyclic-group of order prime to p is the smallest step on this ladder.

Here comes the question: Why are often (representation theoretic) results for general finite groups a direct consequence of the special case for p-elementary groups?

Or am I mistaken with this impression?

$\endgroup$
4
  • 5
    $\begingroup$ The only thing I know about $p$-elementary groups is that every (complex?) representation of every finite group can be made by adding and subtracting representations induced from such groups. Pretty clearly this is a strong tool for reducing statements to the case of $p$-elementary groups. $\endgroup$ Jul 5, 2010 at 22:16
  • $\begingroup$ Note that a $p$-elementary group is a direct product of a $p$-group and a cyclic group of order prime to $p$. As Tom indicates, Brauer's theorem says that any complex character of a finite group is a $\mathbb{Z}$-linear combination of characters induced from $p$-elementary subgroups for various $p$ (found in many books including Chap. 10 of Serre). But Konrad's assertion about results for arbitrary groups often being a direct consequence of results for $p$-elementary groups is way overstated. Are there examples of such? $\endgroup$ Jul 6, 2010 at 16:04
  • 4
    $\begingroup$ Just a short warning for those not so familiar with the area (myself included). A p-elementary group is the product of a p-group P and a cyclic group of order prime to p. This is different from an elementary abelian p-group which is a product of cyclic groups of order p. Elementary abelian p-groups also play an important role, for instance when you study fusion systems. But that's a different story. $\endgroup$ Jul 21, 2010 at 16:13
  • $\begingroup$ @Jim Humphreys: This 'often .. direct' surely was over the top. At that time I was thinking about Kakde's results on K_1 of group rings using the following reduction steps: p-adic Lie groups -> finite groups -> l-hyperelementary group, for all l -> p-hyperelementary groups -> p-elementary -> p-groups. I was under the impression, that his (or Oliver's in 'Whitehead grps of fin grps') were relying only on general facts for G-modulations. Since I have no particular knowledge in finite group theory, to conclude a general principle from this was optimistic, for sure. $\endgroup$
    – Konrad
    Aug 9, 2012 at 13:37

1 Answer 1

3
$\begingroup$

Perhaps this is not a direct answer to your question, but one of my favorite examples of $p$-groups entering into the theory of general finite groups (except of course for Sylow theory itself!) occurs in a theorem due to Frobenius. This theorem states:

Let $P$ be a Sylow $p$-subgroup of a finite group $G$. Then the following are equivalent:

(i) $G$ has a normal $p$-complement.

(ii) $N_G(U)$ has a normal $p$-complement for all $p$-subgroups $U\subseteq G$ with $U>1$.

(iii) $N_G(U)/C_G(U)$ is a $p$-group for all $p$-subgroups $U\subseteq G$.

(iv) There is no fusion in $P$.

(Here $C_G(U)$ and $N_G(U)$ denote the centralizer and normalizer of the subgroup $U\subseteq G$, respectively. The quotient $N_G(U)/C_G(U)$ makes sense, of course, since $C_G(U)$ is normal in $N_G(U)$. Also, to say that there is no fusion in $P$ is to say that any pair of elements in $P$ that are $G$-conjugate are already $P$-conjugate.)

A remarkable theorem of Thompson asserts that, if $p\neq 2$ in Frobenius' theorem, to verify that $G$ has a normal $p$-complement is tantamount to checking that $N_G(U)$ has a normal $p$-complement for just two particular $p$-subgroups $U\subseteq G$. The two subgroups $U\subseteq G$ whose normalizers need to be checked are $Z(P)$ and $J(P)$ where $P$ is a fixed Sylow $p$-subgroup of $G$ and $Z(P)$ and $J(P)$ are the center and Thompson subgroup of $P$, respectively.

$\endgroup$

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.