Skip to main content
1 of 4

Soluble group algebras and centralizers

Let $K$ be field with $\mathrm{char}(K) = p > 0$ and $G$ a finite group such that $KG$ is soluble. Then the $p$-Sylow-subgroup of $G$ is normal and contains the derived group of $G$ and every $p'$-Hall-subgroup $H$ is abelian. The radical $J=\mathrm{rad}(KG)$ of $KG$ is $\mathrm{Aug}(KP)KG$ and $KH$ is a radical complement.

I investigated the following: Take a unital subalgebra $T$ of $KH$ and determine $C_J(T)$ and afterwards $C_{KH}(C_J(T))$. Then $T$ is a subalgebra of $C_{KH}(C_J(T))$.

I could proove that starting this process again with $C_{KH}(C_J(T))$ then its stable. I describe for $T=KU$ and $U$ a subgroup of $H$ the subalgebras $C_J(T)$ and $C_{KH}(C_J(T))$ using group operation, too. In particular its possible to answer when $KU$ is stable under this construction, when not and when it reaches $KH$ or $Z(KG)\cap KH$.

My question is whether there are any ideas for a general unital subalgebra of $KH$ (maybe under the restriction that $K$ is a splitting field of $KH$. In this case the subalgebras are known by using the primitive othogonal idempotents in $KH$ (see Scheja & Storch). They can be contructed by the orthogonal idempotents using partitions).