Interlude: an “analyst” does some finite group theory
As promised in the previous blogpost, here is some finite group theory. (Those of you familiar with the British TV show “Faking It” will appreciate that you don’t have to fool all of the people all of the time, just some of the people at the right moments.)
Some preliminary terminology is useful, since we will need it in later posts. We say that H is (isomorphic to) a proper quotient of a group G if there is a homomorphism from G onto H which has non-trivial kernel. A group G is said to be just non-abelian (or JNA or short) if it is non-abelian, yet every proper quotient is abelian. A little thought shows that this is equivalent to the condition that the derived subgroup [G,G] is contained in each non-trivial normal subgroup of G.
(I don’t remember explicitly hearing about JNA groups in past courses or talks, but about seven years ago in Newcastle I heard a visiting speaker talk about families of groups that were “just-” for some property .)
Doing some digging in the literature: in the case where the group G is JNA and [G,G] is abelian, there is a classification or structure theorem available, through work of M. F. Newman in two papers that appear in the Proceedings of the London Mathematical Society (both in volume 10, 1960). Later on, when we resume the story of the central amenability constant, JNA groups will turn up very naturally. However, none of that is needed to follow the proof of the following result:
Theorem 1. Let G be a finite JNA group which has trivial centre and which has a conjugacy class of size 2. Then G contains an involution and an element of odd prime order p, such that G has order 2p and .
Up to isomorphism, the only group satisfying the conclusions of the theorem is the dihedral group of order 2p. (Checking that this group actually is JNA is not too difficult, but I won’t go into the details here.)
Remark. In any finite group with a conjugacy class of size 2, both elements in the conjugacy class have the same centralizer — this point will be reiterated below in a little more detail — and this centralizer has index 2 in the parent group, hence is normal. This is encouraging in our setting, since the JNA condition now gives us extra information.
A leisurely proof
The purpose of this post is to provide a proof of Theorem 1 that uses only basic facts of finite group theory, such as may be found in a first course that covers notions such as conjugacy classes and normal subgroups.
We recall that the derived subgroup of G, sometimes called the commutator subgroup of G, is the subgroup of G generated by all elements of the form as vary over G. (For those who prefer to think categorically, [G,G] is uniquely determined by the property that it is contained in the kernel of every homomorphism from G to any abelian group, i.e. it is the kernel of the abelianization homomorphism.)
Now in Theorem 1, the hypotheses on G are as follows:
- Z(G)
- there exists G with exactly one other conjugate,
- If N is a non-trivial normal subgroup of G, then every commutator belongs to N.
It is immediate from Condition 2 that any given G either centralizes both and , or else swaps them (this is true for any group action on any 2-point set, of course). More formally:
Lemma 2. Let G. Either and , or and .
In particular, this lemma implies that , i.e. and commute. Applying the lemma to shows that for all in G, and so by Condition 1 we must have
Let N be the order of : this is an integer . If N were even, say N=2m, then , and applying Lemma 2 we would find that Z(G), which contradicts Condition 1. Therefore N is odd.
Now we fix in G such that . (It will turn out that has to be an involution, but the proof is somewhat indirect.) By Lemma 2, , and since (Equation (1)) this implies
Because has odd order, this implies that , and so [G,G] contains the subgroup of G generated by , which we denote by . On the other hand, observe that since , Lemma 2 implies that is a normal subgroup of G. Therefore, by Condition 3,
Let H be the centralizer in G of the element (and hence, as remarked above, of the element ). We know that H has index 2 in G (by applying the orbit-stabilizer theorem to the conjugation action of G on ). At this point we could now invoke the general fact that index 2 subgroups of any group are necessarily normal subgroups. To keep things self-contained, we instead use some ad hoc arguments (although this admittedly leaves out the bigger picture which motivates our calculations).
Lemma 3. Let G. Then either or belongs to H.
Proof: If belongs to G but not H, then does not lie in H, and so by Lemma 2. So and rearranging shows that centralizes .
Moreover, by definition H contains . Hence it contains [G,G], by Equation (2). The next step in our argument is to show that in fact H=[G,G].
Digression. At this point, if we just wanted to proceed as quickly as possible, we could appeal to Theorem 3.4 of
M. F. Newman, On a class of metabelian groups. Proc. London Math. Soc. (3) 10 1960 354–364. MR0117293 (22 #8074)
Indeed, this point is where I’d originally got stuck on my first attempt to prove the theorem, and I has to resort to Newman’s paper to check that what I was hoping to prove was actually true. Nevertheless, it seems worth giving an ad hoc argument using only “bare-hands techniques”, since we are in a much more specialized setting than that covered by Newman’s theorem. What follows is my own argument, found by some trial and error after I had used Newman’s paper to check I was on the right lines.
Proof that H=[G,G]
Consider the function θ : H [G,G] defined by . Since [G,G]= is contained in Z(H), for all H we have
Thus
in other words, θ is a homomorphism. Our goal is to show θ is a bijection, which will force H and [G,G] to have the same cardinality. Since we already know that [G,G] is contained in H, we can conclude that [G,G]=H as required.
First, we show θ is surjective. Note that , so if we let m=(N+1)/2 and k be any integer, induction (or the fact θ is a homomorphism) implies that . Since [G,G]=, this shows θ(H)=[G,G].
Secondly, we show θ is injective. Let K=, which is a normal subgroup of H (being the kernel of a homomorphism). Note that K=. It now follows from Lemma 3 that K is normal as a subgroup of G. Suppose K is not the trivial subgroup; then by Condition 3, K contains [G,G], and in particular belongs to K. But since (Equation (1)) we have
(since ) and we get a contradiction. Therefore K is the trivial subgroup, and θ:H[G,G] is indeed injective.
Continuing the proof of Theorem 1
Let us take stock. We have shown that there exist elements G such that:
- (this follows from Equation (1) and the choice of );
- has odd order, say N (this follows from the remarks after Equation (1));
- is an index 2 subgroup in G (this follows from Equation (2) and the result just proved).
This is close to what is needed: it only remains to show that and that N is prime.
We will show that belongs to the centre of G, which combined with Condition 1 forces . To do this, first observe that by Lemma 2, centralizes , and hence centralizes . But since is an index 2 subgroup of G and , every element of G belongs to either or , from which it follows that centralizes everything in G, as required.
Remark. The argument just given seems the quickest way to do things, given what we have already shown to date. However, it relies on knowing that has index 2 in G. It may be of some interest to note that one can show centralizes G more directly, using only Equations (1) and (2). Thus, let G}. By Equation (2), there exists some integer k such that
Since , it follows that
and so . Rearranging gives
so that . Since is arbitrary in G, belongs to the centre of G.
Finally, to finish things off, it suffices to show that N is prime. Let p be a prime factor of N. Then is a proper subgroup of , and it is normal in G by Equation (1), since . Condition 3 therefore forces , and so N=p. This completes the proof of Theorem 1.
On second thoughts, that talk mentioning “just-P” groups must have been 2004 or 2005, not 2006. I *think* it was given by John Wilson but my memory is very hazy here.