In characteristic , a Sylow subgroup of is a Klein four-group, and its normalizer is . Since has one block, Brauer first main theorem gives a unique block of with defect . No order-two subgroup can be a defect group of a block: both and equal , so the Brauer morphisms of a central block idempotent at and at are equal. A nonzero image is , since a group algebra of a p-group in characteristic p is local, and consequently is not maximal among subgroups with nonzero Brauer image.
Normalizer condition for finite p-groups Created 2026-10-06 Updated 2026-10-07
Every proper subgroup of a finite p-group is properly contained in its normalizer. Let act on the left cosets by left multiplication. The fixed cosets are those represented by elements of , so there are of them. All other orbits of a group action have sizes divisible by . Since is divisible by and at least one coset is fixed, the fixed-coset count is a positive multiple of . This also proves .
Over the reals or a finite field with more than two elements, the normalizer of all invertible diagonal matrices in consists of monomial matrices and has quotient over that diagonal subgroup. Over its size is for . For the diagonal subgroup is trivial, so its normalizer is all of , of order six.