Regard the block algebra as an -module through left and right multiplication,
A defect group of a block is a p-subgroup for which is a vertex of an indecomposable summand determining the block; equivalently, is maximal with
under the Brauer morphism. The uniqueness of vertices up to conjugacy in , together with the diagonal form of these vertices, shows that any two such are conjugate in . Hence