<ph f="cmex"> </ph><ph f="cmbx">A Quotient of the Set </ph> <math xmlns="http://www.w3.org/1998/Math/MathML"> <mo>[</mo> <mi>B</mi> <mi>G</mi> <mo>,</mo> <mi>B</mi> <mi>U</mi> <mo>(</mo> <mi>n</mi> <mo>)</mo> <mo>]</mo> </math> <ph f="cmr"> </ph><ph f="cmbx">for a Finite Group </ph> <math xmlns="http://www.w3.org/1998/Math/MathML"> <mi>G</mi> </math> <ph f="cmmi"> </ph><ph f="cmbx">of Small Rank</ph>

Michael A. Jackson

The Ohio State University, 231 W. 18th Ave., Columbus, OH 43210, USA, mjackson@math.ohio-state.edu

1 Introduction

Our purpose is to investigate the relationship between the homotopy classes of maps from B G   for a finite group G   to B U ( n )   and the degree n   characters of the Sylow p   -subgroups of G   . Throughout this paper we will let G   be a finite group, p   a prime dividing the order of G   , and G p   a Sylow p   -subgroup of G   . In addition we will use C h a r n ( G p )   to represent the set of degree n   complex characters of G p   and will let C h a r n G ( G p )   represent the subset consisting of those degree n   complex characters of G p   that are the restrictions of class functions on G   .
Recall that for a group G   , B G   is the classifying space of G   . Also [ B G , B U ( n ) ]   is the homotopy classes of maps from B G   to B U ( n )   , which may also be thought of as π 0 H o m ( B G , B U ( n ) )   (see [12). Next we will define a natural map ψ G : [ B G , B U ( n ) ] p | | G | C h a r n G ( G p ) ,   which will be discussed throughout this paper. To define this map, let us examine the following diagram where R e p ( G , U ( n ) ) = H o m ( G , U ( n ) ) / I n n ( U ( n ) )   : [ B G , B U ( n ) ] = p | | G | [ B G , B U ( n ) p ] r e s p | | G | [ B G p , B U ( n ) p ] ψ ¯ G φ ¯ G = p | | G | C h a r n ( G p ) p | | G | C h a r n ( G p ) = p | | G | R e p ( G p , U ( n ) ) .   Notice that spaces in the center and right of the top row contain B U ( n ) p   , which is the p   -completion of the space B U ( n )   . (For more information on p   -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 [12and the bijection in the lower right is a basic result in representation theory. The restriction map r e s   is induced by the inclusion of the Sylow p-subgroups G p   into G   . We now let maps ψ ¯ G   and φ ¯ G   be the maps that make the diagram commute. The image of ψ ¯ G   and φ ¯ G   both lie in the subset p | | G | C h a r n G ( G p ) p | | G | C h a r n ( G p )   (see Theorem  2.9 ). So we will let ψ G   and φ G   be the maps ψ ¯ G   and φ ¯ G   respectively, with the range restricted to p | | G | C h a r n G ( G p )   . Now that we have defined the map ψ G   , we state the following three theorems, which express the main results of this paper:
Theorem 1.1. If G   is a finite group that does not contain a rank two elementary abelian subgroup, then the natural mapping ψ G : [ B G , B U ( n ) ] p | | G | C h a r n G ( G p )   is a bijection.
Theorem 1.2. Let G   be a finite group that does not contain a rank three elementary abelian subgroup. If | G |   is odd, then the natural mapping ψ G : [ B G , B U ( n ) ] p | | G | C h a r n G ( G p )   is a bijection.
Theorem 1.3. If G   is a finite group that does not contain a rank three elementary abelian subgroup, then the natural mapping ψ G : [ B G , B U ( n ) ] p | | G | C h a r n G ( G p )   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 U ( n )   is replaced by S U ( 2 )   . This work is also related to work by Jackowski and Oliver [17. They look at the Grothendieck group of V e c t ( B G )   and show that it is isomorphic to p | | G | ( G p ) G   , where ( G p )   is the complex representation ring of G p   restricted to thee elements that are stable under the action of G   . 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 p | | G | C h a r n G ( G p )   . 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 G   separately.
Notice that for the diagram from Section 1, the maps, excluding maps from [ B G , B U ( n ) ]   , can each be separated into a product over all p | | G |   , yielding a separate diagram for each p | | G |   : [ B G , B U ( n ) p ] r e s p [ B G p , B U ( n ) p ] φ ¯ G , p = C h a r n ( G p ) = R e p ( G p , U ( n ) ) .   Notice that the image of the map φ ¯ G , p   is always contained in the subset C h a r n G ( G p ) C h a r n ( G p )   . So we will let φ G , p   be the map φ ¯ G , p   with the range restricted to C h a r n G ( G p )   . We will show the image under certain hypotheses is all of C h a r n G ( G p )   by looking at the map r e s p   and by introducing a homology decomposition of B G   .
We will use the subgroup decomposition as our homology decomposition, which can be described in the following manner. First let C   be a collection of p   -subgroups of G   closed under conjugation. Let O C   be the C   -orbit category, which is the category with objects G / P   for P C   and with G   -maps as the morphisms. Let   be the inclusion functor from O C   to the category of G   -spaces. Composing   with the Borel construction ( ) h G   gives a functor α C : O C S p a c e s   . Notice that α C ( G / P )   has the homotopy type of B P   for any p   -subgroup P G   . This functor naturally induces another functor b C : h o c o l i m α C B G   ; therefore, b C   gives a homology decomposition of B G   if and only if C   is an ample collection of subgroups of G   (see [11).
At this point an ample collection of subgroups of G   will be discussed, starting with three definitions.
Definition 2.1. Let P G   be a p   -subgroup. P   is said to be p-radical (or p   -stubborn) if N G ( P ) / P   has no non-trivial normal p   -subgroups.
Definition 2.2. Let P G   be a p   -subgroup. P   is said to be p-centric if Z ( P )   is a Sylow p   -subgroup of C G ( P )   .
Definition 2.3 (see [14). Let P G   be a p   -centric subgroup. P   is said to be principal p-radical if N G ( P ) / P C G ( P )   has no non-trivial normal p   -subgroups.
Now let the collection C   be the set of all principal p   -radical subgroups of G   . Grodal has shown that this is an ample collection [14, allowing for a homology decomposition of G   . Also it should be noted that any Sylow p-subgroup of G   is contained in the collection C   and that any principal p   -radical subgroup of G   is necessarily p   -radical.
Next notice that the map r e s p   factors through an inverse limit constructed via the homology decomposition described above: r e s p : [ B G , B U ( n ) p ] α p lim G / P O C [ B P , B U ( n ) p ] β p [ B G p , B U ( n ) p ] .   The map α p   is induced by restriction and the map β p   is a projection onto a particular element since G p C   . The following diagram then commutes where the maps π p 1   and π p 2   are projection onto the the set of degree n   characters of G p   and onto the set of representations of G p   respectively:
[ B G , B U ( n ) p ] [ B G , B U ( n ) p ] α p r e s p lim G / P O C [ B P , B U ( n ) p ] β p [ B G p , B U ( n ) p ] = = lim G / P O C R e p ( P , U ( n ) ) π p 2 R e p ( G p , U ( n ) ) = = lim G / P O C C h a r n ( P ) π p 1 C h a r n ( G p ) .   The bijections on the left side follow easily from the earlier discussion of p   -groups. We notice that the composite of the entire right hand column is the map φ ¯ G , p   whose image we want to find. From the diagram it is obvious that we can instead find the image of the map π p 1   .
In order to look closer at the image of the map π p 1   , 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 G   be a finite group, p   a prime dividing | G |   , and G p   a Sylow p   -subgroup of G   . A set   of pairs { ( H , T ) }   , where H G p   and T N G ( H )   , is called a weak conjugation family provided that whenever A   and B   are subsets of G p   and B = g 1 A g   for g G   , there are elements ( H 1 , T 1 ) , ( H 2 , T 2 ) , , ( H n , T n )   of   and elements x 1 , x 2 , , x n , y   of G   such that
  • (1) B = ( x 1 x 2 x n y ) 1 A ( x 1 x 2 x n y )   ,
  • (2) x i T i   for 1 i n   and y N G ( G p )   , and
  • (3) A H 1   , ( x 1 x 2 x i ) 1 A ( x 1 x 2 x i ) H i + 1   for 1 i n 1   .
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 Q   and R   be Sylow p   -subgroups of a finite group G   and let H = Q R   . H   is said to be a tame intersection if N Q ( H )   and N P ( H )   are Sylow p   -subgroups of N G ( H )   .
Definition 2.6. A finite group G   is called p   -isolated if it contains a proper subgroup H G   such that if p | | H |   and for any g G \ H   , p | H g H g 1 |   . In this case H   is called a strongly p   -embedded subgroup of G   .
Theorem 2.7 (Goldschmidt [13,Theorem3.4). Let G   be a finite group, p   a prime dividing | G |   , and G p   a Sylow p   -subgroup of G   . Let 0   be the set of all pairs ( H , N G ( H ) )   where H G p   such that there exists a Sylow p   -subgroup P   of G   with the following properties:
  • (1) H = G p P   a tame intersection,
  • (2) C G p ( H ) H   ,
  • (3) H   a Sylow p   -subgroup of O p , p ( N G ( H ) )   , and
  • (4) H = P   or N G ( H ) / H   is p   -isolated.
0   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 π p 1   .
Proposition 2.8. Let G   be a finite group, p   a prime dividing | G |   , and G p   a Sylow p   -subgroup of G   . The set   consisting of all pairs ( H , N G ( H ) )   , where H G p   is a principal p   -radical subgroup of G   , is a weak conjugation family.
  • Proof. We will show that   is a weak conjugation family by showing that as a set it contains 0   , the weak conjugation family of Goldschmidt. Let ( H , N G ( H ) ) 0   . We first notice that H   is a p   -centric subgroup of G   since C G p ( H )   is a Sylow p   -subgroup of C G ( H )   by the fact that H   is a tame intersection. Since H   is a Sylow p   -subgroup of O p , p ( N G ( H ) )   and H   is p   -centric, H   must also be principal p   -radical (see [14,Remark10.12).
Theorem 2.9. Let G   be a finite group, p   a prime dividing | G |   , and G p   a Sylow p   -subgroup of G. If C   is the collection of all p   -subgroups H G   that are prinicipal p   -radical, then the projection map π p 1 : lim G / P O C C h a r n ( P ) C h a r n ( G p )   is one to one and is onto the subset C h a r n G ( G p ) C h a r n ( G p )   .
  • Proof. First we will show that the image of π p 1   is contained in C h a r n G ( G p )   . Suppose that γ lim G / P O C C h a r n ( P )   . Define a map π P   for each P C   as the projection from the inverse limit of the complex character of P   . Notice that π p 1 = π G p   . Next define χ P = π P ( γ )   and let χ   mean χ G p   . Let p   be the set consisting of all pairs ( H , N G ( H ) )   where H C   and H G p   .
    By the last proposition, p   is a weak conjugation family. Suppose that a , b G p   such that g G   with b = g a g 1   . By the definition of weak conjugation family, there exists H 1 , H 2 , , H m C   with H i G p   for 1 i n   , and x 1 , x 2 , x m , y G   such that
    •   b = ( x 1 x 2 x n y ) 1 a ( x 1 x 2 x n y )   ,
    •   x i N G ( H i )   for 1 i n   ,
    •   y N G ( G p )   , and
    •   a H 1   , ( x 1 x 2 x i ) 1 a ( x 1 x 2 x i ) H i + 1   for 1 i n 1   .
    For each 1 i n   we notice that χ | H i   respects fusion in N G ( H i )   and χ   respects fusion in N G ( G p )   . From this we see that the following three statements hold:
    •   χ ( a ) = χ ( x 1 1 a x 1 )   ,
    •   χ ( ( x 1 x 2 x i ) 1 a ( x 1 x 2 x i ) ) = χ ( ( x 1 x 2 x i + 1 ) 1 a ( x 1 x 2 x i + 1 ) )   for each 1 i n 1   , and
    •   χ ( ( x 1 x 2 x n ) 1 a ( x 1 x 2 x n ) ) = χ ( b )   .
    Putting these statements together, we see that χ ( a ) = χ ( b )   ; therefore, χ   respects fusion in G   and so is contained in C h a r n G ( G p )   .
    To show that π p 1   is a one to one correspondence, it is enough to show the existence of an inverse mapping σ G p : C h a r n G ( G p ) lim G / P O C C h a r n ( P ) .   Let χ C h a r n G ( G p )   . We will define σ G p   by giving the characters χ P   , which will be π P σ G p ( χ )   for each P C   . Fix P C   . There exists g G   such that P g 1 G p g   . So let χ P ( h ) = χ ( g h g 1 )   . Since χ   respects fusion in G   , it is easy to see that this definition of χ P = π P σ G p ( χ )   is well defined. This definition then gives the following definition of σ G p   :
    σ G p ( χ ) = lim G / P O C χ P .   It is obvious from the definition that π p 1 σ G p   is the identity mapping. We now have to show only that σ G p π p 1   is the identity mapping. Let γ   be an element of the inverse limit and let χ = π G p ( γ )   . Given P C   , observe that π P ( γ )   must be χ P   defined above by the nature of the C   -orbit category O C   . This observation shows that π P σ G p π p 1 = π P   for each P C   ; therefore, σ G p π p 1   must be the identity mapping.
Applying Theorem  2.9 shows that the map π p 1   is a bijection when the range is restricted to C h a r n G ( G p )   . Using this result we see that we can use the maps φ G , p   , φ G   , and ψ G   instead of the corresponding maps φ ¯ G , p   , φ ¯ G   , and ψ ¯ G   . We also see that if the map α p   is an injectionor a surjection, so is the map φ G , p   . In order to study the map α p   , we must apply obstruction theory.

3 Obstruction theory

Recall the functor α C : O C S p a c e s   , which we encountered in Section  2 . Fixing an element γ = ( γ ( G / P ) ) G / P O C lim G / P O C [ α C ( G / P ) , B U ( n ) p ] ,   we define functors D n : O C A b   for each n 1   by letting D n ( G / P ) = π n ( m a p ( α C ( G / P ) , B U ( n ) p ) γ ( G / P ) ) .   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 α p   .
Theorem 3.1 (Jackowski, McClure, and Oliver [16). Fix an element γ lim G / P O C [ α C ( G / P ) , B U ( n ) p ]   . γ I m ( α p )   if the groups lim n + 1 ( D n )   vanish for all n 1   and α p 1 ( γ )   contains at most one element if the groups lim n ( D n )   vanish for all n 1   .
Since we will are trying to show that α p   is an injection or a surjection, we will use the following corollary to Theorem  3.1 :
Corollary 3.2. If for each element γ lim G / P O C [ α C ( G / P ) , B U ( n ) p ]   , lim n + 1 ( D n )   vanish for all n 1   , then α p   is a surjection. On the other hand, if for each γ   , lim n ( D n )   vanish for all n 1   , then α p   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 lim n + 1 ( D n )   and lim n ( D n )   vanish for n 1   . We will notice first that in the case where n = 1   , these groups vanish without any additional hypotheses. Recall that for any representation ρ : P U ( m )   with P   a p   -group, π n ( D C ( G / P ) , B ρ ) = π n ( B C U ( m ) ( I m ( ρ ) ) ) Z p   (see [12) . Since the centralizer of a finite p   -subgroup of U ( m )   is the product of various U ( i )   , it is clear that B C U ( m ) ( I m ( ρ ) )   is simply connected; therefore, for any element γ   , lim 2 ( D 1 ) = 0 = lim 1 ( D 1 )   . 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 F : O C A b   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 p   , finite group G   , and Z ( p ) ( G )   -module M   , let F M : O S p ( G ) Z ( p ) m o d   be the atomic functor concentrated on the free orbit G / 1   with F M ( G / 1 ) = M   . Set Λ * ( G ; M ) = lim * F M   .
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 C   is a subcollection of S p ( G )   for a finite group G   such that for any functor F : O S p ( G ) Z ( p ) m o d   , lim * F = lim * F | O C   . Also assume that F : O C Z ( p ) m o d   is an atomic functor concentrated on the isomorphism class of G / P   for some P C   . Then lim * F = Λ * ( N G ( P ) / P ; F ( G / P ) ) .  
We will be filtering our functor by atomic functors in order to see where Λ * ( Γ , M )   vanishes.
The relevant lemma is a result of work by Grodal [14. (See also [16,Prop.4.11and [8,Proposition5.8.)
Lemma 4.4 (See [14). Let Γ   be a finite group and M   a finitely generated Z ( p ) ( Γ )   -module. If m   is a non-negative integer such that r k p ( Γ ) m   , then Λ j ( Γ , M ) = 0   for any j > m   . In particular, if p m + 1 | Γ |   , then Λ j ( Γ , M ) = 0   for any j > m   .
Lemma  4.4 gives us the following proposition when a functor is filtered by atomic functors.
Proposition 4.5. Let G   be a finite group and p   a prime number dividing | G |   .
Let C   be the set of all subgroups of G   that are principal p   -radical. If m   is a positive integer such that for each P C   r k p ( N G ( P ) / P ) m   , then for any functor F : O C Z ( p ) m o d   , lim j F = 0   for any j > m   .
Using this proposition in conjunction with the work of the previous section, we get the following result.
Theorem 4.6. Let G   be a finite group and p   a prime number dividing | G |   . Let C   be the set of all subgroups of G   that are principal p   -radical. If for each P C   r k p ( N G ( P ) / P ) 2   , then the map α p   described earlier is a surjection. If for each P C   r k p ( N G ( P ) / P ) 1   , then the map α p   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 p   -subgroup of G   has a center of small index in itself.
Lemma 5.1. Let G   be a finite group, p   a prime number dividing | G |   , and G p   a Sylow p   -subgroup of G   . Let m   be an integer such that p m = [ G p : Z ( G p ) ]   . If P   is a p   -centric subgroup of G   , then p m [ N G ( P ) : P ]   . In particular, if G p   is abelian, then the only p   -centric subgroups of G   are the Sylow p   -subgroups.
  • Proof. Let P G   be a p   -centric subgroup, which is not a Sylow p   -subgroup of G   . We may assume P G p   , which implies that Z ( G p ) C G ( P ) G p   . Let H = C G ( P ) G p   , which is a Sylow p   -subgroup of C G ( P )   . It is clear that Z ( P ) H   , which implies that Z ( P ) = H   since P   is p   -centric; therefore, Z ( G p ) Z ( P ) P   . Suppose that Z ( G p ) = P   , then G p C G ( P )   , contradicting P   being p   -centric. So we see that Z ( G p )   is strictly contained in P   . Now by hypothesis, p m = [ G p : Z ( G p ) ]   ; thus, by the strict containment Z ( G p ) P   , [ G p : P ] < p m   . This clearly implies p m [ G : P ]   . Then since [ N G ( P ) : P ]   divides [ G : P ]   , p m [ N G ( P ) : P ]   .
At this point we will prove Theorem  1.1 :
  • Proof. As was discussed earlier, it is enough to show that for each prime p   that divides | G |   , φ G , p   is a bijection. We assume that G   does not contain a rank two elementary abelian subgroup. Let G p   be a Sylow p   -subgroup of G   . If G p   is cyclic, it is abelian; therefore, the only p   -centric subgroups of G   are the Sylow p   -subgroups. By Theorem  4.6 , the map α p   is a bijection as is the map φ G , p   . On the other hand, if G p   is not a cyclic group, then p = 2   and G p   is a generalized quaternion group. Suppose in this case that P G p   is a p   -centric subgroup of G   . We see that either P   is the cyclic group of index two in G p   , P   is cyclic of order four and intersects the cyclic group of index two in G p   in a cyclic group of order two, or P   itself is a generalized quaternion group. If P   is of index two in G p   , 4 [ N G ( P ) : P ]   . In the second case, N G p ( P )   is a quaternion group of order eight and 4 [ N G ( P ) : P ]   . If P   is generalized quaternion and not a Sylow p   -subgroup, it follows that N G p ( P )   is a generalized quaternion group with [ N G p ( P ) : P ] = 2   while if P   is a Sylow p   -subgroup, [ N G p ( P ) : P ] = 1   .
    We have now proven in each case that if P   is a p   -centric subgroup of G   , then p 2 [ N G ( P ) : P ]   ; furthermore, the map α p   is a bijection. From our previous discussion, we see that the map φ G , p   is also a bijection.
The proof of Theorem  1.2 follows from the next lemma.
Lemma 5.2 (See [21,6.3.10). Let G   be a finite group of odd order. If p | | G |   and P   is a principal p   -radical subgroup of G   such that r k ( P ) 2   , then P   is a Sylow p   -subgroup of G   .
  • Proof. Let p | | G |   and P   be a principal p   -radical subgroup of G   such that r k ( P ) 2   . Suppose P   is not a Sylow p   -subgroup of G   . Let W = N G ( P ) / C G ( P )   . The derived subgroup W   of W   is a p   -subgroup (see [21,6.3.10). For a subgroup H   of N G ( P )   , we will denote by H ¯   the image of H C G ( P )   in W   . Now since P   is principal p   -radical, O p ( W ) = P ¯   . This implies W P ¯   .
    So W / P ¯ = N G ( P ) / P C G ( P )   is an abelian group. Since P   is not a Sylow p   -subgroup of G   , p | [ N G ( P ) : P ]   . P   is principal p   -radical; therefore, Z ( P )   is a Sylow p   -subgroup of C G ( P )   . This shows that p | [ N G ( P ) : P C G ( P ) ]   ; thus, N G ( P ) / P C G ( P )   has a non-trivial normal p   -subgroup.
    This contradicts P   being a principal p   -radical subgroup of G   , so P   is a Sylow p   -subgroup of G   .
According to Lemma  5.2 , if G   is a rank two group of odd order with p | | G |   , then the map α p   is a bijection, and the map φ G , p   is also a bijection. It follows from the introduction that if G   is a rank two group of odd order, then the map φ G   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 φ G   is a surjection, we will be showing that the map φ G , p   is a surjection for each prime p   dividing | G |   . We will need to approach the prime 2   differently then the odd primes. Thus, we will break Theorem  1.3 into the following two propositions.
Proposition 5.3. Let G   be a finite group and p > 2   an odd prime dividing | G |   . If G   does not contain a rank three elementary abelian p   -subgroup, then φ G , p : [ B G , B U ( n ) p ] C h a r n G ( G p )   is a surjection.
Proposition 5.4. If G   be a finite group of even order not containing a rank three elementary abelian 2   -subgroup, then φ G , 2 : [ B G , B U ( n ) 2 ] C h a r n G ( G 2 )   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 3   -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 3   -subgroup of G   is a 3   -group of maximal class with the purpose of proving the following lemma.
Lemma 6.1. Let G   be a finite group and G 3   be a Sylow 3   -subgroup of G   such that G 3   is a 3   -group of maximal class and | G 3 | 3 5   . If P G 3   is a 3   -centric subgroup of G   , then [ N G 3 ( P ) : P ] 3 2   .
  • Proof. We will let the series Z ( G 3 ) = C n 1 C n C 3 C 2 G 3   be the lower central series of G 3   . This is defined inductively by C 2 = [ G 3 , G 3 ]   and C i = [ C i 1 , G 3 ]   for i > 2   . Since G 3   is of maximal class, n   is the integer such that | G 3 | = 3 n   . We also introduce another subgroup of G p   , which will be denoted by C 1   . The subgroup C 1   is defined by the property that C 1 / C 4   is the centralizer in G 3 / C 4   of C 2 / C 4   (see [5,section2).
    By these definitions we note that each C i   is characteristic in G p   , thus giving the increasing sequence of n 1   distinct proper subgroups of G p   :
    Z ( G 3 ) = C n 1 C n C 3 C 2 C 1 G 3 .   By the work of Blackburn [5, either C 1   is abelian or the commutator subgroup C 2   is abelian and [ C 1 , C 2 ] = Z ( G 3 )   . Now assume that P   is a proper subgroup of G 3   that is a 3   -centric subgroup of G   . We will look at two cases: the first when P C 1   and the second when P C 1   .
    Case I: Assume that P C 1   . Since P   is a 3   -centric subgroup of G   , Z ( C 1 )   must be a proper subgroup of P   . Notice that if either C 1   is abelian or the commutator subgroup C 2   is abelian and [ C 1 , C 2 ] = Z ( G 3 )   , then C 3 Z ( C 1 )   . This inclusion implies that [ G 3 : P ] 3 2   .
    Case II: Assume that P C 1   . Let N = N G 3 ( P )   . Let t   be an element of P \ ( P C 1 )   .
    It can be shown that | C G 3 ( t ) | = 3 2   and that C G 3 ( t ) P   ; therefore, any subgroup of G 3   , which contains P   , is of maximal class.
    Suppose that P   is abelian. This implies that P = C G 3 ( t )   and that N   is generated by t   and C n 2   ; thus [ N : P ] = 3   .
    Now suppose that P   is not abelian. Since N   is of maximal class, [ N , N ] C 2   ; therefore, [ N , N ]   is abelian. Seeing that P N   and P   is not abelian, [ N : P ] = 3   .

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 p   -subgroup of G   is a metacyclic p   -group and p   is an odd prime. It follows from the work of J. Dietz [9and of Martino and Priddy [19.
Lemma 7.1 (See [9, and [19,Theorem2.7). Let G   be a finite group, p   an odd prime divisor of | G |   , and G p   a Sylow p   -subgroup of G   . If G p   is a metacyclic group, | G p | > p 3   , and P G p   is a principal p   -radical subgroup of G   , then P = G p   .
  • Proof. Suppose G p   is a metacyclic group with | G p | > p 3   . Martino and Priddy [19have shown that such a G p   is a Swan Group. In the proof they proved that if H G p   is a proper subgroup with C G p ( H ) = Z ( H )   , then ( N G p ( H ) / H C G p ( H ) ) O p ( O u t ( H ) ) { 1 } .   So no proper subgroup H G p   can be a principal p   -radical subgroup of G   .
Now we give the proof of Proposition  5.3 :
  • Proof. Recall that G   is a finite group that does not contain a rank three elementary abelian subgroup and p   is an odd prime dividing | G |   . Let G p   be a Sylow p   -subgroup of G   and let n   be an integer such that | G p | = p n   . Since Theorem  1.1 takes care of the case where r k ( G p ) = 1   , we may assume that r k ( G p ) = 2   . It has been shown by Blackburn [4that one of the following holds for G p   (see also [10):
    • (1) n < 5   ,
    • (2) n 5   and G p   is metacylic,
    • (3) n 5   , p = 3   , and G 3   is a 3   -group of maximal class,
    • (4) n 5   and G p = a , b , c | a p = b p = c p n 2 = 1 , [ a , b ] = c p n 3 , c Z ( G p )   , or
    • (5) n 5   , e 0   is a quadratic nonresidue mod p   , and G p = a , b , c | a p = b p = c p n 2 = [ b , c ] = 1 , [ a , b 1 ] = c e p n 3 , [ a , c ] = b   .
    Recall that it is enough to show that in each of these cases, if P G p   is a principal p   -radical subgroup of G   , then [ N G p ( P ) : P ] p 2   . 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 [ G p , Z ( G p ) ] p 3   . The first case follows immediately since G p   must have a non-trivial center. Notice in both of the remaining cases that the center of G p   contains the element c p   implying that | Z ( G p ) | p n 3   . 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 G   is a finite group of even order that does not contain a rank three elementary abelian subgroup. As before let G 2   be a Sylow 2   -subgroup of G   . Suppose that P G 2   is a principal 2   -radical subgroup of G   , which is not itself a Sylow 2   -subgroup of G   .
    Notice that N G ( P ) / P C G ( P ) O u t ( P )   is both non-trivial and not a 2   -group. In particularthis means that P   is a 2   -group of rank one or two with an automorphism of odd order.
    Richard Thomas has classified all such 2   -groups [22, 23. According to his classification P   must be one of the following:
    • (1) P = Q 8 * D 8   ,
    • (2) P = Q 8 × Q 8   ,
    • (3) P = Q 8 Z 2   ,
    • (4) P = Q 8 * C   where O u t ( C )   is a 2   -group, O u t ( C ) O u t ( P )   , and C D 8   ,
    • (5) P = Z 2 r × Z 2 r   , or
    • (6) P = U 64 S y l 2 ( P S U 3 ( F 4 ) )   .
    Our notation is as follows: Q 8   means the quaternion 8 group, D 8   means the dihedral group of size 8, *   refers to the central product, and   refers to the wreath product.
    Since P   is a principal 2   -radical subgroup of G   , we know from the definition that N G ( P ) / P C G ( P ) O 2 ( O u t ( P ) ) = { 1 }   ; therefore, let S S y l 2 ( N G ( P ) / P C G ( P ) )   and T S y l 2 ( O u t ( P ) / O 2 ( O u t ( P ) ) )   .
    It is clear then that S   must be isomorphic to a subgroup of T   . In order to show that r k 2 ( N G ( P ) / P ) 2   , it is enough to show that r k 2 ( T ) 2   . We will do this on a case by case basis using the list above. In cases 1 and 2, T = D 8   , giving r k 2 ( T ) = 2   . In cases 3, 4, and 5, T = Z 2   , implying that r k 2 ( T ) = 1   . In the final case, T = Z 4   , implying that r k 2 ( T ) = 1   . We see that for any possible P G 2   that is a principal 2   -radical subgroup of G   , r k 2 ( N G ( P ) / P ) 2   . This concludes the proof of Proposition  5.4 .
References

  1. A. Adem, J. Smith, On spaces with periodic cohomology, Electron. Res. Announc. Amer. Math. Soc. 6 (2000) 1-6.
  2. A. Adem, J. Smith, Periodic complexes and group actions, Ann. of Math. (2) 154 (2001) 407-435.
  3. J. Alperin, Sylow intersections and fusion, J. Algebra 6 (1967) 222-241.
  4. N. Blackburn, Generalizations of certain elementary theorem on p   -Groups, Proc. London Math. Soc. 11 (1961) 1-22.
  5. N. Blackburn, On a special class of p   -Groups, Acta. Math. 100 (1958) 45-92.
  6. K. Bousfield, Homotopy spectral sequences and obstructions, Isreal J. Math. 66 (1989) 54-104.
  7. K. Bousfield, D. Kan, Homotopy limits, Completions and Localizations, Lecture Notes in Mathematics, vol. 304, Springer-Verlag, New York 1972.
  8. C. Broto, R. Levi, B. Oliver, Homotopy equivalences of p   -completed classifying spaces of finite groups, preprint 2001.
  9. J. Dietz, Stable splittings of classifying spaces of metacyclic p   -groups, p   odd, J. Pure and Applied Alg. 90 (1993) 115-136.
  10. J. Dietz, S. Priddy, The stable homotopy type of rank two p   -groups, in: Homotopy Theory and its Applications (Cocoyoc, 1993), Contemp. Math., vol. 188, Amer. Math. Soc., Providence, 1995, pp. 93-103.
  11. W. Dwyer, Homology decompositions for classifying spaces of finite groups, Topology 36 (1997) 783-804.
  12. 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.
  13. D.M. Goldschmidt, A conjugation family for finite groups, J. Algebra 16 (1970) 138-142.
  14. J. Grodal, Higher limits via subgroup complexes, Ann. of Math. 155 (2002) 405-457.
  15. S. Jackowski, J. McClure, B. Oliver, Homotopy classification of self-maps of BG via G-actions, Ann. of Math. 135 (1992) 184-270 .
  16. 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.
  17. S. Jackowski, B. Oliver, Vector bundles over classifying spaces of compact Lie groups, Acta Math 176 (1996) 109-143.
  18. M. Jackson, Vector bundles over B G   whose Euler classes are effective, Thesis Purdue Univ. 2001.
  19. J. Martino, S. Priddy, On the cohomology and homotopy of Swan groups, Math. Z. 225 (1997) 277-288.
  20. G. Mislin, C. Thomas, On the homotopy set [ B π , B G ]   with π   Finite and G   a compact connected lie group, Quart. J. Math. Oxford 40 (1989) 65-78.
  21. M. Suzuki, Group Theory II, Springer-Verlag, New York, 1986.
  22. R. Thomas, On 2   -groups of small rank admitting an automorphism of prime order p > 3   , J. Algebra 125 (1989) 1-12.
  23. R. Thomas, On 2   -groups of small rank admitting an automorphism of prime order p = 3   , J. Algebra 125 (1989) 27-35.
  24. Z. Wojtkowiak, On maps from holim F   to Z   ,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