Partition the conjugacy class into its orbits under conjugation by . Since none of its elements centralizes , each orbit has size , a power of . All elements of such an orbit have the same image in , because conjugation by an element of does not alter an -coset. Its orbit sum therefore has image
in characteristic . Summing over the orbits proves . This does not require ; that additional assumption is used in the block and Cartan conclusions proved in the root Solution.

Articles by others on the same topic (0)

There are currently no matching articles.