Is the Lie algebra of the solvable radical of an algebraic group G always the solvable radical of Lie(G)?
Clash Royale CLAN TAG#URR8PPP
up vote
0
down vote
favorite
Assume everything is defined oder the field k. If $char(k)=p>0$, then there is a counter-example:
It is well known that $SL_p(k)$ is semisimple, i.e. the radical is trivial. So the Lie algebra of its radical will also be trivial, but the radical of $sl(2,p)$ is not trivial as the scalar matrices $k^times I_p$ are then contained in $sl(2,p)$ and they form an abelian (hence solvable) ideal.
Does the result work on characteristic $0$ or is there also a counterexample?
algebraic-geometry
add a comment |Â
up vote
0
down vote
favorite
Assume everything is defined oder the field k. If $char(k)=p>0$, then there is a counter-example:
It is well known that $SL_p(k)$ is semisimple, i.e. the radical is trivial. So the Lie algebra of its radical will also be trivial, but the radical of $sl(2,p)$ is not trivial as the scalar matrices $k^times I_p$ are then contained in $sl(2,p)$ and they form an abelian (hence solvable) ideal.
Does the result work on characteristic $0$ or is there also a counterexample?
algebraic-geometry
I meant $sl(p,k)$ instead of $sl(2,p)$
â Yann
Jul 25 at 14:10
add a comment |Â
up vote
0
down vote
favorite
up vote
0
down vote
favorite
Assume everything is defined oder the field k. If $char(k)=p>0$, then there is a counter-example:
It is well known that $SL_p(k)$ is semisimple, i.e. the radical is trivial. So the Lie algebra of its radical will also be trivial, but the radical of $sl(2,p)$ is not trivial as the scalar matrices $k^times I_p$ are then contained in $sl(2,p)$ and they form an abelian (hence solvable) ideal.
Does the result work on characteristic $0$ or is there also a counterexample?
algebraic-geometry
Assume everything is defined oder the field k. If $char(k)=p>0$, then there is a counter-example:
It is well known that $SL_p(k)$ is semisimple, i.e. the radical is trivial. So the Lie algebra of its radical will also be trivial, but the radical of $sl(2,p)$ is not trivial as the scalar matrices $k^times I_p$ are then contained in $sl(2,p)$ and they form an abelian (hence solvable) ideal.
Does the result work on characteristic $0$ or is there also a counterexample?
algebraic-geometry
asked Jul 25 at 14:05
Yann
11
11
I meant $sl(p,k)$ instead of $sl(2,p)$
â Yann
Jul 25 at 14:10
add a comment |Â
I meant $sl(p,k)$ instead of $sl(2,p)$
â Yann
Jul 25 at 14:10
I meant $sl(p,k)$ instead of $sl(2,p)$
â Yann
Jul 25 at 14:10
I meant $sl(p,k)$ instead of $sl(2,p)$
â Yann
Jul 25 at 14:10
add a comment |Â
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2862445%2fis-the-lie-algebra-of-the-solvable-radical-of-an-algebraic-group-g-always-the-so%23new-answer', 'question_page');
);
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
I meant $sl(p,k)$ instead of $sl(2,p)$
â Yann
Jul 25 at 14:10