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

Multi tool use
Clash 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.
abstract-algebra notation extension-field
add a comment |Â
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.
abstract-algebra notation extension-field
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
add a comment |Â
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.
abstract-algebra notation extension-field
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
abstract-algebra notation extension-field
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
add a comment |Â
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
add a comment |Â
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:
I think it is reasonable to assume that it means the same thing if $E$ is replaced with any $F$ algebra.
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
add a comment |Â
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:
I think it is reasonable to assume that it means the same thing if $E$ is replaced with any $F$ algebra.
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
add a comment |Â
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:
I think it is reasonable to assume that it means the same thing if $E$ is replaced with any $F$ algebra.
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
add a comment |Â
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:
I think it is reasonable to assume that it means the same thing if $E$ is replaced with any $F$ algebra.
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:
I think it is reasonable to assume that it means the same thing if $E$ is replaced with any $F$ algebra.
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
add a comment |Â
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
add a comment |Â
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
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
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
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
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
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