退出

Is $k(G/S_p)$ a semi-simple $k(G)$-module?

代数数论 Math StackExchange 0 票 0 回答 17 浏览 提问者: Naveen Kumar 2026-06-30 22:15
abstract-algebra finite-groups representation-theory algebraic-number-theory irreducible-representation

问题内容

Let $G$ be a finite group, let $k$ be a field of characteristic $p$, and let $S_p$ be a Sylow $p$-subgroup of $G$. It is a well-known fact from modular representation theory that every irreducible representation factors through any normal $p$-subgroup of $G$. In particular, it factors through the maximal normal $p$-subgroup, i.e., $N = \cap_{g \in G}gS_pg^{-1}$. Also, every semisimple module factors through $N$.

I want to prove this is the best that can be done, i.e., there exists a semisimple module whose kernel is exactly $N$. Here $V = k(G/S_p)$ satisfies that the kernel is exactly $N$, but I am unable to prove that it is semisimple.

Any suggestion on how to prove the semisimplicity of $V$ (if it is semisimple) or any alternate methods to prove the original question would be greatly appreciated.
Thank you.

回答 (0)

暂无回答记录。