A Quotient of the Set
for a Finite Group
of Small Rank
Michael A. Jackson
The Ohio State University, 231 W. 18th Ave., Columbus, OH 43210, USA, mjackson@math.ohio-state.edu
-
Abstract.
Let
be a Sylow
-subgroup of the finite group
and let
represent the set of degree
complex characters of
that are the restrictions of class functions on
.
We construct a natural map
and prove that
is a surjection for all finite groups
that do not contain a subgroup isomorphic to
for any prime
. We show, furthermore, that
is in fact a bijection for two types of finite groups
: those with periodic cohomology and those of odd order that do not contain a subgroup isomorphic to
for any prime
.
2000 MSC: 55R37, 55S35, 20J06, 20D15
1 Introduction
Our purpose is to investigate the relationship between the homotopy classes of maps from
for a finite group
to
and the degree
characters of the Sylow
-subgroups of
. Throughout this paper we will let
be a finite group,
a prime dividing the order of
, and
a Sylow
-subgroup of
. In addition we will use
to represent the set of degree
complex characters of
and will let
represent the subset consisting of those degree
complex characters of
that are the restrictions of class functions on
.
Recall that for a group
,
is the classifying space of
. Also
is the homotopy classes of maps from
to
, which may also be thought of as
(see [12] ). Next we will define a natural map
which will be discussed throughout this paper. To define this map, let us examine the following diagram where
:
Notice that spaces in the center and right of the top row contain
, which is the
-completion of the space
. (For more information on
-completion, see [7,Chap.VI] .) The bijection in the upper left is a result of work by Jackowski, McClure, and Oliver [16] , while the bijection on the far right is a result of work by Dwyer and Zabrodsky [12] and the bijection in the lower right is a basic result in representation theory. The restriction map
is induced by the inclusion of the Sylow p-subgroups
into
. We now let maps
and
be the maps that make the diagram commute. The image of
and
both lie in the subset
(see Theorem 2.9 ). So we will let
and
be the maps
and
respectively, with the range restricted to
. Now that we have defined the map
, we state the following three theorems, which express the main results of this paper:
Theorem 1.1.
If
is a finite group that does not contain a rank two elementary abelian subgroup, then the natural mapping
is a bijection.
Theorem 1.2.
Let
be a finite group that does not contain a rank three elementary abelian subgroup. If
is odd, then the natural mapping
is a bijection.
Theorem 1.3.
If
is a finite group that does not contain a rank three elementary abelian subgroup, then the natural mapping
is a surjection.
The results in this paper build on work by Mislin and Thomas [20] , who a prove similar result to Theorem 1.1 where
is replaced by
. This work is also related to work by Jackowski and Oliver [17] . They look at the Grothendieck group of
and show that it is isomorphic to
, where
is the complex representation ring of
restricted to thee elements that are stable under the action of
. The present work is intended to be a step toward classifying finite groups that act freely on a finite CW-complex that is homotopy equivalent to the product of two spheres. The classification of such groups began with Adem and Smith [1, 2] . Using Theorem 1.3 and this author's thesis [18] , a finite group can be shown to act freely on a finite CW-complex that is homotopy equivalent to the product of two spheres by demonstrating the appropriate element of
. Such an element must be in the product of characters, not virtual characters, which correspond to the representation ring as used by Jackowski and Oliver. A more complete explanation of this application of the present work will be explored in a subsequent paper.
2 A homology decomposition and conjugation families
We start by showing that we can work with each prime dividing the order of
separately.
Notice that for the diagram from Section 1, the maps, excluding maps from
, can each be separated into a product over all
, yielding a separate diagram for each
:
Notice that the image of the map
is always contained in the subset
. So we will let
be the map
with the range restricted to
. We will show the image under certain hypotheses is all of
by looking at the map
and by introducing a homology decomposition of
.
We will use the subgroup decomposition as our homology decomposition, which can be described in the following manner. First let
be a collection of
-subgroups of
closed under conjugation. Let
be the
-orbit category, which is the category with objects
for
and with
-maps as the morphisms. Let
be the inclusion functor from
to the category of
-spaces. Composing
with the Borel construction
gives a functor
. Notice that
has the homotopy type of
for any
-subgroup
. This functor naturally induces another functor
; therefore,
gives a homology decomposition of
if and only if
is an ample collection of subgroups of
(see [11] ).
At this point an ample collection of subgroups of
will be discussed, starting with three definitions.
Definition 2.1.
Let
be a
-subgroup.
is said to be p-radical (or
-stubborn) if
has no non-trivial normal
-subgroups.
Definition 2.2.
Let
be a
-subgroup.
is said to be p-centric if
is a Sylow
-subgroup of
.
Definition 2.3 (see [14] ).
Let
be a
-centric subgroup.
is said to be principal p-radical if
has no non-trivial normal
-subgroups.
Now let the collection
be the set of all principal
-radical subgroups of
. Grodal has shown that this is an ample collection [14] , allowing for a homology decomposition of
. Also it should be noted that any Sylow p-subgroup of
is contained in the collection
and that any principal
-radical subgroup of
is necessarily
-radical.
Next notice that the map
factors through an inverse limit constructed via the homology decomposition described above:
The map
is induced by restriction and the map
is a projection onto a particular element since
. The following diagram then commutes where the maps
and
are projection onto the the set of degree
characters of
and onto the set of representations of
respectively:
The bijections on the left side follow easily from the earlier discussion of
-groups. We notice that the composite of the entire right hand column is the map
whose image we want to find. From the diagram it is obvious that we can instead find the image of the map
.
In order to look closer at the image of the map
, Alperin's fusion theory will be discussed.
In particular the definition of weak conjugation family and an example will be given.
Definition 2.4 (Alperin [3] ).
Let
be a finite group,
a prime dividing
, and
a Sylow
-subgroup of
. A set
of pairs
, where
and
, is called a weak conjugation family provided that whenever
and
are subsets of
and
for
, there are elements
of
and elements
of
such that
-
(1)
,
-
(2)
for
and
, and
-
(3)
,
for
.
The example we will be using of a weak conjugation family is given in the following theorem of Goldschmidt. In order to state the theorem we need to give two more definitions.
Definition 2.5 (Alperin [3] ).
Let
and
be Sylow
-subgroups of a finite group
and let
.
is said to be a tame intersection if
and
are Sylow
-subgroups of
.
Definition 2.6.
A finite group
is called
-isolated if it contains a proper subgroup
such that if
and for any
,
. In this case
is called a strongly
-embedded subgroup of
.
Theorem 2.7 (Goldschmidt [13,Theorem3.4] ).
Let
be a finite group,
a prime dividing
, and
a Sylow
-subgroup of
. Let
be the set of all pairs
where
such that there exists a Sylow
-subgroup
of
with the following properties:
-
(1)
a tame intersection,
-
(2)
,
-
(3)
a Sylow
-subgroup of
, and
-
(4)
or
is
-isolated.
is a weak conjugation family.
The next proposition will begin to relate Alperin's fusion theory with the inverse limit that has been used in this paper. This will allow us to find the image of the map
.
Proposition 2.8.
Let
be a finite group,
a prime dividing
, and
a Sylow
-subgroup of
. The set
consisting of all pairs
, where
is a principal
-radical subgroup of
, is a weak conjugation family.
-
Proof.
We will show that
is a weak conjugation family by showing that as a set it contains
, the weak conjugation family of Goldschmidt. Let
. We first notice that
is a
-centric subgroup of
since
is a Sylow
-subgroup of
by the fact that
is a tame intersection. Since
is a Sylow
-subgroup of
and
is
-centric,
must also be principal
-radical (see [14,Remark10.12] ). □
Theorem 2.9.
Let
be a finite group,
a prime dividing
, and
a Sylow
-subgroup of G. If
is the collection of all
-subgroups
that are prinicipal
-radical, then the projection map
is one to one and is onto the subset
.
-
Proof.
First we will show that the image of
is contained in
. Suppose that
. Define a map
for each
as the projection from the inverse limit of the complex character of
. Notice that
. Next define
and let
mean
. Let
be the set consisting of all pairs
where
and
.
By the last proposition,
is a weak conjugation family. Suppose that
such that
with
. By the definition of weak conjugation family, there exists
with
for
, and
such that
-
,
-
for
,
-
, and
-
,
for
.
For each
we notice that
respects fusion in
and
respects fusion in
. From this we see that the following three statements hold:
-
,
-
for each
, and
-
.
Putting these statements together, we see that
; therefore,
respects fusion in
and so is contained in
.
To show that
is a one to one correspondence, it is enough to show the existence of an inverse mapping
Let
. We will define
by giving the characters
, which will be
for each
. Fix
. There exists
such that
. So let
. Since
respects fusion in
, it is easy to see that this definition of
is well defined. This definition then gives the following definition of
:
It is obvious from the definition that
is the identity mapping. We now have to show only that
is the identity mapping. Let
be an element of the inverse limit and let
. Given
, observe that
must be
defined above by the nature of the
-orbit category
. This observation shows that
for each
; therefore,
must be the identity mapping. □
Applying Theorem 2.9 shows that the map
is a bijection when the range is restricted to
. Using this result we see that we can use the maps
,
, and
instead of the corresponding maps
,
, and
. We also see that if the map
is an injectionor a surjection, so is the map
. In order to study the map
, we must apply obstruction theory.
3 Obstruction theory
Recall the functor
, which we encountered in Section 2 . Fixing an element
we define functors
for each
by letting
At this point in our discussion we will use a theorem by Jackowski, McClure, and Oliver [16] .
This particular theorem explains where the obstructions will lie in our examination of the map
.
Theorem 3.1 (Jackowski, McClure, and Oliver [16] ).
Fix an element
.
if the groups
vanish for all
and
contains at most one element if the groups
vanish for all
.
Since we will are trying to show that
is an injection or a surjection, we will use the following corollary to Theorem 3.1 :
Corollary 3.2.
If for each element
,
vanish for all
, then
is a surjection. On the other hand, if for each
,
vanish for all
, then
is an injection.
For additional discussion of the obstruction theory see [6, 7, 14, 16, 24] . In light of Corollary 3.2 , we are left to show that under the correct hypotheses the groups
and
vanish for
. We will notice first that in the case where
, these groups vanish without any additional hypotheses. Recall that for any representation
with
a
-group,
(see [12] ) . Since the centralizer of a finite
-subgroup of
is the product of various
, it is clear that
is simply connected; therefore, for any element
,
. In the remaining sections we will discuss situations where the remaining higher limits are indeed trivial.
4 Vanishing obstruction groups
Before we proceed in showing when these higher limits vanish, we first need a couple of definitions. These will allow us to use standard theory first introduced by Jackowski, McClure, and Oliver [15, 16] .
Definition 4.1.
A functor
is called an atomic functor if it vanishes on all but possibly a single isomorphism class of objects. An atomic functor will be said to be concentrated on an isomorphism class on which it does not vanish.
Definition 4.2 (Definition 4.7 of [16] ).
For any prime
, finite group
, and
-module
, let
be the atomic functor concentrated on the free orbit
with
. Set
.
The following lemma follows directly from work by Jackowski, McClure, and Oliver, in particular from the first proof of Lemma 5.4 in [15] .
Lemma 4.3.
Suppose
is a subcollection of
for a finite group
such that for any functor
,
. Also assume that
is an atomic functor concentrated on the isomorphism class of
for some
. Then
We will be filtering our functor by atomic functors in order to see where
vanishes.
The relevant lemma is a result of work by Grodal [14] . (See also [16,Prop.4.11] and [8,Proposition5.8] .)
Lemma 4.4 (See [14] ).
Let
be a finite group and
a finitely generated
-module. If
is a non-negative integer such that
, then
for any
. In particular, if
, then
for any
.
Lemma 4.4 gives us the following proposition when a functor is filtered by atomic functors.
Proposition 4.5.
Let
be a finite group and
a prime number dividing
.
Let
be the set of all subgroups of
that are principal
-radical. If
is a positive integer such that for each
, then for any functor
,
for any
.
Using this proposition in conjunction with the work of the previous section, we get the following result.
Theorem 4.6.
Let
be a finite group and
a prime number dividing
. Let
be the set of all subgroups of
that are principal
-radical. If for each
, then the map
described earlier is a surjection. If for each
, then the map
is a bijection.
In the rest of this paper, we will use Theorem 4.6 and various results about finite groups to prove the three theorems presented in the introduction.
5 Finite groups, part I
We will start by proving Theorem 1.1 . We begin this process with the following lemma, which shows that the obstructions vanish when a Sylow
-subgroup of
has a center of small index in itself.
Lemma 5.1.
Let
be a finite group,
a prime number dividing
, and
a Sylow
-subgroup of
. Let
be an integer such that
. If
is a
-centric subgroup of
, then
. In particular, if
is abelian, then the only
-centric subgroups of
are the Sylow
-subgroups.
-
Proof.
Let
be a
-centric subgroup, which is not a Sylow
-subgroup of
. We may assume
, which implies that
. Let
, which is a Sylow
-subgroup of
. It is clear that
, which implies that
since
is
-centric; therefore,
. Suppose that
, then
, contradicting
being
-centric. So we see that
is strictly contained in
. Now by hypothesis,
; thus, by the strict containment
,
. This clearly implies
. Then since
divides
,
. □
At this point we will prove Theorem 1.1 :
-
Proof.
As was discussed earlier, it is enough to show that for each prime
that divides
,
is a bijection. We assume that
does not contain a rank two elementary abelian subgroup. Let
be a Sylow
-subgroup of
. If
is cyclic, it is abelian; therefore, the only
-centric subgroups of
are the Sylow
-subgroups. By Theorem 4.6 , the map
is a bijection as is the map
. On the other hand, if
is not a cyclic group, then
and
is a generalized quaternion group. Suppose in this case that
is a
-centric subgroup of
. We see that either
is the cyclic group of index two in
,
is cyclic of order four and intersects the cyclic group of index two in
in a cyclic group of order two, or
itself is a generalized quaternion group. If
is of index two in
,
. In the second case,
is a quaternion group of order eight and
. If
is generalized quaternion and not a Sylow
-subgroup, it follows that
is a generalized quaternion group with
while if
is a Sylow
-subgroup,
.
We have now proven in each case that if
is a
-centric subgroup of
, then
; furthermore, the map
is a bijection. From our previous discussion, we see that the map
is also a bijection. □
The proof of Theorem 1.2 follows from the next lemma.
Lemma 5.2 (See [21,6.3.10] ).
Let
be a finite group of odd order. If
and
is a principal
-radical subgroup of
such that
, then
is a Sylow
-subgroup of
.
-
Proof.
Let
and
be a principal
-radical subgroup of
such that
. Suppose
is not a Sylow
-subgroup of
. Let
. The derived subgroup
of
is a
-subgroup (see [21,6.3.10] ). For a subgroup
of
, we will denote by
the image of
in
. Now since
is principal
-radical,
. This implies
.
So
is an abelian group. Since
is not a Sylow
-subgroup of
,
.
is principal
-radical; therefore,
is a Sylow
-subgroup of
. This shows that
; thus,
has a non-trivial normal
-subgroup.
This contradicts
being a principal
-radical subgroup of
, so
is a Sylow
-subgroup of
. □
According to Lemma 5.2 , if
is a rank two group of odd order with
, then the map
is a bijection, and the map
is also a bijection. It follows from the introduction that if
is a rank two group of odd order, then the map
is also a bijection, thus proving Theorem 1.2 .
This only leaves Theorem 1.3 to be proven. As we have been doing in order to show that the map
is a surjection, we will be showing that the map
is a surjection for each prime
dividing
. We will need to approach the prime
differently then the odd primes. Thus, we will break Theorem 1.3 into the following two propositions.
Proposition 5.3.
Let
be a finite group and
an odd prime dividing
. If
does not contain a rank three elementary abelian
-subgroup, then
is a surjection.
Proposition 5.4.
If
be a finite group of even order not containing a rank three elementary abelian
-subgroup, then
is a surjection.
It is clear that Theorem 1.3 follows immediately from these two propositions. We will spend the next two sections proving these two propositions.
6
-Groups of Maximal Class
We will prove Proposition 5.3 first. Before we do, we need to focus on a type of group that will arise in this proof. For Section 6 we will focus on the case where a Sylow
-subgroup of
is a
-group of maximal class with the purpose of proving the following lemma.
Lemma 6.1.
Let
be a finite group and
be a Sylow
-subgroup of
such that
is a
-group of maximal class and
. If
is a
-centric subgroup of
, then
.
-
Proof.
We will let the series
be the lower central series of
. This is defined inductively by
and
for
. Since
is of maximal class,
is the integer such that
. We also introduce another subgroup of
, which will be denoted by
. The subgroup
is defined by the property that
is the centralizer in
of
(see [5,section2] ).
By these definitions we note that each
is characteristic in
, thus giving the increasing sequence of
distinct proper subgroups of
:
By the work of Blackburn [5] , either
is abelian or the commutator subgroup
is abelian and
. Now assume that
is a proper subgroup of
that is a
-centric subgroup of
. We will look at two cases: the first when
and the second when
.
Case I: Assume that
. Since
is a
-centric subgroup of
,
must be a proper subgroup of
. Notice that if either
is abelian or the commutator subgroup
is abelian and
, then
. This inclusion implies that
.
Case II: Assume that
. Let
. Let
be an element of
.
It can be shown that
and that
; therefore, any subgroup of
, which contains
, is of maximal class.
Suppose that
is abelian. This implies that
and that
is generated by
and
; thus
.
Now suppose that
is not abelian. Since
is of maximal class,
; therefore,
is abelian. Seeing that
and
is not abelian,
. □
7 Finite groups, part II
We need to mention one more lemma before we proceed with the proof of Proposition 5.3 .
This Lemma deals with the case where a Sylow
-subgroup of
is a metacyclic
-group and
is an odd prime. It follows from the work of J. Dietz [9] and of Martino and Priddy [19] .
-
Proof.
Suppose
is a metacyclic group with
. Martino and Priddy [19] have shown that such a
is a Swan Group. In the proof they proved that if
is a proper subgroup with
, then
So no proper subgroup
can be a principal
-radical subgroup of
. □
Now we give the proof of Proposition 5.3 :
-
Proof.
Recall that
is a finite group that does not contain a rank three elementary abelian subgroup and
is an odd prime dividing
. Let
be a Sylow
-subgroup of
and let
be an integer such that
. Since Theorem 1.1 takes care of the case where
, we may assume that
. It has been shown by Blackburn [4] that one of the following holds for
(see also [10] ):
-
(1)
,
-
(2)
and
is metacylic,
-
(3)
,
, and
is a
-group of maximal class,
-
(4)
and
, or
-
(5)
,
is a quadratic nonresidue mod
, and
.
Recall that it is enough to show that in each of these cases, if
is a principal
-radical subgroup of
, then
. Lemma 7.1 gives this result for case 2, while case 3 was shown in Section 6 . To proceed with the other three cases, recall that by Lemma 5.1 it is enough to show that
. The first case follows immediately since
must have a non-trivial center. Notice in both of the remaining cases that the center of
contains the element
implying that
. This concludes these two cases as well as the proof of Proposition 5.3 . □
We are also ready to give the proof of of Proposition 5.4 :
-
Proof.
Recall that
is a finite group of even order that does not contain a rank three elementary abelian subgroup. As before let
be a Sylow
-subgroup of
. Suppose that
is a principal
-radical subgroup of
, which is not itself a Sylow
-subgroup of
.
Notice that
is both non-trivial and not a
-group. In particularthis means that
is a
-group of rank one or two with an automorphism of odd order.
Richard Thomas has classified all such
-groups [22, 23] . According to his classification
must be one of the following:
-
(1)
,
-
(2)
,
-
(3)
,
-
(4)
where
is a
-group,
, and
,
-
(5)
, or
-
(6)
.
Our notation is as follows:
means the quaternion 8 group,
means the dihedral group of size 8,
refers to the central product, and
refers to the wreath product.
Since
is a principal
-radical subgroup of
, we know from the definition that
; therefore, let
and
.
It is clear then that
must be isomorphic to a subgroup of
. In order to show that
, it is enough to show that
. We will do this on a case by case basis using the list above. In cases 1 and 2,
, giving
. In cases 3, 4, and 5,
, implying that
. In the final case,
, implying that
. We see that for any possible
that is a principal
-radical subgroup of
,
. This concludes the proof of Proposition 5.4 . □
References
-
A. Adem, J. Smith, On spaces with periodic cohomology, Electron. Res. Announc. Amer. Math. Soc. 6 (2000) 1-6.
-
A. Adem, J. Smith, Periodic complexes and group actions, Ann. of Math. (2) 154 (2001) 407-435.
-
J. Alperin, Sylow intersections and fusion, J. Algebra 6 (1967) 222-241.
-
N. Blackburn, Generalizations of certain elementary theorem on
-Groups, Proc. London Math. Soc. 11 (1961) 1-22.
-
N. Blackburn, On a special class of
-Groups, Acta. Math. 100 (1958) 45-92.
-
K. Bousfield, Homotopy spectral sequences and obstructions, Isreal J. Math. 66 (1989) 54-104.
-
K. Bousfield, D. Kan, Homotopy limits, Completions and Localizations, Lecture Notes in Mathematics, vol. 304, Springer-Verlag, New York 1972.
-
C. Broto, R. Levi, B. Oliver, Homotopy equivalences of
-completed classifying spaces of finite groups, preprint 2001.
-
J. Dietz, Stable splittings of classifying spaces of metacyclic
-groups,
odd, J. Pure and Applied Alg. 90 (1993) 115-136.
-
J. Dietz, S. Priddy, The stable homotopy type of rank two
-groups, in: Homotopy Theory and its Applications (Cocoyoc, 1993), Contemp. Math., vol. 188, Amer. Math. Soc., Providence, 1995, pp. 93-103.
-
W. Dwyer, Homology decompositions for classifying spaces of finite groups, Topology 36 (1997) 783-804.
-
W. Dwyer, A. Zabrodsky, Maps between classifying spaces, In: Algebraic Topology, Barcelona 1986, Lecture Notes in Mathematics, vol. 1298, Springer Verlag, New York, 1987, pp. 106-119.
-
D.M. Goldschmidt, A conjugation family for finite groups, J. Algebra 16 (1970) 138-142.
-
J. Grodal, Higher limits via subgroup complexes, Ann. of Math. 155 (2002) 405-457.
-
S. Jackowski, J. McClure, B. Oliver, Homotopy classification of self-maps of BG via G-actions, Ann. of Math. 135 (1992) 184-270 .
-
S. Jackowski, J. McClure, B. Oliver, Homotopy theory of classifying spaces of compact Lie groups, In: Algebraic Topology and Its Applications, MSRI Publications, vol. 27, Springer Verlag, New York, 1994, pp. 81-123.
-
S. Jackowski, B. Oliver, Vector bundles over classifying spaces of compact Lie groups, Acta Math 176 (1996) 109-143.
-
M. Jackson, Vector bundles over
whose Euler classes are effective, Thesis Purdue Univ. 2001.
-
J. Martino, S. Priddy, On the cohomology and homotopy of Swan groups, Math. Z. 225 (1997) 277-288.
-
G. Mislin, C. Thomas, On the homotopy set
with
Finite and
a compact connected lie group, Quart. J. Math. Oxford 40 (1989) 65-78.
-
M. Suzuki, Group Theory II, Springer-Verlag, New York, 1986.
-
R. Thomas, On
-groups of small rank admitting an automorphism of prime order
, J. Algebra 125 (1989) 1-12.
-
R. Thomas, On
-groups of small rank admitting an automorphism of prime order
, J. Algebra 125 (1989) 27-35.
-
Z. Wojtkowiak, On maps from holim
to
,In: Algebraic Topology, Barcelona 1986, Lecture Notes in Mathematics, vol. 1298, Springer Verlag, New York, 1987, pp. 227-236.
The Ohio State University, 231 W. 18th Ave., Columbus, OH 43210, USA, mjackson@math.ohio-state.edu