If $L_1$, $L_2$ are intermediate fields of $E/K$, then $[L_1 L_2 : K] = [L_1 : K] [L_2 : K] implies L_1 cap...
$begingroup$
Let $E/K$ be a field extension and let $L_1$, $L_2$ be intermediate fields of $E/K$ with $[L_i : K] < infty$, $i = 1,2$. Prove that $[L_1 L_2 : K] = [L_1:K]cdot[L_2:K] implies L_1 cap L_2 = K$.
field-theory extension-field
$endgroup$
add a comment |
$begingroup$
Let $E/K$ be a field extension and let $L_1$, $L_2$ be intermediate fields of $E/K$ with $[L_i : K] < infty$, $i = 1,2$. Prove that $[L_1 L_2 : K] = [L_1:K]cdot[L_2:K] implies L_1 cap L_2 = K$.
field-theory extension-field
$endgroup$
add a comment |
$begingroup$
Let $E/K$ be a field extension and let $L_1$, $L_2$ be intermediate fields of $E/K$ with $[L_i : K] < infty$, $i = 1,2$. Prove that $[L_1 L_2 : K] = [L_1:K]cdot[L_2:K] implies L_1 cap L_2 = K$.
field-theory extension-field
$endgroup$
Let $E/K$ be a field extension and let $L_1$, $L_2$ be intermediate fields of $E/K$ with $[L_i : K] < infty$, $i = 1,2$. Prove that $[L_1 L_2 : K] = [L_1:K]cdot[L_2:K] implies L_1 cap L_2 = K$.
field-theory extension-field
field-theory extension-field
edited Dec 14 '18 at 8:14
Brahadeesh
6,36442363
6,36442363
asked Sep 30 '16 at 14:25
F.KF.K
589415
589415
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
One can proceed as follows:
If $S$ is a $K$-basis for $L_1$, then show that $S$ is a generating set for $L_1L_2$ as a vector space over $L_2$. In other words,
$$
L_1L_2 = text{span}_{L_2}(S)
$$
This amounts to showing that the vector space on the right is actually a field (for this, you need that $S$ is a finite set)Once you have that, it shows that
$$
[L_1L_2:K] leq |S| = [L_1:K] qquad (ast)
$$
(This is one way to prove that $[L_1L_2:K] leq [L_1:K][L_2:K]$) In your case, since equality holds in $(ast)$, it also shows that $S$ is $L_2$-linearly independent.Now since $Ksubset L_1cap L_2$, choose a basis $B$ for $L_1cap L_2$ over $K$. Since $B$ is linearly independent over $K$, it may be extended to a basis $S$ of $L_1$ over $K$. Now by part 2, it follows that $B$ is linearly independent over $L_2$. However, $Bsubset L_2$, so it must follows that
$$
|B|=1
$$
and so $L_1cap L_2 = K$.
$endgroup$
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%2f1948060%2fif-l-1-l-2-are-intermediate-fields-of-e-k-then-l-1-l-2-k-l-1-k%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$
One can proceed as follows:
If $S$ is a $K$-basis for $L_1$, then show that $S$ is a generating set for $L_1L_2$ as a vector space over $L_2$. In other words,
$$
L_1L_2 = text{span}_{L_2}(S)
$$
This amounts to showing that the vector space on the right is actually a field (for this, you need that $S$ is a finite set)Once you have that, it shows that
$$
[L_1L_2:K] leq |S| = [L_1:K] qquad (ast)
$$
(This is one way to prove that $[L_1L_2:K] leq [L_1:K][L_2:K]$) In your case, since equality holds in $(ast)$, it also shows that $S$ is $L_2$-linearly independent.Now since $Ksubset L_1cap L_2$, choose a basis $B$ for $L_1cap L_2$ over $K$. Since $B$ is linearly independent over $K$, it may be extended to a basis $S$ of $L_1$ over $K$. Now by part 2, it follows that $B$ is linearly independent over $L_2$. However, $Bsubset L_2$, so it must follows that
$$
|B|=1
$$
and so $L_1cap L_2 = K$.
$endgroup$
add a comment |
$begingroup$
One can proceed as follows:
If $S$ is a $K$-basis for $L_1$, then show that $S$ is a generating set for $L_1L_2$ as a vector space over $L_2$. In other words,
$$
L_1L_2 = text{span}_{L_2}(S)
$$
This amounts to showing that the vector space on the right is actually a field (for this, you need that $S$ is a finite set)Once you have that, it shows that
$$
[L_1L_2:K] leq |S| = [L_1:K] qquad (ast)
$$
(This is one way to prove that $[L_1L_2:K] leq [L_1:K][L_2:K]$) In your case, since equality holds in $(ast)$, it also shows that $S$ is $L_2$-linearly independent.Now since $Ksubset L_1cap L_2$, choose a basis $B$ for $L_1cap L_2$ over $K$. Since $B$ is linearly independent over $K$, it may be extended to a basis $S$ of $L_1$ over $K$. Now by part 2, it follows that $B$ is linearly independent over $L_2$. However, $Bsubset L_2$, so it must follows that
$$
|B|=1
$$
and so $L_1cap L_2 = K$.
$endgroup$
add a comment |
$begingroup$
One can proceed as follows:
If $S$ is a $K$-basis for $L_1$, then show that $S$ is a generating set for $L_1L_2$ as a vector space over $L_2$. In other words,
$$
L_1L_2 = text{span}_{L_2}(S)
$$
This amounts to showing that the vector space on the right is actually a field (for this, you need that $S$ is a finite set)Once you have that, it shows that
$$
[L_1L_2:K] leq |S| = [L_1:K] qquad (ast)
$$
(This is one way to prove that $[L_1L_2:K] leq [L_1:K][L_2:K]$) In your case, since equality holds in $(ast)$, it also shows that $S$ is $L_2$-linearly independent.Now since $Ksubset L_1cap L_2$, choose a basis $B$ for $L_1cap L_2$ over $K$. Since $B$ is linearly independent over $K$, it may be extended to a basis $S$ of $L_1$ over $K$. Now by part 2, it follows that $B$ is linearly independent over $L_2$. However, $Bsubset L_2$, so it must follows that
$$
|B|=1
$$
and so $L_1cap L_2 = K$.
$endgroup$
One can proceed as follows:
If $S$ is a $K$-basis for $L_1$, then show that $S$ is a generating set for $L_1L_2$ as a vector space over $L_2$. In other words,
$$
L_1L_2 = text{span}_{L_2}(S)
$$
This amounts to showing that the vector space on the right is actually a field (for this, you need that $S$ is a finite set)Once you have that, it shows that
$$
[L_1L_2:K] leq |S| = [L_1:K] qquad (ast)
$$
(This is one way to prove that $[L_1L_2:K] leq [L_1:K][L_2:K]$) In your case, since equality holds in $(ast)$, it also shows that $S$ is $L_2$-linearly independent.Now since $Ksubset L_1cap L_2$, choose a basis $B$ for $L_1cap L_2$ over $K$. Since $B$ is linearly independent over $K$, it may be extended to a basis $S$ of $L_1$ over $K$. Now by part 2, it follows that $B$ is linearly independent over $L_2$. However, $Bsubset L_2$, so it must follows that
$$
|B|=1
$$
and so $L_1cap L_2 = K$.
answered Oct 5 '16 at 6:27
Prahlad VaidyanathanPrahlad Vaidyanathan
26.5k12152
26.5k12152
add a comment |
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%2f1948060%2fif-l-1-l-2-are-intermediate-fields-of-e-k-then-l-1-l-2-k-l-1-k%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