degree 3 Galois extension of $mathbbQ$ not radicalFinding a Galois extension of $Bbb Q$ of degree $3$Solvable but not radical.Examples of extension of $Bbb Q$ or prove there are no such examples.Galois group of a non-separable polynomial$f$ is solvable by radicals, but the splitting field $L:Q$ not radical extension.Is the splitting field of $x^3-2x-2$ a radical extension over $mathbbQ$?Proving an extension is radicalRadical extension and discriminant of cubicIf K $subset$ L, K Galois over F, L is a splitting field of f(x) over F, can we say L Galois over FHow do you prove that the Galois Group of a radical field extension is always soluble/solvable?Galois Extension.Radical field extension is soluble, **counter-example?**Any Sub-extension of a Radical Extension is Solvable?
NASA's RS-25 Engines shut down time
PTIJ: wiping amalek’s memory?
Does this video of collapsing warehouse shelves show a real incident?
weren't playing vs didn't play
Did Carol Danvers really receive a Kree blood tranfusion?
UART pins to unpowered MCU?
Should I take out a loan for a friend to invest on my behalf?
'The literal of type int is out of range' con número enteros pequeños (2 dígitos)
Motivation for Zeta Function of an Algebraic Variety
Vocabulary for giving just numbers, not a full answer
Does the nature of the Apocalypse in The Umbrella Academy change from the first to the last episode?
Difference on montgomery curve equation between EFD and RFC7748
Declaring and defining template, and specialising them
Hotkey (or other quick way) to insert a keyframe for only one component of a vector-valued property?
If I receive an SOS signal, what is the proper response?
Are babies of evil humanoid species inherently evil?
Is "history" a male-biased word ("his+story")?
How is the wildcard * interpreted as a command?
Why does Captain Marvel assume the people on this planet know this?
Filtering SOQL results with optional conditionals
How to secure an aircraft at a transient parking space?
Word for a person who has no opinion about whether god exists
They call me Inspector Morse
Am I not good enough for you?
degree 3 Galois extension of $mathbbQ$ not radical
Finding a Galois extension of $Bbb Q$ of degree $3$Solvable but not radical.Examples of extension of $Bbb Q$ or prove there are no such examples.Galois group of a non-separable polynomial$f$ is solvable by radicals, but the splitting field $L:Q$ not radical extension.Is the splitting field of $x^3-2x-2$ a radical extension over $mathbbQ$?Proving an extension is radicalRadical extension and discriminant of cubicIf K $subset$ L, K Galois over F, L is a splitting field of f(x) over F, can we say L Galois over FHow do you prove that the Galois Group of a radical field extension is always soluble/solvable?Galois Extension.Radical field extension is soluble, **counter-example?**Any Sub-extension of a Radical Extension is Solvable?
$begingroup$
I have the following question.
I have the following result in Dummit and Foote abstract algebra (Theorem 39 p. 628) that says that over a field of $char=0$ then a polynomial $f(x)$ is soluble by radicals if and only if its Galois group is soluble group.
But I also have a result in one of my exams that says that a Galois extension of degree 3 over $mathbbQ$ is not a radical extension.
How is it that the two statements aren't contradicting one another? since I thought that if the Galois group was of size 3 then its cyclic so soluble, so if $G$ is the Galois group of some irreducible cubic then wouldn't the theorem say that it is soluble by radicals?
Or is there a difference between a polynomial being soluble by radicals and its splitting field being a radical extension?
Thank you
galois-theory
$endgroup$
add a comment |
$begingroup$
I have the following question.
I have the following result in Dummit and Foote abstract algebra (Theorem 39 p. 628) that says that over a field of $char=0$ then a polynomial $f(x)$ is soluble by radicals if and only if its Galois group is soluble group.
But I also have a result in one of my exams that says that a Galois extension of degree 3 over $mathbbQ$ is not a radical extension.
How is it that the two statements aren't contradicting one another? since I thought that if the Galois group was of size 3 then its cyclic so soluble, so if $G$ is the Galois group of some irreducible cubic then wouldn't the theorem say that it is soluble by radicals?
Or is there a difference between a polynomial being soluble by radicals and its splitting field being a radical extension?
Thank you
galois-theory
$endgroup$
add a comment |
$begingroup$
I have the following question.
I have the following result in Dummit and Foote abstract algebra (Theorem 39 p. 628) that says that over a field of $char=0$ then a polynomial $f(x)$ is soluble by radicals if and only if its Galois group is soluble group.
But I also have a result in one of my exams that says that a Galois extension of degree 3 over $mathbbQ$ is not a radical extension.
How is it that the two statements aren't contradicting one another? since I thought that if the Galois group was of size 3 then its cyclic so soluble, so if $G$ is the Galois group of some irreducible cubic then wouldn't the theorem say that it is soluble by radicals?
Or is there a difference between a polynomial being soluble by radicals and its splitting field being a radical extension?
Thank you
galois-theory
$endgroup$
I have the following question.
I have the following result in Dummit and Foote abstract algebra (Theorem 39 p. 628) that says that over a field of $char=0$ then a polynomial $f(x)$ is soluble by radicals if and only if its Galois group is soluble group.
But I also have a result in one of my exams that says that a Galois extension of degree 3 over $mathbbQ$ is not a radical extension.
How is it that the two statements aren't contradicting one another? since I thought that if the Galois group was of size 3 then its cyclic so soluble, so if $G$ is the Galois group of some irreducible cubic then wouldn't the theorem say that it is soluble by radicals?
Or is there a difference between a polynomial being soluble by radicals and its splitting field being a radical extension?
Thank you
galois-theory
galois-theory
edited Dec 8 '13 at 16:19
Chris Birkbeck
asked Dec 8 '13 at 16:11
Chris BirkbeckChris Birkbeck
758413
758413
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
Yes, there are some differences : an extension $L/K$ is solvable by radicals if there is an extension $L_1/L$ and a sequences of extensions $K subset K_1 subset ldots subset K_n subset L_1$ where each step is a radical extension.
If $L/K$ is cyclic of order $n$ and $K$ contains an $n$th root of unity, then we do have that $L/K$ is radical (there exists some $x in L$ such that $x^n in K$ and $L = K(x)$).
However, if $K$ doesn't contain those roots of unity, then no radical extension of order $n$ of $K$ is Galois. So we have to add them first, and then we obtain an extension $K subset K(zeta_n) subset L_1 = L(zeta_n)$ where the first step is soluble by radicals, and the second is radical. So $L$ is solvable by radicals, but can be very very far from being a radical extension.
The simplest example is $K = Bbb Q(2cos frac 2pi7) = Bbb Q[c]/(c^3+c^2-2c-1)$. It is a normal extension of $Bbb Q$ whose Galois group is cyclic of order $3$ (generated by $c mapsto c^2-2$). And in order to solve it by radicals and express $c$ with radicals, you will need to use $sqrt-3$ somewhere.
$endgroup$
1
$begingroup$
+1, fine explanation. I believe one might also mention en.wikipedia.org/wiki/Casus_irreducibilis
$endgroup$
– Andreas Caranti
Dec 8 '13 at 16:51
add a comment |
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%2f598285%2fdegree-3-galois-extension-of-mathbbq-not-radical%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Yes, there are some differences : an extension $L/K$ is solvable by radicals if there is an extension $L_1/L$ and a sequences of extensions $K subset K_1 subset ldots subset K_n subset L_1$ where each step is a radical extension.
If $L/K$ is cyclic of order $n$ and $K$ contains an $n$th root of unity, then we do have that $L/K$ is radical (there exists some $x in L$ such that $x^n in K$ and $L = K(x)$).
However, if $K$ doesn't contain those roots of unity, then no radical extension of order $n$ of $K$ is Galois. So we have to add them first, and then we obtain an extension $K subset K(zeta_n) subset L_1 = L(zeta_n)$ where the first step is soluble by radicals, and the second is radical. So $L$ is solvable by radicals, but can be very very far from being a radical extension.
The simplest example is $K = Bbb Q(2cos frac 2pi7) = Bbb Q[c]/(c^3+c^2-2c-1)$. It is a normal extension of $Bbb Q$ whose Galois group is cyclic of order $3$ (generated by $c mapsto c^2-2$). And in order to solve it by radicals and express $c$ with radicals, you will need to use $sqrt-3$ somewhere.
$endgroup$
1
$begingroup$
+1, fine explanation. I believe one might also mention en.wikipedia.org/wiki/Casus_irreducibilis
$endgroup$
– Andreas Caranti
Dec 8 '13 at 16:51
add a comment |
$begingroup$
Yes, there are some differences : an extension $L/K$ is solvable by radicals if there is an extension $L_1/L$ and a sequences of extensions $K subset K_1 subset ldots subset K_n subset L_1$ where each step is a radical extension.
If $L/K$ is cyclic of order $n$ and $K$ contains an $n$th root of unity, then we do have that $L/K$ is radical (there exists some $x in L$ such that $x^n in K$ and $L = K(x)$).
However, if $K$ doesn't contain those roots of unity, then no radical extension of order $n$ of $K$ is Galois. So we have to add them first, and then we obtain an extension $K subset K(zeta_n) subset L_1 = L(zeta_n)$ where the first step is soluble by radicals, and the second is radical. So $L$ is solvable by radicals, but can be very very far from being a radical extension.
The simplest example is $K = Bbb Q(2cos frac 2pi7) = Bbb Q[c]/(c^3+c^2-2c-1)$. It is a normal extension of $Bbb Q$ whose Galois group is cyclic of order $3$ (generated by $c mapsto c^2-2$). And in order to solve it by radicals and express $c$ with radicals, you will need to use $sqrt-3$ somewhere.
$endgroup$
1
$begingroup$
+1, fine explanation. I believe one might also mention en.wikipedia.org/wiki/Casus_irreducibilis
$endgroup$
– Andreas Caranti
Dec 8 '13 at 16:51
add a comment |
$begingroup$
Yes, there are some differences : an extension $L/K$ is solvable by radicals if there is an extension $L_1/L$ and a sequences of extensions $K subset K_1 subset ldots subset K_n subset L_1$ where each step is a radical extension.
If $L/K$ is cyclic of order $n$ and $K$ contains an $n$th root of unity, then we do have that $L/K$ is radical (there exists some $x in L$ such that $x^n in K$ and $L = K(x)$).
However, if $K$ doesn't contain those roots of unity, then no radical extension of order $n$ of $K$ is Galois. So we have to add them first, and then we obtain an extension $K subset K(zeta_n) subset L_1 = L(zeta_n)$ where the first step is soluble by radicals, and the second is radical. So $L$ is solvable by radicals, but can be very very far from being a radical extension.
The simplest example is $K = Bbb Q(2cos frac 2pi7) = Bbb Q[c]/(c^3+c^2-2c-1)$. It is a normal extension of $Bbb Q$ whose Galois group is cyclic of order $3$ (generated by $c mapsto c^2-2$). And in order to solve it by radicals and express $c$ with radicals, you will need to use $sqrt-3$ somewhere.
$endgroup$
Yes, there are some differences : an extension $L/K$ is solvable by radicals if there is an extension $L_1/L$ and a sequences of extensions $K subset K_1 subset ldots subset K_n subset L_1$ where each step is a radical extension.
If $L/K$ is cyclic of order $n$ and $K$ contains an $n$th root of unity, then we do have that $L/K$ is radical (there exists some $x in L$ such that $x^n in K$ and $L = K(x)$).
However, if $K$ doesn't contain those roots of unity, then no radical extension of order $n$ of $K$ is Galois. So we have to add them first, and then we obtain an extension $K subset K(zeta_n) subset L_1 = L(zeta_n)$ where the first step is soluble by radicals, and the second is radical. So $L$ is solvable by radicals, but can be very very far from being a radical extension.
The simplest example is $K = Bbb Q(2cos frac 2pi7) = Bbb Q[c]/(c^3+c^2-2c-1)$. It is a normal extension of $Bbb Q$ whose Galois group is cyclic of order $3$ (generated by $c mapsto c^2-2$). And in order to solve it by radicals and express $c$ with radicals, you will need to use $sqrt-3$ somewhere.
edited 2 days ago
Sam Nead
3,0141220
3,0141220
answered Dec 8 '13 at 16:44
merciomercio
44.7k258111
44.7k258111
1
$begingroup$
+1, fine explanation. I believe one might also mention en.wikipedia.org/wiki/Casus_irreducibilis
$endgroup$
– Andreas Caranti
Dec 8 '13 at 16:51
add a comment |
1
$begingroup$
+1, fine explanation. I believe one might also mention en.wikipedia.org/wiki/Casus_irreducibilis
$endgroup$
– Andreas Caranti
Dec 8 '13 at 16:51
1
1
$begingroup$
+1, fine explanation. I believe one might also mention en.wikipedia.org/wiki/Casus_irreducibilis
$endgroup$
– Andreas Caranti
Dec 8 '13 at 16:51
$begingroup$
+1, fine explanation. I believe one might also mention en.wikipedia.org/wiki/Casus_irreducibilis
$endgroup$
– Andreas Caranti
Dec 8 '13 at 16:51
add a comment |
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%2f598285%2fdegree-3-galois-extension-of-mathbbq-not-radical%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