Local group rings

238 Views Asked by At

Let $k$ be a field of characteristic $p$ and $G$ a finite group. How do you prove that if $kG$ is local then $G$ is a $p$-group? (I know how to prove the converse but not this implication).

1

There are 1 best solutions below

2
On BEST ANSWER

A theorem of Brauer says that the number of simple $kG$-modules (up to isomorphism) is equal to the number of conjugacy classes of $p$-regular elements of $G$ ($g \in G$ being $p$-regular means the order of $g$ is not divisible by $p$).

If $G$ is not a $p$-group, there are at least two such conjugacy classes. Thus there are at least two simple $kG$-modules, hence at least two indecomposable projective $kG$-modules. This in turn means that the regular $kG$-module $_{kG} kG$ is not indecomposable, hence its endomorphism algebra, which is ${kG}^\text{op} \cong kG$ is not local.