So today, I was trying to prove the following proposition (from the past PMATH 346 final): if is a finite -group, then is solvable. Clearly if is abelian, we are done. My attempt was induction on , where .
One thing we can observe is that is nontrivial, since is a -group; furthermore for some (). Intuitively, I thought that any group with nontrivial center would certainly satisfy (i.e. the group is not perfect), where is the commutator subgroup of , and hence I could apply the inductive hypothesis to to obtain that it is solvable, and hence would be solvable.
The implications of this, however, would be that any finite group with nontrivial center is solvable, since any nontrivial perfect group is clearly not solvable. This seems intuitively wrong, and so I’m asking myself for an example of a perfect group with nontrivial center. This isn’t so easy: we know the smallest non-solvable group (and hence the smallest perfect group) is , the alternating group on 5 letters, which has order 60. This group is centerless, so our search doesn’t terminate here. However, if we consider the special linear group , note that its center consists of the matrices , hence is nontrivial. On the other hand, is perfect.
The center is usually thought of as a measure of how much the commutative law holds in a group, with the best case being (implying is abelian). On the other hand, the commutator subgroup seems to measure how much the commutative law fails. So intuitively, it seems unlikely that a perfect group could have non-trivial center. However, this example shows us that our intuition is wrong, and the two notions are perhaps not as closely related as we think.
Another interesting theorem is the fact that if and both and are solvable, then must be solvable. It of course follows that if is a (semi)direct product of two solvable groups, then it too is solvable. However, suppose a solvable group can be realized as an internal semidirect product of two subgroups and . Is it the case, then, that both and must be solvable?
Also, the other day, we asked the following: give an example of a group with two elements and , both having finite order, such that . If such a group doesn’t exist, there’s no reason why we can’t define the so-called torsion subgroup for non-abelian groups. However, all the examples of concrete groups I thought of didn’t seem to satisfy this. Jimmy gave the following nice example: