## subgroups of a $p$-solvable group and complete reducibility

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

1.

Let $G$ be a $p$-solvable group and $V$ be a finite dimensional faithful $kG$-module, where the characteristic of $k$ is $p$. But $V$ is not a semisimple $kG$-module. For every $n\geq 0$, we define $End_{k}^{0}(V)=V$ and $End_{k}^{n}(V)=End_{k}(End_{k}^{n-1}(V))$ when $n>0$.

Let $L$ be a subgroup of $G$ such that $End_{k}^{n}(V)$ is a semisimple $kL$-module for every $n\geq 0$.

Is $L$ a $p'$-subgroup?

2.

Let $V$ be a 2-dimensional vector space over a field $k$ of characteristic $p$ and $G$ be a $p$-solvable subgroup of $GL(V)$, where $p$ is a prime number larger than than 5. But $V$ is not a semisimple $kG$-module.

Let $L$ be a subgroup of $G$ such that $V$ is a semisimple $kL$-module.

Is $L$ a $p'$-subgroup?

-

## 1 Answer

The answer to the second question is yes: As $G$ is reducible, this is true for $L$ even more. As $V$ is a semisimple $L$-module, $V$ is a sum of two $1$-dimensional $L$-modules. So $L$ is conjugate to a group of diagonal matrices. But elements of finite multiplicative order in $k$ have $p'$-order.

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 45, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.3, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.8364539742469788, "perplexity_flag": "head"}