Math 2.0

Group theory and generalizations Classification of finite simple groups Conjecture

Brauer's height zero conjecture

Builds on GroupSylow p-subgroupCharacter of a representationIrreducible representationGroup algebra

Statement

Let GG be a finite group and let pp be a prime. Let BB be a pp-block of GG, that is, a block of the group algebra of GG over an algebraically closed field of characteristic pp. Let DD be a defect group of BB. Write ∣G∣p=pa\abs{G}_p = p^a and ∣D∣=pd\abs{D} = p^d. Each complex irreducible character χ\chi in BB has degree χ(1)\chi(1) with pp-part χ(1)p=pa−d+h\chi(1)_p = p^{a - d + h} for an integer h≥0h \ge 0, the height of χ\chi. Then every irreducible character in BB has height 00 if and only if DD is abelian.

Remarks

Richard Brauer posed the conjecture in 1955. For the principal block, a defect group is a Sylow pp-subgroup of GG. The direction "if DD is abelian, then all heights are zero" was proved by Kessar and Malle in 2013, using the classification of finite simple groups. The converse direction was proved by Malle, Navarro, Schaeffer Fry and Tiep, so the conjecture is now a theorem. For pp-solvable groups the conjecture was proved earlier by Gluck and Wolf.

Reading path

To understand this page from the ground up, read these 6 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Character of a representation concept
  2. Group concept
  3. Group algebra concept
  4. Irreducible representation concept
  5. Sylow p-subgroup concept
  6. Brauer's height zero conjecture conjecture

Further reading

  1. Web https://en.wikipedia.org/wiki/Brauer%27s_height_zero_conjecture
About this page
Tag5M0HYY3RYV
URIm2://5M0HYY3RYV
Kindconjecture
WritingW0 stub
MSC20C20, 20C15
StatusThis copy of the site has no build data. Run m2 status 5M0HYY3RYV.
AboutCharacter of a representation
UsesGroup, Sylow p-subgroup, Character of a representation, Irreducible representation, Group algebra
Same as
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.