Proof with Galois theory that $K(sqrt alpha) = K(sqrt beta)$ if and only if it exists $gamma$ with $alpha =...
$begingroup$
Let E/K be a field extension, $1+1neq0$ in K and $alpha$, $beta in K^x={a in K |, exists , b: ab = ba =1}$.
Proof with Galois theory: $K(sqrt alpha) = K(sqrt beta) Leftrightarrow exists , gamma in K^x : alpha = gamma^2beta$
Got so far that $sqrt alpha, sqrt beta notin K Rightarrow [K(sqrt alpha):K]= 2 =[K(sqrt beta):K] overset{char(K) neq 2}Rightarrow K(sqrt alpha), K(sqrt beta)$ are galois.
abstract-algebra galois-theory galois-extensions
asked Dec 13 '18 at 9:57
Zorro_CZorro_C
82
$endgroup$
add a comment |
$begingroup$
Let E/K be a field extension, $1+1neq0$ in K and $alpha$, $beta in K^x={a in K |, exists , b: ab = ba =1}$.
Proof with Galois theory: $K(sqrt alpha) = K(sqrt beta) Leftrightarrow exists , gamma in K^x : alpha = gamma^2beta$
Got so far that $sqrt alpha, sqrt beta notin K Rightarrow [K(sqrt alpha):K]= 2 =[K(sqrt beta):K] overset{char(K) neq 2}Rightarrow K(sqrt alpha), K(sqrt beta)$ are galois.
abstract-algebra galois-theory galois-extensions
asked Dec 13 '18 at 9:57
Zorro_CZorro_C
82
$endgroup$
add a comment |
$begingroup$
Let E/K be a field extension, $1+1neq0$ in K and $alpha$, $beta in K^x={a in K |, exists , b: ab = ba =1}$.
Proof with Galois theory: $K(sqrt alpha) = K(sqrt beta) Leftrightarrow exists , gamma in K^x : alpha = gamma^2beta$
Got so far that $sqrt alpha, sqrt beta notin K Rightarrow [K(sqrt alpha):K]= 2 =[K(sqrt beta):K] overset{char(K) neq 2}Rightarrow K(sqrt alpha), K(sqrt beta)$ are galois.
abstract-algebra galois-theory galois-extensions
asked Dec 13 '18 at 9:57
Zorro_CZorro_C
82
$endgroup$
Let E/K be a field extension, $1+1neq0$ in K and $alpha$, $beta in K^x={a in K |, exists , b: ab = ba =1}$.
Proof with Galois theory: $K(sqrt alpha) = K(sqrt beta) Leftrightarrow exists , gamma in K^x : alpha = gamma^2beta$
Got so far that $sqrt alpha, sqrt beta notin K Rightarrow [K(sqrt alpha):K]= 2 =[K(sqrt beta):K] overset{char(K) neq 2}Rightarrow K(sqrt alpha), K(sqrt beta)$ are galois.
abstract-algebra galois-theory galois-extensions
abstract-algebra galois-theory galois-extensions
asked Dec 13 '18 at 9:57
Zorro_CZorro_C
82
asked Dec 13 '18 at 9:57
Zorro_CZorro_C
82
edited Dec 13 '18 at 10:40
Zorro_C
asked Dec 13 '18 at 9:57
Zorro_CZorro_C
82
asked Dec 13 '18 at 9:57
Zorro_CZorro_C
82
asked Dec 13 '18 at 9:57
Zorro_CZorro_C
82
82
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
$implies$: Assuming $K(sqrtalpha) = K(sqrtbeta)$.
If $sqrtalpha = xin K$, then $K(sqrtalpha) = K$, so we have $sqrtbetain K$. Set $gamma = frac{sqrtalpha}{sqrtbeta}$ and we're done.
Otherwise, we have $sqrtalphain K(sqrtbeta)$. In other words, there are $x, yin K$ such that
$$
sqrtalpha = x + ysqrtbeta\
alpha = x^2 + beta y^2 + 2xysqrtbeta
$$
From this we can deduce that $2xy = 0$, which because $1+1neq 0$ gives us $xy = 0$, meaning either $x = 0$ or $y = 0$. However, $sqrtalphanotin K$ implies $yneq 0$, so we must have $x = 0$. Set $gamma = y$, and we're done.
$Longleftarrow,$: Assuming $alpha = gamma^2beta$.
We have $sqrtalpha = gammasqrtbeta in K(sqrtbeta)$ and $sqrtbeta = sqrtalpha/gammain K(sqrtalpha)$, meaning the two fields must be the same.
answered Dec 13 '18 at 10:15
ArthurArthur
116k7116199
$endgroup$
1
$begingroup$
The solution is absolutely right and I've solved the problem already that way. But I wanted to come up with a solution in which Galois theory would be applied.
$endgroup$
– Zorro_C
Dec 13 '18 at 10:24
$begingroup$
@Zorro_C If you've done this already, that's the kind of thing you would want to put in the question post so that people don't spend time and effort duplicating your work.
$endgroup$
– Arthur
Dec 13 '18 at 10:28
$begingroup$
Sorry, but I have mentioned in every line, also in the title, that I like to get a solution with application of Galois theory
$endgroup$
– Zorro_C
Dec 13 '18 at 10:39
$begingroup$
What do you mean by "application of Galois theory".? If you admit that Kummer theory (see any text book) is contained in Galois theory, then you can apply it directly. For a summary of Kummer theory, see e.g. math.stackexchange.com/a/1609061/300700
$endgroup$
– nguyen quang do
Dec 13 '18 at 17:33
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%2f3037825%2fproof-with-galois-theory-that-k-sqrt-alpha-k-sqrt-beta-if-and-only-if%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$
$implies$: Assuming $K(sqrtalpha) = K(sqrtbeta)$.
If $sqrtalpha = xin K$, then $K(sqrtalpha) = K$, so we have $sqrtbetain K$. Set $gamma = frac{sqrtalpha}{sqrtbeta}$ and we're done.
Otherwise, we have $sqrtalphain K(sqrtbeta)$. In other words, there are $x, yin K$ such that
$$
sqrtalpha = x + ysqrtbeta\
alpha = x^2 + beta y^2 + 2xysqrtbeta
$$
From this we can deduce that $2xy = 0$, which because $1+1neq 0$ gives us $xy = 0$, meaning either $x = 0$ or $y = 0$. However, $sqrtalphanotin K$ implies $yneq 0$, so we must have $x = 0$. Set $gamma = y$, and we're done.
$Longleftarrow,$: Assuming $alpha = gamma^2beta$.
We have $sqrtalpha = gammasqrtbeta in K(sqrtbeta)$ and $sqrtbeta = sqrtalpha/gammain K(sqrtalpha)$, meaning the two fields must be the same.
answered Dec 13 '18 at 10:15
ArthurArthur
116k7116199
$endgroup$
1
$begingroup$
The solution is absolutely right and I've solved the problem already that way. But I wanted to come up with a solution in which Galois theory would be applied.
$endgroup$
– Zorro_C
Dec 13 '18 at 10:24
$begingroup$
@Zorro_C If you've done this already, that's the kind of thing you would want to put in the question post so that people don't spend time and effort duplicating your work.
$endgroup$
– Arthur
Dec 13 '18 at 10:28
$begingroup$
Sorry, but I have mentioned in every line, also in the title, that I like to get a solution with application of Galois theory
$endgroup$
– Zorro_C
Dec 13 '18 at 10:39
$begingroup$
What do you mean by "application of Galois theory".? If you admit that Kummer theory (see any text book) is contained in Galois theory, then you can apply it directly. For a summary of Kummer theory, see e.g. math.stackexchange.com/a/1609061/300700
$endgroup$
– nguyen quang do
Dec 13 '18 at 17:33
add a comment |
$begingroup$
$implies$: Assuming $K(sqrtalpha) = K(sqrtbeta)$.
If $sqrtalpha = xin K$, then $K(sqrtalpha) = K$, so we have $sqrtbetain K$. Set $gamma = frac{sqrtalpha}{sqrtbeta}$ and we're done.
Otherwise, we have $sqrtalphain K(sqrtbeta)$. In other words, there are $x, yin K$ such that
$$
sqrtalpha = x + ysqrtbeta\
alpha = x^2 + beta y^2 + 2xysqrtbeta
$$
From this we can deduce that $2xy = 0$, which because $1+1neq 0$ gives us $xy = 0$, meaning either $x = 0$ or $y = 0$. However, $sqrtalphanotin K$ implies $yneq 0$, so we must have $x = 0$. Set $gamma = y$, and we're done.
$Longleftarrow,$: Assuming $alpha = gamma^2beta$.
We have $sqrtalpha = gammasqrtbeta in K(sqrtbeta)$ and $sqrtbeta = sqrtalpha/gammain K(sqrtalpha)$, meaning the two fields must be the same.
answered Dec 13 '18 at 10:15
ArthurArthur
116k7116199
$endgroup$
1
$begingroup$
The solution is absolutely right and I've solved the problem already that way. But I wanted to come up with a solution in which Galois theory would be applied.
$endgroup$
– Zorro_C
Dec 13 '18 at 10:24
$begingroup$
@Zorro_C If you've done this already, that's the kind of thing you would want to put in the question post so that people don't spend time and effort duplicating your work.
$endgroup$
– Arthur
Dec 13 '18 at 10:28
$begingroup$
Sorry, but I have mentioned in every line, also in the title, that I like to get a solution with application of Galois theory
$endgroup$
– Zorro_C
Dec 13 '18 at 10:39
$begingroup$
What do you mean by "application of Galois theory".? If you admit that Kummer theory (see any text book) is contained in Galois theory, then you can apply it directly. For a summary of Kummer theory, see e.g. math.stackexchange.com/a/1609061/300700
$endgroup$
– nguyen quang do
Dec 13 '18 at 17:33
add a comment |
$begingroup$
$implies$: Assuming $K(sqrtalpha) = K(sqrtbeta)$.
If $sqrtalpha = xin K$, then $K(sqrtalpha) = K$, so we have $sqrtbetain K$. Set $gamma = frac{sqrtalpha}{sqrtbeta}$ and we're done.
Otherwise, we have $sqrtalphain K(sqrtbeta)$. In other words, there are $x, yin K$ such that
$$
sqrtalpha = x + ysqrtbeta\
alpha = x^2 + beta y^2 + 2xysqrtbeta
$$
From this we can deduce that $2xy = 0$, which because $1+1neq 0$ gives us $xy = 0$, meaning either $x = 0$ or $y = 0$. However, $sqrtalphanotin K$ implies $yneq 0$, so we must have $x = 0$. Set $gamma = y$, and we're done.
$Longleftarrow,$: Assuming $alpha = gamma^2beta$.
We have $sqrtalpha = gammasqrtbeta in K(sqrtbeta)$ and $sqrtbeta = sqrtalpha/gammain K(sqrtalpha)$, meaning the two fields must be the same.
answered Dec 13 '18 at 10:15
ArthurArthur
116k7116199
$endgroup$
$implies$: Assuming $K(sqrtalpha) = K(sqrtbeta)$.
If $sqrtalpha = xin K$, then $K(sqrtalpha) = K$, so we have $sqrtbetain K$. Set $gamma = frac{sqrtalpha}{sqrtbeta}$ and we're done.
Otherwise, we have $sqrtalphain K(sqrtbeta)$. In other words, there are $x, yin K$ such that
$$
sqrtalpha = x + ysqrtbeta\
alpha = x^2 + beta y^2 + 2xysqrtbeta
$$
From this we can deduce that $2xy = 0$, which because $1+1neq 0$ gives us $xy = 0$, meaning either $x = 0$ or $y = 0$. However, $sqrtalphanotin K$ implies $yneq 0$, so we must have $x = 0$. Set $gamma = y$, and we're done.
$Longleftarrow,$: Assuming $alpha = gamma^2beta$.
We have $sqrtalpha = gammasqrtbeta in K(sqrtbeta)$ and $sqrtbeta = sqrtalpha/gammain K(sqrtalpha)$, meaning the two fields must be the same.
answered Dec 13 '18 at 10:15
ArthurArthur
116k7116199
answered Dec 13 '18 at 10:15
ArthurArthur
116k7116199
answered Dec 13 '18 at 10:15
ArthurArthur
116k7116199
answered Dec 13 '18 at 10:15
ArthurArthur
116k7116199
116k7116199
1
$begingroup$
The solution is absolutely right and I've solved the problem already that way. But I wanted to come up with a solution in which Galois theory would be applied.
$endgroup$
– Zorro_C
Dec 13 '18 at 10:24
$begingroup$
@Zorro_C If you've done this already, that's the kind of thing you would want to put in the question post so that people don't spend time and effort duplicating your work.
$endgroup$
– Arthur
Dec 13 '18 at 10:28
$begingroup$
Sorry, but I have mentioned in every line, also in the title, that I like to get a solution with application of Galois theory
$endgroup$
– Zorro_C
Dec 13 '18 at 10:39
$begingroup$
What do you mean by "application of Galois theory".? If you admit that Kummer theory (see any text book) is contained in Galois theory, then you can apply it directly. For a summary of Kummer theory, see e.g. math.stackexchange.com/a/1609061/300700
$endgroup$
– nguyen quang do
Dec 13 '18 at 17:33
add a comment |
1
$begingroup$
The solution is absolutely right and I've solved the problem already that way. But I wanted to come up with a solution in which Galois theory would be applied.
$endgroup$
– Zorro_C
Dec 13 '18 at 10:24
$begingroup$
@Zorro_C If you've done this already, that's the kind of thing you would want to put in the question post so that people don't spend time and effort duplicating your work.
$endgroup$
– Arthur
Dec 13 '18 at 10:28
$begingroup$
Sorry, but I have mentioned in every line, also in the title, that I like to get a solution with application of Galois theory
$endgroup$
– Zorro_C
Dec 13 '18 at 10:39
$begingroup$
What do you mean by "application of Galois theory".? If you admit that Kummer theory (see any text book) is contained in Galois theory, then you can apply it directly. For a summary of Kummer theory, see e.g. math.stackexchange.com/a/1609061/300700
$endgroup$
– nguyen quang do
Dec 13 '18 at 17:33
1
1
$begingroup$
The solution is absolutely right and I've solved the problem already that way. But I wanted to come up with a solution in which Galois theory would be applied.
$endgroup$
– Zorro_C
Dec 13 '18 at 10:24
$begingroup$
The solution is absolutely right and I've solved the problem already that way. But I wanted to come up with a solution in which Galois theory would be applied.
$endgroup$
– Zorro_C
Dec 13 '18 at 10:24
$begingroup$
@Zorro_C If you've done this already, that's the kind of thing you would want to put in the question post so that people don't spend time and effort duplicating your work.
$endgroup$
– Arthur
Dec 13 '18 at 10:28
$begingroup$
@Zorro_C If you've done this already, that's the kind of thing you would want to put in the question post so that people don't spend time and effort duplicating your work.
$endgroup$
– Arthur
Dec 13 '18 at 10:28
$begingroup$
Sorry, but I have mentioned in every line, also in the title, that I like to get a solution with application of Galois theory
$endgroup$
– Zorro_C
Dec 13 '18 at 10:39
$begingroup$
Sorry, but I have mentioned in every line, also in the title, that I like to get a solution with application of Galois theory
$endgroup$
– Zorro_C
Dec 13 '18 at 10:39
$begingroup$
What do you mean by "application of Galois theory".? If you admit that Kummer theory (see any text book) is contained in Galois theory, then you can apply it directly. For a summary of Kummer theory, see e.g. math.stackexchange.com/a/1609061/300700
$endgroup$
– nguyen quang do
Dec 13 '18 at 17:33
$begingroup$
What do you mean by "application of Galois theory".? If you admit that Kummer theory (see any text book) is contained in Galois theory, then you can apply it directly. For a summary of Kummer theory, see e.g. math.stackexchange.com/a/1609061/300700
$endgroup$
– nguyen quang do
Dec 13 '18 at 17:33
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%2f3037825%2fproof-with-galois-theory-that-k-sqrt-alpha-k-sqrt-beta-if-and-only-if%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
