$mathbb Q$-simple algebraic groups and restriction of scalars.
$begingroup$
I'm trying to understand the following statement:
Any simply connected $mathbb{Q}$-simple (algebraic) group has the form $mathbf{R}_{F/mathbb{Q}}(G)$ where $F$ is some field containing $mathbb{Q}$, $G$ is an almost simple $F$-group and $mathbf{R}_{F/mathbb{Q}}$ is the restriction of scalars functor.
This statement appears in the book 'Algebraic groups and number theory' by Platunov and Rapinchuk on page 77. It seems to be stated there as a kind of trivial observation. To me it seems like a non-trivial fact for which I'd like justification for. I can imagine trying to justify it by considering the action of the Galois group of the field extension (assuming it is Galois) and showing that the action on the factors of a $mathbb{Q}$-simple group must be transitive. Is this the right idea? Or is there something simpler?
group-theory number-theory algebraic-groups
$endgroup$
add a comment |
$begingroup$
I'm trying to understand the following statement:
Any simply connected $mathbb{Q}$-simple (algebraic) group has the form $mathbf{R}_{F/mathbb{Q}}(G)$ where $F$ is some field containing $mathbb{Q}$, $G$ is an almost simple $F$-group and $mathbf{R}_{F/mathbb{Q}}$ is the restriction of scalars functor.
This statement appears in the book 'Algebraic groups and number theory' by Platunov and Rapinchuk on page 77. It seems to be stated there as a kind of trivial observation. To me it seems like a non-trivial fact for which I'd like justification for. I can imagine trying to justify it by considering the action of the Galois group of the field extension (assuming it is Galois) and showing that the action on the factors of a $mathbb{Q}$-simple group must be transitive. Is this the right idea? Or is there something simpler?
group-theory number-theory algebraic-groups
$endgroup$
$begingroup$
As stated, it's a tautology (take $F=Q$). I think the correct statement includes "... $G$ is an almost absolutely simple $F$-group...". Also $F$ has to be a finite extension.
$endgroup$
– YCor
Dec 5 '18 at 23:21
$begingroup$
Well you are right that in Platanov and Rapinchuk they say absolutely simple. But they say that absolutely simple means 'no nontrvial normal connected subgroups', but I thought I'd also heard this property called almost simple so I thought they meant the same thing... The fact that F is a finite extension should follow from the construction.
$endgroup$
– Orbit
Dec 6 '18 at 11:42
$begingroup$
This is because there are two ways of putting the algebraic geometry language. In most modern algebraic geometry treaties, including algebraic group treaties, one considers object primarily over an algebraic closed field, and then considers things (subgroups, etc) defined over some given subfield $F$. So it can happen that there are some nontrivial normal subgroup (which is the failure of being "absolutely simple" or even "simple"), but there are no nontrivial $F$-defined normal subgroup (which is called being "$F$-simple", and also "simple"). Whence the confusion.
$endgroup$
– YCor
Dec 6 '18 at 12:33
$begingroup$
Yes I understand that this is what can happen. But I'm still not sure why the original statement is a triviality. Another way to put it: why is any $mathbb{Q}$-simple group (no nontrivial normal $mathbb{Q}$-subgroups) is just a direct product of the Galois conjugates of an absolutely simple group defined over another field $F$ (which is a finite extension of $mathbb{Q}$)?
$endgroup$
– Orbit
Dec 6 '18 at 13:38
add a comment |
$begingroup$
I'm trying to understand the following statement:
Any simply connected $mathbb{Q}$-simple (algebraic) group has the form $mathbf{R}_{F/mathbb{Q}}(G)$ where $F$ is some field containing $mathbb{Q}$, $G$ is an almost simple $F$-group and $mathbf{R}_{F/mathbb{Q}}$ is the restriction of scalars functor.
This statement appears in the book 'Algebraic groups and number theory' by Platunov and Rapinchuk on page 77. It seems to be stated there as a kind of trivial observation. To me it seems like a non-trivial fact for which I'd like justification for. I can imagine trying to justify it by considering the action of the Galois group of the field extension (assuming it is Galois) and showing that the action on the factors of a $mathbb{Q}$-simple group must be transitive. Is this the right idea? Or is there something simpler?
group-theory number-theory algebraic-groups
$endgroup$
I'm trying to understand the following statement:
Any simply connected $mathbb{Q}$-simple (algebraic) group has the form $mathbf{R}_{F/mathbb{Q}}(G)$ where $F$ is some field containing $mathbb{Q}$, $G$ is an almost simple $F$-group and $mathbf{R}_{F/mathbb{Q}}$ is the restriction of scalars functor.
This statement appears in the book 'Algebraic groups and number theory' by Platunov and Rapinchuk on page 77. It seems to be stated there as a kind of trivial observation. To me it seems like a non-trivial fact for which I'd like justification for. I can imagine trying to justify it by considering the action of the Galois group of the field extension (assuming it is Galois) and showing that the action on the factors of a $mathbb{Q}$-simple group must be transitive. Is this the right idea? Or is there something simpler?
group-theory number-theory algebraic-groups
group-theory number-theory algebraic-groups
edited Dec 5 '18 at 23:19
YCor
7,353829
7,353829
asked Dec 5 '18 at 13:16
OrbitOrbit
62
62
$begingroup$
As stated, it's a tautology (take $F=Q$). I think the correct statement includes "... $G$ is an almost absolutely simple $F$-group...". Also $F$ has to be a finite extension.
$endgroup$
– YCor
Dec 5 '18 at 23:21
$begingroup$
Well you are right that in Platanov and Rapinchuk they say absolutely simple. But they say that absolutely simple means 'no nontrvial normal connected subgroups', but I thought I'd also heard this property called almost simple so I thought they meant the same thing... The fact that F is a finite extension should follow from the construction.
$endgroup$
– Orbit
Dec 6 '18 at 11:42
$begingroup$
This is because there are two ways of putting the algebraic geometry language. In most modern algebraic geometry treaties, including algebraic group treaties, one considers object primarily over an algebraic closed field, and then considers things (subgroups, etc) defined over some given subfield $F$. So it can happen that there are some nontrivial normal subgroup (which is the failure of being "absolutely simple" or even "simple"), but there are no nontrivial $F$-defined normal subgroup (which is called being "$F$-simple", and also "simple"). Whence the confusion.
$endgroup$
– YCor
Dec 6 '18 at 12:33
$begingroup$
Yes I understand that this is what can happen. But I'm still not sure why the original statement is a triviality. Another way to put it: why is any $mathbb{Q}$-simple group (no nontrivial normal $mathbb{Q}$-subgroups) is just a direct product of the Galois conjugates of an absolutely simple group defined over another field $F$ (which is a finite extension of $mathbb{Q}$)?
$endgroup$
– Orbit
Dec 6 '18 at 13:38
add a comment |
$begingroup$
As stated, it's a tautology (take $F=Q$). I think the correct statement includes "... $G$ is an almost absolutely simple $F$-group...". Also $F$ has to be a finite extension.
$endgroup$
– YCor
Dec 5 '18 at 23:21
$begingroup$
Well you are right that in Platanov and Rapinchuk they say absolutely simple. But they say that absolutely simple means 'no nontrvial normal connected subgroups', but I thought I'd also heard this property called almost simple so I thought they meant the same thing... The fact that F is a finite extension should follow from the construction.
$endgroup$
– Orbit
Dec 6 '18 at 11:42
$begingroup$
This is because there are two ways of putting the algebraic geometry language. In most modern algebraic geometry treaties, including algebraic group treaties, one considers object primarily over an algebraic closed field, and then considers things (subgroups, etc) defined over some given subfield $F$. So it can happen that there are some nontrivial normal subgroup (which is the failure of being "absolutely simple" or even "simple"), but there are no nontrivial $F$-defined normal subgroup (which is called being "$F$-simple", and also "simple"). Whence the confusion.
$endgroup$
– YCor
Dec 6 '18 at 12:33
$begingroup$
Yes I understand that this is what can happen. But I'm still not sure why the original statement is a triviality. Another way to put it: why is any $mathbb{Q}$-simple group (no nontrivial normal $mathbb{Q}$-subgroups) is just a direct product of the Galois conjugates of an absolutely simple group defined over another field $F$ (which is a finite extension of $mathbb{Q}$)?
$endgroup$
– Orbit
Dec 6 '18 at 13:38
$begingroup$
As stated, it's a tautology (take $F=Q$). I think the correct statement includes "... $G$ is an almost absolutely simple $F$-group...". Also $F$ has to be a finite extension.
$endgroup$
– YCor
Dec 5 '18 at 23:21
$begingroup$
As stated, it's a tautology (take $F=Q$). I think the correct statement includes "... $G$ is an almost absolutely simple $F$-group...". Also $F$ has to be a finite extension.
$endgroup$
– YCor
Dec 5 '18 at 23:21
$begingroup$
Well you are right that in Platanov and Rapinchuk they say absolutely simple. But they say that absolutely simple means 'no nontrvial normal connected subgroups', but I thought I'd also heard this property called almost simple so I thought they meant the same thing... The fact that F is a finite extension should follow from the construction.
$endgroup$
– Orbit
Dec 6 '18 at 11:42
$begingroup$
Well you are right that in Platanov and Rapinchuk they say absolutely simple. But they say that absolutely simple means 'no nontrvial normal connected subgroups', but I thought I'd also heard this property called almost simple so I thought they meant the same thing... The fact that F is a finite extension should follow from the construction.
$endgroup$
– Orbit
Dec 6 '18 at 11:42
$begingroup$
This is because there are two ways of putting the algebraic geometry language. In most modern algebraic geometry treaties, including algebraic group treaties, one considers object primarily over an algebraic closed field, and then considers things (subgroups, etc) defined over some given subfield $F$. So it can happen that there are some nontrivial normal subgroup (which is the failure of being "absolutely simple" or even "simple"), but there are no nontrivial $F$-defined normal subgroup (which is called being "$F$-simple", and also "simple"). Whence the confusion.
$endgroup$
– YCor
Dec 6 '18 at 12:33
$begingroup$
This is because there are two ways of putting the algebraic geometry language. In most modern algebraic geometry treaties, including algebraic group treaties, one considers object primarily over an algebraic closed field, and then considers things (subgroups, etc) defined over some given subfield $F$. So it can happen that there are some nontrivial normal subgroup (which is the failure of being "absolutely simple" or even "simple"), but there are no nontrivial $F$-defined normal subgroup (which is called being "$F$-simple", and also "simple"). Whence the confusion.
$endgroup$
– YCor
Dec 6 '18 at 12:33
$begingroup$
Yes I understand that this is what can happen. But I'm still not sure why the original statement is a triviality. Another way to put it: why is any $mathbb{Q}$-simple group (no nontrivial normal $mathbb{Q}$-subgroups) is just a direct product of the Galois conjugates of an absolutely simple group defined over another field $F$ (which is a finite extension of $mathbb{Q}$)?
$endgroup$
– Orbit
Dec 6 '18 at 13:38
$begingroup$
Yes I understand that this is what can happen. But I'm still not sure why the original statement is a triviality. Another way to put it: why is any $mathbb{Q}$-simple group (no nontrivial normal $mathbb{Q}$-subgroups) is just a direct product of the Galois conjugates of an absolutely simple group defined over another field $F$ (which is a finite extension of $mathbb{Q}$)?
$endgroup$
– Orbit
Dec 6 '18 at 13:38
add a comment |
0
active
oldest
votes
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
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
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3027053%2fmathbb-q-simple-algebraic-groups-and-restriction-of-scalars%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
0
active
oldest
votes
0
active
oldest
votes
active
oldest
votes
active
oldest
votes
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
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
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3027053%2fmathbb-q-simple-algebraic-groups-and-restriction-of-scalars%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
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
Required, but never shown
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
Required, but never shown
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
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
$begingroup$
As stated, it's a tautology (take $F=Q$). I think the correct statement includes "... $G$ is an almost absolutely simple $F$-group...". Also $F$ has to be a finite extension.
$endgroup$
– YCor
Dec 5 '18 at 23:21
$begingroup$
Well you are right that in Platanov and Rapinchuk they say absolutely simple. But they say that absolutely simple means 'no nontrvial normal connected subgroups', but I thought I'd also heard this property called almost simple so I thought they meant the same thing... The fact that F is a finite extension should follow from the construction.
$endgroup$
– Orbit
Dec 6 '18 at 11:42
$begingroup$
This is because there are two ways of putting the algebraic geometry language. In most modern algebraic geometry treaties, including algebraic group treaties, one considers object primarily over an algebraic closed field, and then considers things (subgroups, etc) defined over some given subfield $F$. So it can happen that there are some nontrivial normal subgroup (which is the failure of being "absolutely simple" or even "simple"), but there are no nontrivial $F$-defined normal subgroup (which is called being "$F$-simple", and also "simple"). Whence the confusion.
$endgroup$
– YCor
Dec 6 '18 at 12:33
$begingroup$
Yes I understand that this is what can happen. But I'm still not sure why the original statement is a triviality. Another way to put it: why is any $mathbb{Q}$-simple group (no nontrivial normal $mathbb{Q}$-subgroups) is just a direct product of the Galois conjugates of an absolutely simple group defined over another field $F$ (which is a finite extension of $mathbb{Q}$)?
$endgroup$
– Orbit
Dec 6 '18 at 13:38