Notation: what does $[D:F]$ mean?

Multi tool use
Multi tool use

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
1
down vote

favorite












This is a problem given in the exercise of my text book(Chapter: Algebraic Extension of Fields) But I don't understand the question properly.




Let $D$ be an integral domain and $F$ be a field in $D$ such that $[D:F]<∞$. Prove, $D$ is a field.




If $D$ is not a field then what does $[D:F]$ denote? I know if $E$ is an extension field over a field $F$, then $[E:F]$ denotes the order of $E$ over $F$.



Can anybody clear my queries? Thanks for help in advance.










share|cite|improve this question



















  • 2




    It is the dimension of $D$ as an $F$-vector space.
    – Mike Earnest
    Sep 10 at 13:21










  • Hello: it is best to make the title your actual question, when possible. In this case, you made your title a highly duplicated question on this site, and so it might have been snapped shut by someone not realizing what your real question is.
    – rschwieb
    Sep 10 at 13:44






  • 1




    Mea culpa. I accidentally obliterated the question when I changed the title. I thought I had seen the question in the body too (intended to be in the colored box) but it looks like it was not there. It looks like the problem came from page 27 or so.
    – rschwieb
    Sep 10 at 14:31















up vote
1
down vote

favorite












This is a problem given in the exercise of my text book(Chapter: Algebraic Extension of Fields) But I don't understand the question properly.




Let $D$ be an integral domain and $F$ be a field in $D$ such that $[D:F]<∞$. Prove, $D$ is a field.




If $D$ is not a field then what does $[D:F]$ denote? I know if $E$ is an extension field over a field $F$, then $[E:F]$ denotes the order of $E$ over $F$.



Can anybody clear my queries? Thanks for help in advance.










share|cite|improve this question



















  • 2




    It is the dimension of $D$ as an $F$-vector space.
    – Mike Earnest
    Sep 10 at 13:21










  • Hello: it is best to make the title your actual question, when possible. In this case, you made your title a highly duplicated question on this site, and so it might have been snapped shut by someone not realizing what your real question is.
    – rschwieb
    Sep 10 at 13:44






  • 1




    Mea culpa. I accidentally obliterated the question when I changed the title. I thought I had seen the question in the body too (intended to be in the colored box) but it looks like it was not there. It looks like the problem came from page 27 or so.
    – rschwieb
    Sep 10 at 14:31













up vote
1
down vote

favorite









up vote
1
down vote

favorite











This is a problem given in the exercise of my text book(Chapter: Algebraic Extension of Fields) But I don't understand the question properly.




Let $D$ be an integral domain and $F$ be a field in $D$ such that $[D:F]<∞$. Prove, $D$ is a field.




If $D$ is not a field then what does $[D:F]$ denote? I know if $E$ is an extension field over a field $F$, then $[E:F]$ denotes the order of $E$ over $F$.



Can anybody clear my queries? Thanks for help in advance.










share|cite|improve this question















This is a problem given in the exercise of my text book(Chapter: Algebraic Extension of Fields) But I don't understand the question properly.




Let $D$ be an integral domain and $F$ be a field in $D$ such that $[D:F]<∞$. Prove, $D$ is a field.




If $D$ is not a field then what does $[D:F]$ denote? I know if $E$ is an extension field over a field $F$, then $[E:F]$ denotes the order of $E$ over $F$.



Can anybody clear my queries? Thanks for help in advance.







abstract-algebra notation extension-field






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Sep 10 at 14:30









rschwieb

101k1198234




101k1198234










asked Sep 10 at 13:12









Biswarup Saha

2648




2648







  • 2




    It is the dimension of $D$ as an $F$-vector space.
    – Mike Earnest
    Sep 10 at 13:21










  • Hello: it is best to make the title your actual question, when possible. In this case, you made your title a highly duplicated question on this site, and so it might have been snapped shut by someone not realizing what your real question is.
    – rschwieb
    Sep 10 at 13:44






  • 1




    Mea culpa. I accidentally obliterated the question when I changed the title. I thought I had seen the question in the body too (intended to be in the colored box) but it looks like it was not there. It looks like the problem came from page 27 or so.
    – rschwieb
    Sep 10 at 14:31













  • 2




    It is the dimension of $D$ as an $F$-vector space.
    – Mike Earnest
    Sep 10 at 13:21










  • Hello: it is best to make the title your actual question, when possible. In this case, you made your title a highly duplicated question on this site, and so it might have been snapped shut by someone not realizing what your real question is.
    – rschwieb
    Sep 10 at 13:44






  • 1




    Mea culpa. I accidentally obliterated the question when I changed the title. I thought I had seen the question in the body too (intended to be in the colored box) but it looks like it was not there. It looks like the problem came from page 27 or so.
    – rschwieb
    Sep 10 at 14:31








2




2




It is the dimension of $D$ as an $F$-vector space.
– Mike Earnest
Sep 10 at 13:21




It is the dimension of $D$ as an $F$-vector space.
– Mike Earnest
Sep 10 at 13:21












Hello: it is best to make the title your actual question, when possible. In this case, you made your title a highly duplicated question on this site, and so it might have been snapped shut by someone not realizing what your real question is.
– rschwieb
Sep 10 at 13:44




Hello: it is best to make the title your actual question, when possible. In this case, you made your title a highly duplicated question on this site, and so it might have been snapped shut by someone not realizing what your real question is.
– rschwieb
Sep 10 at 13:44




1




1




Mea culpa. I accidentally obliterated the question when I changed the title. I thought I had seen the question in the body too (intended to be in the colored box) but it looks like it was not there. It looks like the problem came from page 27 or so.
– rschwieb
Sep 10 at 14:31





Mea culpa. I accidentally obliterated the question when I changed the title. I thought I had seen the question in the body too (intended to be in the colored box) but it looks like it was not there. It looks like the problem came from page 27 or so.
– rschwieb
Sep 10 at 14:31











1 Answer
1






active

oldest

votes

















up vote
3
down vote













For a field extension $Fsubset E$, $[E:F]$ denotes the dimension of $E$ as an $F$ vector space. I think it is also written as $|E:F|$ sometimes as well.



From page 1 of your book:



enter image description here



I think it is reasonable to assume that it means the same thing if $E$ is replaced with any $F$ algebra.






share|cite|improve this answer






















  • But the question was explicitly for the case wher $D$ is not a field. I suppose one could still use the notation $[V:k]$ for the dimension of an arbitrary $k$-vector space $V$, but that seems to be rather less common.
    – Henning Makholm
    Sep 10 at 13:52










  • @HenningMakholm You are right. More than one confusion borne out of a question originally split between title and body.
    – rschwieb
    Sep 10 at 14:33











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',
convertImagesToLinks: true,
noModals: false,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);



);













 

draft saved


draft discarded


















StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2911905%2fnotation-what-does-df-mean%23new-answer', 'question_page');

);

Post as a guest






























1 Answer
1






active

oldest

votes








1 Answer
1






active

oldest

votes









active

oldest

votes






active

oldest

votes








up vote
3
down vote













For a field extension $Fsubset E$, $[E:F]$ denotes the dimension of $E$ as an $F$ vector space. I think it is also written as $|E:F|$ sometimes as well.



From page 1 of your book:



enter image description here



I think it is reasonable to assume that it means the same thing if $E$ is replaced with any $F$ algebra.






share|cite|improve this answer






















  • But the question was explicitly for the case wher $D$ is not a field. I suppose one could still use the notation $[V:k]$ for the dimension of an arbitrary $k$-vector space $V$, but that seems to be rather less common.
    – Henning Makholm
    Sep 10 at 13:52










  • @HenningMakholm You are right. More than one confusion borne out of a question originally split between title and body.
    – rschwieb
    Sep 10 at 14:33















up vote
3
down vote













For a field extension $Fsubset E$, $[E:F]$ denotes the dimension of $E$ as an $F$ vector space. I think it is also written as $|E:F|$ sometimes as well.



From page 1 of your book:



enter image description here



I think it is reasonable to assume that it means the same thing if $E$ is replaced with any $F$ algebra.






share|cite|improve this answer






















  • But the question was explicitly for the case wher $D$ is not a field. I suppose one could still use the notation $[V:k]$ for the dimension of an arbitrary $k$-vector space $V$, but that seems to be rather less common.
    – Henning Makholm
    Sep 10 at 13:52










  • @HenningMakholm You are right. More than one confusion borne out of a question originally split between title and body.
    – rschwieb
    Sep 10 at 14:33













up vote
3
down vote










up vote
3
down vote









For a field extension $Fsubset E$, $[E:F]$ denotes the dimension of $E$ as an $F$ vector space. I think it is also written as $|E:F|$ sometimes as well.



From page 1 of your book:



enter image description here



I think it is reasonable to assume that it means the same thing if $E$ is replaced with any $F$ algebra.






share|cite|improve this answer














For a field extension $Fsubset E$, $[E:F]$ denotes the dimension of $E$ as an $F$ vector space. I think it is also written as $|E:F|$ sometimes as well.



From page 1 of your book:



enter image description here



I think it is reasonable to assume that it means the same thing if $E$ is replaced with any $F$ algebra.







share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








edited Sep 10 at 14:32


























community wiki





3 revs
rschwieb












  • But the question was explicitly for the case wher $D$ is not a field. I suppose one could still use the notation $[V:k]$ for the dimension of an arbitrary $k$-vector space $V$, but that seems to be rather less common.
    – Henning Makholm
    Sep 10 at 13:52










  • @HenningMakholm You are right. More than one confusion borne out of a question originally split between title and body.
    – rschwieb
    Sep 10 at 14:33

















  • But the question was explicitly for the case wher $D$ is not a field. I suppose one could still use the notation $[V:k]$ for the dimension of an arbitrary $k$-vector space $V$, but that seems to be rather less common.
    – Henning Makholm
    Sep 10 at 13:52










  • @HenningMakholm You are right. More than one confusion borne out of a question originally split between title and body.
    – rschwieb
    Sep 10 at 14:33
















But the question was explicitly for the case wher $D$ is not a field. I suppose one could still use the notation $[V:k]$ for the dimension of an arbitrary $k$-vector space $V$, but that seems to be rather less common.
– Henning Makholm
Sep 10 at 13:52




But the question was explicitly for the case wher $D$ is not a field. I suppose one could still use the notation $[V:k]$ for the dimension of an arbitrary $k$-vector space $V$, but that seems to be rather less common.
– Henning Makholm
Sep 10 at 13:52












@HenningMakholm You are right. More than one confusion borne out of a question originally split between title and body.
– rschwieb
Sep 10 at 14:33





@HenningMakholm You are right. More than one confusion borne out of a question originally split between title and body.
– rschwieb
Sep 10 at 14:33


















 

draft saved


draft discarded















































 


draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2911905%2fnotation-what-does-df-mean%23new-answer', 'question_page');

);

Post as a guest













































































N,aj5du,eP DVnaGXebWzq1a941,8ix ZwPC8,ym O10Kx1YcurR1TZtsdr6UnIsa7qZk kyshJ8TQQAN,tzdObieWHjNNW6OXM KOwZ,P
rkv9dngKfYIG8m,zs7n7aFL sQf1e teIjG9uy9nuDf,guzVPE2VlMACVEaM9,hheDi7 wtuDyOZaIx,W7mYWw6gS CIpB,ApLq

這個網誌中的熱門文章

How to combine Bézier curves to a surface?

Propositional logic and tautologies

Distribution of Stopped Wiener Process with Stochastic Volatility