ITÔ’S THEOREM AND MONOMIAL BRAUER CHARACTERS

arXiv:1703.02452v1 [math.GR] 7 Mar 2017

XIAOYOU CHEN AND MARK L. LEWIS
Abstract. Let G be a finite solvable group, and let p be a prime. In this
note, we prove that p does not divide ϕ(1) for every irreducible monomial
p-Brauer character ϕ of G if and only if G has a normal Sylow p-subgroup.

Throughout this paper, all groups are finite. In [4], Pang and Lu show that the
properties of solvable groups coming from the degrees of the irreducible characters can be determined using only the degrees of the monomial irreducible characters. In other words, for solvable groups, the monomial irreducible characters
are plentiful enough to be used in the place of the irreducible characters.
In particular, Pang and Lu prove in Theorem 1.3 of [4] if G is solvable and p
is a prime, then p does not divide χ(1) for every monomial character χ ∈ Irr(G)
if and only if G has a normal Sylow p-subgroup. Hence, Pang and Lu are able to
generalize the normal Sylow subgroup portion of Itô’s theorem (Corollary 12.34
of [1]). Note that the degrees of irreducible monomial characters for the group
SL(2, 3) are 1 and 3, and the normal Sylow 2-subgroup of SL(2, 3) is not abelian,
so they are not able to recover the full strength of Itô’s theorem in this situation.
Itô also proved his theorem for Brauer characters of p-solvable groups. In this
case also, only the normality of Sylow subgroup is recovered. See Theorem 13.1
(b) and (c) of [2]. Our main theorem is to prove for solvable groups that we only
need the monomial Brauer characters to prove this result.
Theorem. Let G be a solvable group and let p be a prime. Then G has a normal
Sylow p-subgroup if and only if p does not divide ϕ(1) for every monomial Brauer
character ϕ ∈ IBr(G).
Observe that the hypothesis G being solvable cannot be entirely dropped. For
example, let G = S5 be the symmetric group of degree 5, and p = 2. It is easy
to see that S5 has no subgroup of order 30, so none of the nonlinear irreducible
2-Brauer characters of G are monomial since they have degree 4. Obviously, G
has no normal Sylow 2-subgroup. At this time, we have not determined if we can
weaken solvable hypothesis to p-solvable. Our proof is motivated by the proof of
Theorem 1.3 in [4].
Date: March 8, 2017.
2010 Mathematics Subject Classification. Primary 20C20; Secondary 20C15.
Key words and phrases. Solvable group; Itô’s theorem; monomial p-Brauer character.
1

2

XIAOYOU CHEN AND M. L. LEWIS

Proof of Theorem. If a Sylow p-subgroup P is normal in G, then P = Op (G)
is contained in the kernel of every irreducible p-Brauer character of G. Thus,
IBr(G) = IBr(G/P ) = Irr(G/P ). Since G/P is a p′ -group, we have for every
Brauer character ϕ ∈ IBr(G) that p does not divide ϕ(1).
Conversely, suppose that p does not divide ϕ(1) for every monomial Brauer
character ϕ ∈ IBr(G). Let N be a minimal normal subgroup of G, and let P
be a Sylow p-subgroup of G. By induction G/N has a normal Sylow p-subgroup
P N/N, and so, P N is normal in G. If N is a p-group, then P N = P . Thus,
P is normal in G as desired. Thus, we may assume that N is an elementary
abelian q-group for some prime q 6= p. By the Frattini argument it follows that
G = NP NG (P ) = NNG (P ). Since N ∩ NG (P ) is normal in NG (P ) and N is
abelian, N ∩ NG (P ) will be normal in NNG (P ) = G. The minimality of N
implies that either N ≤ NG (P ) or N ∩ NG (P ) = 1. If N ≤ NG (P ), then
G = NG (P ) and P is normal in G as desired.
We assume that N ∩ NG (P ) = 1. Let 1N 6= λ ∈ IBr(N) = Irr(N), and take
T to be the inertia group of λ in G. Since N is complemented in G, it follows
that N is complemented in T . Using Problem 6.18 of [1], we see that λ extends
to ν ∈ Irr(T ). Taking µ to be the restriction of ν to the p-regular elements of T ,
we see that µ ∈ IBr(T ) and µN = λ. Applying the Clifford correspondence for
Brauer characters, [3, Theorem 8.9], we have ϕ = µG ∈ IBr(G). This implies that
ϕ is monomial with degree |G : T |. By hypothesis, p does not divide ϕ(1) = |G :
T |. It follows that T contains some Sylow p-subgroup of G and without loss of
generality, we may assume that P ≤ T . Now, for all elements x ∈ P and n ∈ N,
−1 −1
we have λ(n) = λx (n) = λ(xnx−1 ). Since λ is linear,
T we obtain λ(xnx n ) = 1.
Because λ is arbitrary, it follows that [P, N] ≤ λ∈IBr(N ) ker λ = 1. Therefore, N
normalizes P . This implies that P is a characteristic subgroup of NP , and thus,
P is a normal subgroup of G.

Acknowledgments
The first author thanks the support of China Scholarship Council, Department
of Mathematical Sciences of Kent State University for its hospitality, Funds of
Henan University of Technology (2014JCYJ14, 2016JJSB074, 26510009), Project
of Department of Education of Henan Province (17A110004), Projects of Zhengzhou Municipal Bureau of Science and Technology (20150249, 20140970), and
the NSFC (11571129).
References
[1] I. M. Isaacs, Character Theory of Finite Groups, Academic Press, New York, 1976.
[2] O. Manz, T. R. Wolf, Representations of solvable groups, Cambridge University Press,
Cambridge, 1993.
[3] G. Navarro, Characters and blocks of finite groups, Cambridge University Press, Cambridge, 1998.

ITÔ’S THEOREM AND MONOMIAL BRAUER CHARACTERS

3

[4] L. Pang and J. Lu, Finite groups and degrees of irreducible monomial characters, J.
Algebra Appl. 15 (2016), 1650073 (4 pages).
College of Science, Henan University of Technology, Zhengzhou 450001,
China
E-mail address: cxymathematics@hotmail.com
Department of Mathematical Sciences, Kent State University, Kent, OH
44242, USA
E-mail address: lewis@math.kent.edu

