We will start with a lemma that will be used in the proof of Proposition
36 .
Lemma 33.
Let
$G$
be a finite group, let
$n=rk\left(G\right)$
, let
$p$
a prime divisor of
$\leftG\right$
with
$r{k}_{p}\left(G\right)=n$
, and let
${G}_{p}\in Sy{l}_{p}\left(G\right)$
. If
${G}_{p}$
is abelian,
${G}_{p}\u22b2G$
, or
$G$
is
$p$
nilpotent, then
$G$
has a
$p$
effective character.

Proof.
In each case we will show that
$G$
has a
$p$
effective character by showing that
$Z\left({G}_{p}\right)$
is strongly closed in
${G}_{p}$
with respect to
$G$
using Proposition 22 . If
${G}_{p}$
is abelian,
$Z\left({G}_{p}\right)={G}_{p}$
is obviously strongly closed in
${G}_{p}$
with respect to
$G$
(see Corollary 21 ). In the case where
${G}_{p}\u22b2G$
,
$Z\left({G}_{p}\right)\u22b2G$
because
$Z\left({G}_{p}\right)$
is a characteristic subgroup of
${G}_{p}$
; therefore,
$Z\left({G}_{p}\right)$
is strongly closed in
${G}_{p}$
with respect to
$G$
. If
$G$
is
$p$
nilpotent then two elements of
${G}_{p}$
are conjugate in
$G$
if and only if they are conjugate in
${G}_{p}$
. Thus, in this case also,
$Z\left({G}_{p}\right)$
is strongly closed in
${G}_{p}$
with respect to
$G$
. □
Lemma 34.
If
$P$
is a dihedral or semidihedral 2group such that
$\leftP\right={2}^{n}$
with
$n\ge 3$
, then there is a character
$\chi $
of
$P$
such that
$\chi \left(g\right)=\{\begin{array}{cc}3*{2}^{n3}& \text{if}g=1\text{}\\ {2}^{n3}& \text{if}g\text{is an involution}\\ {2}^{n3}& \text{otherwise.}\end{array}$

Proof.
Let
$N$
be the commutator subgroup
$[P,P]$
and notice that
$P/N\sim =\mathbb{Z}/2\times \mathbb{Z}/2$
. There is a nontrivial irreducible character
$\lambda $
of
$P/N$
with
$\lambda \left(gN\right)=1$
for
$g\in Z\left(P\right)$
(recall
$Z\left(P\right)\sim =\mathbb{Z}/2$
). If
$g\in P\backslash Z\left(P\right)$
is an involution, then
$\lambda \left(gN\right)=1$
. Let
$\rho \left(g\right)=\lambda \left(gN\right)$
, which is a character of
$P$
.
We will define another character of
$P$
by first inductively defining a character of each
${D}_{{2}^{m}}$
.
We start by letting
${\psi}_{3}$
be the character of
${D}_{8}$
such that
${\psi}_{3}\left(g\right)=\{\begin{array}{cc}2& \text{if}g=1\text{}\\ 2& \text{if}g\in Z\left({D}_{8}\right)\backslash \left\{1\right\}\text{}\\ 0& \text{otherwise.}\end{array}$
For the induction, let
${\psi}_{k}=In{d}_{{D}_{{2}^{k1}}}^{{D}_{{2}^{k}}}{\psi}_{k1}$
.
${\psi}_{k}$
is a character of
${D}_{{2}^{k}}$
for each
$k\ge 3$
. We see that if
$P$
is dihedral, then
$\chi =\rho +{\psi}_{n}$
, and Lemma 34 holds for dihedral 2groups. On the other hand, if
$P$
is semidihedral,
$\chi =\rho +In{d}_{{D}_{{2}^{n1}}}^{P}{\psi}_{n1}$
. □
Lemma 35.
Let
$G$
be a finite group with
${G}_{2}\in Sy{l}_{2}\left(G\right)$
a wreathed 2group.
If
$rk\left(G\right)=2$
and
$G$
does not have a normal subgroup of index 2, then
$G$
has a 2effective character.
Proposition 36 (Jackson [21] ).
If
$G$
is a finite group with a dihedral, semidihedral, or wreathed Sylow 2subgroup such that
$rk\left(G\right)=2$
, then
$G$
has a 2effective character.
To conclude Section 5 , we state the following theorem whose proof has now been completed.
Theorem 37.
For any rank two finite group
$G$
,
$G$
has a 2effective character.
6 Counterexample
Looking at the last section, one may wonder if a similar argument can be made for odd primes; however, this is not the case. We will show the following proposition, which will show that there are rank two finite groups that do not have a
$p$
effective character for each odd prime
$p$
:
Proposition 38.
Let
$p$
be an odd prime and
${T}_{p}$
be the semidirect product
$({\mathbb{Z}}_{p}\times {\mathbb{Z}}_{p}){\mathbb{\setminus}}_{\theta}S{L}_{2}\left({\mathbb{F}}_{p}\right)$
where the action
$\theta $
is given by the obvious inclusion
$S{L}_{2}\left({\mathbb{F}}_{p}\right)\to G{L}_{2}\left({\mathbb{F}}_{p}\right)\sim =Aut({\mathbb{Z}}_{p}\times {\mathbb{Z}}_{p})$
. If
$G$
is a finite group such that
$G/{O}_{p\prime}\left(G\right)\sim ={T}_{p}$
, then
$G$
does not have a
$p$
effective character.

Proof.
Let
${G}_{p}\in Sy{l}_{p}\left(G\right)$
. Notice that
${G}_{p}$
, which is a Sylow
$p$
subgroup of
${T}_{p}$
, is an extraspecial
$p$
group of size
${p}^{3}$
and exponent
$p$
. Let
${\chi}_{1},...,{\chi}_{n}$
be the irreducible characters of
${G}_{p}$
and assume that
${\chi}_{1}$
is the trivial character. Notice from the structure of
${G}_{p}$
that if
${\chi}_{i}\left(1\right)\ne 1$
, then for
$g\in {G}_{p}$
,
${\chi}_{i}\left(g\right)\ne 0$
if and only if
$g\in Z\left({G}_{p}\right)$
. Also notice that
$Z\left({G}_{p}\right)$
is cyclic of order
$p$
and
$Z\left({G}_{p}\right)$
is not strongly closed in
${G}_{p}$
with respect to
$G$
. Let
$x\in Z\left({G}_{p}\right)$
and
$y\in {G}_{p}\backslash Z\left({G}_{p}\right)$
such that there is a
$g\in G$
with
${y}^{g}=x$
. Suppose
$\chi $
is a character of
${G}_{p}$
that is a
$p$
effective character of
$G$
. There exists
${a}_{1},...,{a}_{n}\in {\mathbb{Z}}_{\ge 0}$
such that
$\chi ={\sum}_{i=1}^{n}{a}_{i}{\chi}_{i}$
. Since
$\chi $
is a
$p$
effective character of
$G$
, it respects fusion in
$G$
, which implies
$\chi \left(x\right)=\chi \left(y\right)$
and
${a}_{1}=0$
. Suppose that
${a}_{i}>0$
for some
$i>1$
with
${\chi}_{i}\left(1\right)=1$
. Fixing this
$i$
, let
${E}_{i}=\{g\in {G}_{p}{\chi}_{i}\left(g\right)=1\}$
. Notice that for such an
$i$
,
${E}_{i}$
is a rank two elementary abelian subgroup of
${G}_{p}$
. This implies that
$[{\chi}_{i}{}_{{E}_{i}},{1}_{{E}_{i}}]=1$
, so
$[\chi {}_{{E}_{i}},{1}_{{E}_{i}}]>0$
, which contradicts the assumption that
$\chi $
is a
$p$
effective character of
$G$
; therefore, for each
$i$
such that
${\chi}_{i}\left(1\right)=1$
,
${a}_{i}=0$
. Now
$$\chi \left(x\right)={\sum}_{i\text{such that}{\chi}_{i}\left(1\right)\ne 1}{a}_{i}{\chi}_{i}\left(x\right)+{\sum}_{i\text{such that}{\chi}_{i}\left(1\right)=1}{a}_{i}$$
$$={\sum}_{i\text{such that}{\chi}_{i}\left(1\right)=1}{a}_{i}{\chi}_{i}\left(y\right)=\chi \left(y\right).$$
So
$\chi \left(y\right)=0$
; therefore,
$\chi \left(x\right)=0$
. Since
$Z\left({G}_{p}\right)$
is a cyclic group of order
$p$
,
$\chi \left(z\right)=0$
for all
$z\in Z\left({G}_{p}\right)\backslash \left\{1\right\}$
. Notice that in showing
$\chi \left(z\right)=0$
for each
$z\in Z\left({G}_{p}\right)\backslash \left\{1\right\}$
, we know that
$\chi \left(g\right)=0$
for all
$g\in {G}_{p}\backslash Z\left({G}_{p}\right)$
by the structure of
$G$
; thus,
$\chi \left(g\right)=0$
for all
$g\in {G}_{p}\backslash \left\{1\right\}$
. So we see that
$\chi $
must be identically zero, which contradicts the definition of
$p$
effective character. □
Lemma 39.
Let
$G$
be a finite group with
$p$
a prime dividing
$\leftG\right$
and
$H\subseteq G$
.
Suppose that
$p$
divides
$\leftH\right$
and that
$r{k}_{p}\left(G\right)=r{k}_{p}\left(H\right)$
. If
$G$
has a
$p$
effective character, so does
$H$
.

Proof.
We may assume that
$r{k}_{p}\left(H\right)=rk\left(G\right)$
; otherwise the result is obvious. Let
${G}_{p}\in Sy{l}_{p}\left(G\right)$
such that
${H}_{p}={G}_{p}\cap H\in Sy{l}_{p}\left(H\right)$
. Let
$\chi $
be a character of
${G}_{p}$
that is a
$p$
effective character of
$G$
. Obviously
$\chi {}_{{H}_{p}}$
is a character of
${H}_{p}$
, which is not identically zero. Since
$\chi $
respects fusion in
$G$
,
$\chi {}_{{H}_{p}}$
respects fusion in
$H$
. Any maximal rank elementary abeliansubgroup of
${H}_{p}$
is also a maximal rank elementary abelian subgroup of
${G}_{p}$
. The lemma follows easily from this. □
Combining Lemma 39 with Theorems 29 and 37 , we get the following theorem from which Corollary 17 follows:
Theorem 40.
Let
$G$
be a finite group of rank two and let
$p$
be a prime dividing
$\leftG\right$
.
$G$
has
$p$
effective character if and only if either
$p=2$
or both
$p>2$
and
$G$
does not contain a subgroup
$H$
such that
$H/{O}_{p\prime}\left(H\right)\sim ={T}_{p}$
.
In showing that a finite group
$G$
of rank two acts freely on a finite complex
$Y\simeq {\mathbb{S}}^{n}\times {\mathbb{S}}^{m}$
, we actually showed that
$G$
acts on a finite complex
$X\simeq {\mathbb{S}}^{m}$
with isotropy groups of rank one and then applied Theorem 3 . Ozgun Unlu [25] has shown that for each odd prime
$p$
,
${T}_{p}$
cannot act on any finite complex homotopy equivalent to a sphere with rank one isotropy groups.
From Unlu's proof it is clear that for any odd prime p and group
$H$
, such that for a normal
${p}^{\prime}$
subgroup
$N\u22b2H$
,
$H/N\sim ={T}_{p}$
,
$H$
cannot act on any finite complex homotopy equivalent to a sphere with rank one isotropy groups.
Combining the result of Unlu with Theorem
40 and the discussion in Section 2 , we conclude with the following proposition:
Proposition 41.
Let
$G$
be a finite group of rank two.
$G$
acts on some finite complex homotopy equivalent to a sphere with rank one isotropy groups if and only if for each prime
$p$
,
$G$
does not contain a subgroup
$H$
such that
$H/{O}_{p\prime}\left(H\right)\sim ={T}_{p}$
.
References

A. Adem, J. Smith, On spaces with periodic cohomology, Electron. Res. Announc. Amer. Math. Soc. 6 (2000) 16.

A. Adem, J. Smith, Periodic complexes and group actions, Ann. of Math. (2) 154 (2001) 407435.

J.L. Alperin, Sylow Intersections and Fusion, J. Algebra 6 (1967) 222241.

J.L. Alperin, R. Brauer, D. Gorenstein, Finite groups with quasidihedral and wreathed Sylow 2subgroups, Trans. Amer. Math Soc. 151 (1970) 1261.

J.L. Alperin, R. Brauer, D. Gorenstein, Finite simple groups of 2rank two, Scripta Math. 29 (1973) 191214.

M. Aschbacher, Finite Group Theory, Cambridge studies in advanced mathematics, vol. 10, Cambridge Press, New York, 1986.

D. Benson, J. Carlson, Complexity and Multiple Complexes, Math. Zeit. 195, (1987) 221238.

N. Blackburn, Generalizations of Certain Elementary Theorem on
$p$
Groups, Proc. London Math. Soc. 11, (1961) 122.

R. Brauer, W.J. Wong, Some properties of finite groups with wreathed Sylow 2subgroup, J. Alg. 19 (1971) 263273.

A. Diaz, A. Ruiz, A Viruel, All
$p$
local grops of rank two for odd prime
$p$
, (in preparation).

J. Dietz, S. Priddy, The Stable Homotopy Type of Rank Two
$p$
Groups, in Homotopy Theory and its Applications (Cocoyoc, 1993), Contemp. Math. 188, Amer. Math. Soc. (1995) 93103.

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. 106119.

D. Gorenstein, Finite Groups, Harper & Row, New York, 1968.

J. Grodal, Higher limits via subgroup complexes, Ann. of Math. 155 (2002) 405457.

A. Heller, A Note on Spaces with Operators, Illinois J. Math. 3 (1959) 98100.

J. Higman, Suzuki 2groups, Ill. J. Math. 7 (1962) 7996.

I.M. Isaacs, Character Theory of Finite Groups, Academic Press, New York, 1976.

A. Ruiz, A. Viruel, The classification of
$p$
local finite groups over the extraspecial group of order
${p}^{3}$
and exponent
$p$
, Math. Ziet. (to appear).

A. IshShalom, On Sylow intersections, Bull. Austral. Math. Soc. 16 (1977) 237246.

M. Jackson, A quotient of the set
$[BG,BU(n\left)\right]$
for a finite group
$G$
of small rank, J. Pure and Applied Alg. 188 (2004) 161174.

M. Jackson, Vector bundles over
$BG$
whose Euler classes are effective, Ph.D. Thesis Purdue Univ. 2001.

J. Martino, S. Priddy, On the Cohomology and Homotopy of Swan Groups, Math. Z. 225 (1997) 277288.

M. Suzuki, Group Theory II, SpringerVerlag, New York, 1986.

R.G. Swan, Periodic Resolutions for Finite Groups, Ann. of Math. 72 (1960) 267291.

O. Unlu, Ph.D. Thesis University of Wisconsin at Madison 2004.
Department of Mathematics, Hylan Building, University of Rochester, Rochester, NY 14627, USA, mjackson@math.rochester.edu