Let $E$ be an algebraically closed extension field of a field $F$. Show that the algebraic closure $bar F_E$...
Multi tool use
$begingroup$
Question: Let $E$ be an algebraically closed extension field of a field $F$. Show that the algebraic closure $bar F_E$ of $F$ in $E$ is algebraically closed.
Firstly, I conclude a thing, if $bar F_E$ is properly contained in $E$, then it couldn't be algebraically closed, since an algebraically closed field cannot be properly contained. Therefore my idea is to prove $bar F_E=E$.
Then I notice that $E$ is algebraically closed, then for each polynomial $f(x)in E[x]$, it can be split completely into linear factors:
$$f(x)=(x-alpha_1)cdots(x-alpha_n)quadtext{ for $alpha_iin E$, $i=1,2,cdots,n$. }$$
But since $bar F_Eleq E$ obviously, the remaining things to prove is $Eleq bar F_E$, so I want to choose an element $alphain E$, and I want to prove it is algebraic over $F$, but I cannot find any connection between this and the completely factorization of $f(x)$. Any suggestion?
abstract-algebra field-theory extension-field
$endgroup$
add a comment |
$begingroup$
Question: Let $E$ be an algebraically closed extension field of a field $F$. Show that the algebraic closure $bar F_E$ of $F$ in $E$ is algebraically closed.
Firstly, I conclude a thing, if $bar F_E$ is properly contained in $E$, then it couldn't be algebraically closed, since an algebraically closed field cannot be properly contained. Therefore my idea is to prove $bar F_E=E$.
Then I notice that $E$ is algebraically closed, then for each polynomial $f(x)in E[x]$, it can be split completely into linear factors:
$$f(x)=(x-alpha_1)cdots(x-alpha_n)quadtext{ for $alpha_iin E$, $i=1,2,cdots,n$. }$$
But since $bar F_Eleq E$ obviously, the remaining things to prove is $Eleq bar F_E$, so I want to choose an element $alphain E$, and I want to prove it is algebraic over $F$, but I cannot find any connection between this and the completely factorization of $f(x)$. Any suggestion?
abstract-algebra field-theory extension-field
$endgroup$
1
$begingroup$
Are you assuming $E$ is an algebraic extension of $F$?
$endgroup$
– Eclipse Sun
Jan 21 at 0:51
$begingroup$
@EclipseSun I think no, it is the assumption of the question to make me think to that direction of proving. Is it $bar F_E$ cannot properly contained in $E$ a wrong idea?
$endgroup$
– kelvin hong 方
Jan 21 at 0:58
$begingroup$
An algebraically closed field, for example $mathbb{C}$ can be properly contained in another algebraically closed field, if you allow that extension to be transcendental.
$endgroup$
– Eclipse Sun
Jan 21 at 1:03
$begingroup$
But isn't that all transcendental numbers are already in $mathbb R$ hence in $mathbb C$? I never heard before $mathbb C$ can be properly contained in other field. Wow!
$endgroup$
– kelvin hong 方
Jan 21 at 1:06
2
$begingroup$
$mathbb{C}$ is contained in $mathbb{C}(x)$, the field of rational functions on $mathbb{C}$.
$endgroup$
– Eclipse Sun
Jan 21 at 1:13
add a comment |
$begingroup$
Question: Let $E$ be an algebraically closed extension field of a field $F$. Show that the algebraic closure $bar F_E$ of $F$ in $E$ is algebraically closed.
Firstly, I conclude a thing, if $bar F_E$ is properly contained in $E$, then it couldn't be algebraically closed, since an algebraically closed field cannot be properly contained. Therefore my idea is to prove $bar F_E=E$.
Then I notice that $E$ is algebraically closed, then for each polynomial $f(x)in E[x]$, it can be split completely into linear factors:
$$f(x)=(x-alpha_1)cdots(x-alpha_n)quadtext{ for $alpha_iin E$, $i=1,2,cdots,n$. }$$
But since $bar F_Eleq E$ obviously, the remaining things to prove is $Eleq bar F_E$, so I want to choose an element $alphain E$, and I want to prove it is algebraic over $F$, but I cannot find any connection between this and the completely factorization of $f(x)$. Any suggestion?
abstract-algebra field-theory extension-field
$endgroup$
Question: Let $E$ be an algebraically closed extension field of a field $F$. Show that the algebraic closure $bar F_E$ of $F$ in $E$ is algebraically closed.
Firstly, I conclude a thing, if $bar F_E$ is properly contained in $E$, then it couldn't be algebraically closed, since an algebraically closed field cannot be properly contained. Therefore my idea is to prove $bar F_E=E$.
Then I notice that $E$ is algebraically closed, then for each polynomial $f(x)in E[x]$, it can be split completely into linear factors:
$$f(x)=(x-alpha_1)cdots(x-alpha_n)quadtext{ for $alpha_iin E$, $i=1,2,cdots,n$. }$$
But since $bar F_Eleq E$ obviously, the remaining things to prove is $Eleq bar F_E$, so I want to choose an element $alphain E$, and I want to prove it is algebraic over $F$, but I cannot find any connection between this and the completely factorization of $f(x)$. Any suggestion?
abstract-algebra field-theory extension-field
abstract-algebra field-theory extension-field
asked Jan 21 at 0:47
kelvin hong 方kelvin hong 方
65518
65518
1
$begingroup$
Are you assuming $E$ is an algebraic extension of $F$?
$endgroup$
– Eclipse Sun
Jan 21 at 0:51
$begingroup$
@EclipseSun I think no, it is the assumption of the question to make me think to that direction of proving. Is it $bar F_E$ cannot properly contained in $E$ a wrong idea?
$endgroup$
– kelvin hong 方
Jan 21 at 0:58
$begingroup$
An algebraically closed field, for example $mathbb{C}$ can be properly contained in another algebraically closed field, if you allow that extension to be transcendental.
$endgroup$
– Eclipse Sun
Jan 21 at 1:03
$begingroup$
But isn't that all transcendental numbers are already in $mathbb R$ hence in $mathbb C$? I never heard before $mathbb C$ can be properly contained in other field. Wow!
$endgroup$
– kelvin hong 方
Jan 21 at 1:06
2
$begingroup$
$mathbb{C}$ is contained in $mathbb{C}(x)$, the field of rational functions on $mathbb{C}$.
$endgroup$
– Eclipse Sun
Jan 21 at 1:13
add a comment |
1
$begingroup$
Are you assuming $E$ is an algebraic extension of $F$?
$endgroup$
– Eclipse Sun
Jan 21 at 0:51
$begingroup$
@EclipseSun I think no, it is the assumption of the question to make me think to that direction of proving. Is it $bar F_E$ cannot properly contained in $E$ a wrong idea?
$endgroup$
– kelvin hong 方
Jan 21 at 0:58
$begingroup$
An algebraically closed field, for example $mathbb{C}$ can be properly contained in another algebraically closed field, if you allow that extension to be transcendental.
$endgroup$
– Eclipse Sun
Jan 21 at 1:03
$begingroup$
But isn't that all transcendental numbers are already in $mathbb R$ hence in $mathbb C$? I never heard before $mathbb C$ can be properly contained in other field. Wow!
$endgroup$
– kelvin hong 方
Jan 21 at 1:06
2
$begingroup$
$mathbb{C}$ is contained in $mathbb{C}(x)$, the field of rational functions on $mathbb{C}$.
$endgroup$
– Eclipse Sun
Jan 21 at 1:13
1
1
$begingroup$
Are you assuming $E$ is an algebraic extension of $F$?
$endgroup$
– Eclipse Sun
Jan 21 at 0:51
$begingroup$
Are you assuming $E$ is an algebraic extension of $F$?
$endgroup$
– Eclipse Sun
Jan 21 at 0:51
$begingroup$
@EclipseSun I think no, it is the assumption of the question to make me think to that direction of proving. Is it $bar F_E$ cannot properly contained in $E$ a wrong idea?
$endgroup$
– kelvin hong 方
Jan 21 at 0:58
$begingroup$
@EclipseSun I think no, it is the assumption of the question to make me think to that direction of proving. Is it $bar F_E$ cannot properly contained in $E$ a wrong idea?
$endgroup$
– kelvin hong 方
Jan 21 at 0:58
$begingroup$
An algebraically closed field, for example $mathbb{C}$ can be properly contained in another algebraically closed field, if you allow that extension to be transcendental.
$endgroup$
– Eclipse Sun
Jan 21 at 1:03
$begingroup$
An algebraically closed field, for example $mathbb{C}$ can be properly contained in another algebraically closed field, if you allow that extension to be transcendental.
$endgroup$
– Eclipse Sun
Jan 21 at 1:03
$begingroup$
But isn't that all transcendental numbers are already in $mathbb R$ hence in $mathbb C$? I never heard before $mathbb C$ can be properly contained in other field. Wow!
$endgroup$
– kelvin hong 方
Jan 21 at 1:06
$begingroup$
But isn't that all transcendental numbers are already in $mathbb R$ hence in $mathbb C$? I never heard before $mathbb C$ can be properly contained in other field. Wow!
$endgroup$
– kelvin hong 方
Jan 21 at 1:06
2
2
$begingroup$
$mathbb{C}$ is contained in $mathbb{C}(x)$, the field of rational functions on $mathbb{C}$.
$endgroup$
– Eclipse Sun
Jan 21 at 1:13
$begingroup$
$mathbb{C}$ is contained in $mathbb{C}(x)$, the field of rational functions on $mathbb{C}$.
$endgroup$
– Eclipse Sun
Jan 21 at 1:13
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
Let $F$ be a field. An extension $K/F$ is called an algebraic
closure of $F$ if $K$ is algebraically closed and $K/F$ is an
algebraic extension.
As @EclipseSun mentioned in the comment section, an algebraically closed field can be properly contained in another algebraically closed field.
Define $$overline{F}_E={ain Emid a ;text{is algebraic over $F $}}.$$
Clearly $overline{F}_E$ is algebraic over $F$.
Let $alpha$ be a root of $f(x)in overline{F}_E[x]$. Then $overline{F}_E(alpha) $ is algebraic over $overline{F}_E$ and $overline{F}_E$ is algebraic over $F$. Hence $overline{F}_E(alpha)$ is algebraic over $F$(why?). So $alphain overline{F}_E$, since $alpha $ is algebraic over $F$. Hence $overline{F}_E$ is algebraically closed.
We need to show that $overline{F}_E$ is actually a field. In other words, if $alpha$ and $beta$ are algebraic over $F $, then $alpha+beta,alpha-beta, alphacdotbeta,fracalphabeta(betaneq0)$ are algebraic over $F$. This is easy to prove if you recall that $F(alpha,beta)=F(alpha)(beta)$ and $alpha$ is algebraic over $F$ iff $F(alpha)/F $ is finite. I hope you can take this from here.
$endgroup$
1
$begingroup$
Thank you, the only thing I missed is the part $bar F_E(alpha)$ is algebraic over $F$ implies $alphainbar F_E$. After filling up this part the solution is completed.
$endgroup$
– kelvin hong 方
Jan 21 at 7:00
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%2f3081349%2flet-e-be-an-algebraically-closed-extension-field-of-a-field-f-show-that-the%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$
Let $F$ be a field. An extension $K/F$ is called an algebraic
closure of $F$ if $K$ is algebraically closed and $K/F$ is an
algebraic extension.
As @EclipseSun mentioned in the comment section, an algebraically closed field can be properly contained in another algebraically closed field.
Define $$overline{F}_E={ain Emid a ;text{is algebraic over $F $}}.$$
Clearly $overline{F}_E$ is algebraic over $F$.
Let $alpha$ be a root of $f(x)in overline{F}_E[x]$. Then $overline{F}_E(alpha) $ is algebraic over $overline{F}_E$ and $overline{F}_E$ is algebraic over $F$. Hence $overline{F}_E(alpha)$ is algebraic over $F$(why?). So $alphain overline{F}_E$, since $alpha $ is algebraic over $F$. Hence $overline{F}_E$ is algebraically closed.
We need to show that $overline{F}_E$ is actually a field. In other words, if $alpha$ and $beta$ are algebraic over $F $, then $alpha+beta,alpha-beta, alphacdotbeta,fracalphabeta(betaneq0)$ are algebraic over $F$. This is easy to prove if you recall that $F(alpha,beta)=F(alpha)(beta)$ and $alpha$ is algebraic over $F$ iff $F(alpha)/F $ is finite. I hope you can take this from here.
$endgroup$
1
$begingroup$
Thank you, the only thing I missed is the part $bar F_E(alpha)$ is algebraic over $F$ implies $alphainbar F_E$. After filling up this part the solution is completed.
$endgroup$
– kelvin hong 方
Jan 21 at 7:00
add a comment |
$begingroup$
Let $F$ be a field. An extension $K/F$ is called an algebraic
closure of $F$ if $K$ is algebraically closed and $K/F$ is an
algebraic extension.
As @EclipseSun mentioned in the comment section, an algebraically closed field can be properly contained in another algebraically closed field.
Define $$overline{F}_E={ain Emid a ;text{is algebraic over $F $}}.$$
Clearly $overline{F}_E$ is algebraic over $F$.
Let $alpha$ be a root of $f(x)in overline{F}_E[x]$. Then $overline{F}_E(alpha) $ is algebraic over $overline{F}_E$ and $overline{F}_E$ is algebraic over $F$. Hence $overline{F}_E(alpha)$ is algebraic over $F$(why?). So $alphain overline{F}_E$, since $alpha $ is algebraic over $F$. Hence $overline{F}_E$ is algebraically closed.
We need to show that $overline{F}_E$ is actually a field. In other words, if $alpha$ and $beta$ are algebraic over $F $, then $alpha+beta,alpha-beta, alphacdotbeta,fracalphabeta(betaneq0)$ are algebraic over $F$. This is easy to prove if you recall that $F(alpha,beta)=F(alpha)(beta)$ and $alpha$ is algebraic over $F$ iff $F(alpha)/F $ is finite. I hope you can take this from here.
$endgroup$
1
$begingroup$
Thank you, the only thing I missed is the part $bar F_E(alpha)$ is algebraic over $F$ implies $alphainbar F_E$. After filling up this part the solution is completed.
$endgroup$
– kelvin hong 方
Jan 21 at 7:00
add a comment |
$begingroup$
Let $F$ be a field. An extension $K/F$ is called an algebraic
closure of $F$ if $K$ is algebraically closed and $K/F$ is an
algebraic extension.
As @EclipseSun mentioned in the comment section, an algebraically closed field can be properly contained in another algebraically closed field.
Define $$overline{F}_E={ain Emid a ;text{is algebraic over $F $}}.$$
Clearly $overline{F}_E$ is algebraic over $F$.
Let $alpha$ be a root of $f(x)in overline{F}_E[x]$. Then $overline{F}_E(alpha) $ is algebraic over $overline{F}_E$ and $overline{F}_E$ is algebraic over $F$. Hence $overline{F}_E(alpha)$ is algebraic over $F$(why?). So $alphain overline{F}_E$, since $alpha $ is algebraic over $F$. Hence $overline{F}_E$ is algebraically closed.
We need to show that $overline{F}_E$ is actually a field. In other words, if $alpha$ and $beta$ are algebraic over $F $, then $alpha+beta,alpha-beta, alphacdotbeta,fracalphabeta(betaneq0)$ are algebraic over $F$. This is easy to prove if you recall that $F(alpha,beta)=F(alpha)(beta)$ and $alpha$ is algebraic over $F$ iff $F(alpha)/F $ is finite. I hope you can take this from here.
$endgroup$
Let $F$ be a field. An extension $K/F$ is called an algebraic
closure of $F$ if $K$ is algebraically closed and $K/F$ is an
algebraic extension.
As @EclipseSun mentioned in the comment section, an algebraically closed field can be properly contained in another algebraically closed field.
Define $$overline{F}_E={ain Emid a ;text{is algebraic over $F $}}.$$
Clearly $overline{F}_E$ is algebraic over $F$.
Let $alpha$ be a root of $f(x)in overline{F}_E[x]$. Then $overline{F}_E(alpha) $ is algebraic over $overline{F}_E$ and $overline{F}_E$ is algebraic over $F$. Hence $overline{F}_E(alpha)$ is algebraic over $F$(why?). So $alphain overline{F}_E$, since $alpha $ is algebraic over $F$. Hence $overline{F}_E$ is algebraically closed.
We need to show that $overline{F}_E$ is actually a field. In other words, if $alpha$ and $beta$ are algebraic over $F $, then $alpha+beta,alpha-beta, alphacdotbeta,fracalphabeta(betaneq0)$ are algebraic over $F$. This is easy to prove if you recall that $F(alpha,beta)=F(alpha)(beta)$ and $alpha$ is algebraic over $F$ iff $F(alpha)/F $ is finite. I hope you can take this from here.
answered Jan 21 at 2:45
Thomas ShelbyThomas Shelby
3,4891525
3,4891525
1
$begingroup$
Thank you, the only thing I missed is the part $bar F_E(alpha)$ is algebraic over $F$ implies $alphainbar F_E$. After filling up this part the solution is completed.
$endgroup$
– kelvin hong 方
Jan 21 at 7:00
add a comment |
1
$begingroup$
Thank you, the only thing I missed is the part $bar F_E(alpha)$ is algebraic over $F$ implies $alphainbar F_E$. After filling up this part the solution is completed.
$endgroup$
– kelvin hong 方
Jan 21 at 7:00
1
1
$begingroup$
Thank you, the only thing I missed is the part $bar F_E(alpha)$ is algebraic over $F$ implies $alphainbar F_E$. After filling up this part the solution is completed.
$endgroup$
– kelvin hong 方
Jan 21 at 7:00
$begingroup$
Thank you, the only thing I missed is the part $bar F_E(alpha)$ is algebraic over $F$ implies $alphainbar F_E$. After filling up this part the solution is completed.
$endgroup$
– kelvin hong 方
Jan 21 at 7:00
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%2f3081349%2flet-e-be-an-algebraically-closed-extension-field-of-a-field-f-show-that-the%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
qePPrBG59a0if4NB o,dxcdqBDQV,jR,7zTFI4G6QdR et853cUR6d K3rU
1
$begingroup$
Are you assuming $E$ is an algebraic extension of $F$?
$endgroup$
– Eclipse Sun
Jan 21 at 0:51
$begingroup$
@EclipseSun I think no, it is the assumption of the question to make me think to that direction of proving. Is it $bar F_E$ cannot properly contained in $E$ a wrong idea?
$endgroup$
– kelvin hong 方
Jan 21 at 0:58
$begingroup$
An algebraically closed field, for example $mathbb{C}$ can be properly contained in another algebraically closed field, if you allow that extension to be transcendental.
$endgroup$
– Eclipse Sun
Jan 21 at 1:03
$begingroup$
But isn't that all transcendental numbers are already in $mathbb R$ hence in $mathbb C$? I never heard before $mathbb C$ can be properly contained in other field. Wow!
$endgroup$
– kelvin hong 方
Jan 21 at 1:06
2
$begingroup$
$mathbb{C}$ is contained in $mathbb{C}(x)$, the field of rational functions on $mathbb{C}$.
$endgroup$
– Eclipse Sun
Jan 21 at 1:13