Table of Contents
Fetching ...

$M$-groups and Codegrees; $M_{p}$-groups and Brauer Character Degrees

Xiaoyou Chen, Mark L. Lewis

TL;DR

This work investigates how the set of codegrees of irreducible characters and the degrees of Brauer characters constrain the structure of finite groups. It proves that a group with exactly three codegrees must be an $M$-group, hence solvable and monomial, and that every $M$-group is an $M_p$-group for all primes $p$. It also shows that if every nonlinear irreducible ($p$-)Brauer character of $G$ has prime degree, then for any normal subgroup $N$ either $G'N\subseteq PN$ or $N'\subseteq P$ (where $P$ is a Sylow $p$-subgroup), implying that either $G/N$ or $N$ is an $M_p$-group. The results illuminate how codegree and Brauer-character-degree constraints influence subgroup structure and solvability, with examples illustrating the limits of converses and the necessity of certain hypotheses.

Abstract

Let $G$ be a finite group and $p$ be a prime. We prove that if $G$ has three codegrees, then $G$ is an $M$-group. We prove for some prime $p$ that if every irreducible Brauer character of $G$ is a prime, then for every normal subgroup $N$ of $G$ either $G/N$ or $N$ is an $M_p$-group.

$M$-groups and Codegrees; $M_{p}$-groups and Brauer Character Degrees

TL;DR

This work investigates how the set of codegrees of irreducible characters and the degrees of Brauer characters constrain the structure of finite groups. It proves that a group with exactly three codegrees must be an -group, hence solvable and monomial, and that every -group is an -group for all primes . It also shows that if every nonlinear irreducible (-)Brauer character of has prime degree, then for any normal subgroup either or (where is a Sylow -subgroup), implying that either or is an -group. The results illuminate how codegree and Brauer-character-degree constraints influence subgroup structure and solvability, with examples illustrating the limits of converses and the necessity of certain hypotheses.

Abstract

Let be a finite group and be a prime. We prove that if has three codegrees, then is an -group. We prove for some prime that if every irreducible Brauer character of is a prime, then for every normal subgroup of either or is an -group.

Paper Structure

This paper contains 2 sections, 4 theorems, 4 equations.

Table of Contents

  1. Introduction
  2. Proofs

Key Result

Theorem 1

If $G$ is a group with $|{\rm cod} (G)| \leq 3$, then $G$ is an $M$-group.

Theorems & Definitions (7)

  • Theorem 1
  • Theorem 2
  • Theorem 2.1
  • proof
  • proof : Proof of Theorem \ref{['theorem2']}
  • Proposition 2.2
  • proof