Confusing Definition of field in Sheldon Axler's Linear Algebra done right. What does “1+1 is defined to...
$begingroup$
In the 2015th edition of the book, linear algebra done right. Sheldon axler, defines a field to be
A field is a set containing at least two distinct elements called 0 and 1, along
with operations of addition and multiplication satisfying all the properties
listed in 1.3. Thus R and C are fields, as is the set of rational numbers along
with the usual operations of addition and multiplication. Another example of
a field is the set {0, 1} with the usual operations of addition and multiplication
except that 1 + 1 is defined to equal 0.
In the last sentence he says, except that 1 + 1 is defined to equal 0
.
I don't understand what this means, in the context of a field.
linear-algebra
$endgroup$
add a comment |
$begingroup$
In the 2015th edition of the book, linear algebra done right. Sheldon axler, defines a field to be
A field is a set containing at least two distinct elements called 0 and 1, along
with operations of addition and multiplication satisfying all the properties
listed in 1.3. Thus R and C are fields, as is the set of rational numbers along
with the usual operations of addition and multiplication. Another example of
a field is the set {0, 1} with the usual operations of addition and multiplication
except that 1 + 1 is defined to equal 0.
In the last sentence he says, except that 1 + 1 is defined to equal 0
.
I don't understand what this means, in the context of a field.
linear-algebra
$endgroup$
add a comment |
$begingroup$
In the 2015th edition of the book, linear algebra done right. Sheldon axler, defines a field to be
A field is a set containing at least two distinct elements called 0 and 1, along
with operations of addition and multiplication satisfying all the properties
listed in 1.3. Thus R and C are fields, as is the set of rational numbers along
with the usual operations of addition and multiplication. Another example of
a field is the set {0, 1} with the usual operations of addition and multiplication
except that 1 + 1 is defined to equal 0.
In the last sentence he says, except that 1 + 1 is defined to equal 0
.
I don't understand what this means, in the context of a field.
linear-algebra
$endgroup$
In the 2015th edition of the book, linear algebra done right. Sheldon axler, defines a field to be
A field is a set containing at least two distinct elements called 0 and 1, along
with operations of addition and multiplication satisfying all the properties
listed in 1.3. Thus R and C are fields, as is the set of rational numbers along
with the usual operations of addition and multiplication. Another example of
a field is the set {0, 1} with the usual operations of addition and multiplication
except that 1 + 1 is defined to equal 0.
In the last sentence he says, except that 1 + 1 is defined to equal 0
.
I don't understand what this means, in the context of a field.
linear-algebra
linear-algebra
asked Jan 14 at 11:09
Daksh MiglaniDaksh Miglani
1247
1247
add a comment |
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
The zero element $0$ and unit element $1$ of a field $F$ form itself a field $P={0,1}$ if the addition is defined such that $1+1=0$. This is the prime field with two elements usually denoted by ${Bbb Z}_2$ (as ring) or $GF(2)$ (as Galois field).
$endgroup$
$begingroup$
Correct, but $0$ and $1$ are not, a priori, elements of a field. They are just symbols. We could have written $a$ and $b$ instead, and said that, by definition, $a+a=a, a+b=b$ and $b+b=a$.
$endgroup$
– Giuseppe Negro
Jan 14 at 11:16
$begingroup$
@GiuseppeNegro can you verify my comment on the answer by José Carlos Santos.
$endgroup$
– Daksh Miglani
Jan 14 at 11:18
add a comment |
$begingroup$
Sheldon is talking about the field $mathbb{Z}_2={0,1}$, for which we have$$0+0=0, 0+1=1,, 1+0=1text{, and }1+1=0$$and$$0times0=0, 0times1=0, 1times0=0text{, and }1times1=1.$$
$endgroup$
$begingroup$
okay so since there is no other element in the field ({0, 1}) except 0 and 1, 1+1 will go to the next possible element in the field but since there's none, it goes back to 0. right?
$endgroup$
– Daksh Miglani
Jan 14 at 11:17
$begingroup$
No. It's because $1+1=1iff1+1=1+0implies1=0$ but, by definition, in a field you always have $1neq0$.
$endgroup$
– José Carlos Santos
Jan 14 at 11:19
$begingroup$
can you simply this explanation a bit further, I'm still confused.
$endgroup$
– Daksh Miglani
Jan 14 at 11:28
1
$begingroup$
In any field, you have$$a+b=a+cimplies b=c.$$In particular, if we had $1+1=1$, we would have $1+1=1+0$, but then it would follow from the rule above that $1=0$, which cannot happen, by the definition of field.
$endgroup$
– José Carlos Santos
Jan 14 at 11:30
add a comment |
Your Answer
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%2f3073109%2fconfusing-definition-of-field-in-sheldon-axlers-linear-algebra-done-right-what%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
The zero element $0$ and unit element $1$ of a field $F$ form itself a field $P={0,1}$ if the addition is defined such that $1+1=0$. This is the prime field with two elements usually denoted by ${Bbb Z}_2$ (as ring) or $GF(2)$ (as Galois field).
$endgroup$
$begingroup$
Correct, but $0$ and $1$ are not, a priori, elements of a field. They are just symbols. We could have written $a$ and $b$ instead, and said that, by definition, $a+a=a, a+b=b$ and $b+b=a$.
$endgroup$
– Giuseppe Negro
Jan 14 at 11:16
$begingroup$
@GiuseppeNegro can you verify my comment on the answer by José Carlos Santos.
$endgroup$
– Daksh Miglani
Jan 14 at 11:18
add a comment |
$begingroup$
The zero element $0$ and unit element $1$ of a field $F$ form itself a field $P={0,1}$ if the addition is defined such that $1+1=0$. This is the prime field with two elements usually denoted by ${Bbb Z}_2$ (as ring) or $GF(2)$ (as Galois field).
$endgroup$
$begingroup$
Correct, but $0$ and $1$ are not, a priori, elements of a field. They are just symbols. We could have written $a$ and $b$ instead, and said that, by definition, $a+a=a, a+b=b$ and $b+b=a$.
$endgroup$
– Giuseppe Negro
Jan 14 at 11:16
$begingroup$
@GiuseppeNegro can you verify my comment on the answer by José Carlos Santos.
$endgroup$
– Daksh Miglani
Jan 14 at 11:18
add a comment |
$begingroup$
The zero element $0$ and unit element $1$ of a field $F$ form itself a field $P={0,1}$ if the addition is defined such that $1+1=0$. This is the prime field with two elements usually denoted by ${Bbb Z}_2$ (as ring) or $GF(2)$ (as Galois field).
$endgroup$
The zero element $0$ and unit element $1$ of a field $F$ form itself a field $P={0,1}$ if the addition is defined such that $1+1=0$. This is the prime field with two elements usually denoted by ${Bbb Z}_2$ (as ring) or $GF(2)$ (as Galois field).
answered Jan 14 at 11:13
WuestenfuxWuestenfux
5,5561513
5,5561513
$begingroup$
Correct, but $0$ and $1$ are not, a priori, elements of a field. They are just symbols. We could have written $a$ and $b$ instead, and said that, by definition, $a+a=a, a+b=b$ and $b+b=a$.
$endgroup$
– Giuseppe Negro
Jan 14 at 11:16
$begingroup$
@GiuseppeNegro can you verify my comment on the answer by José Carlos Santos.
$endgroup$
– Daksh Miglani
Jan 14 at 11:18
add a comment |
$begingroup$
Correct, but $0$ and $1$ are not, a priori, elements of a field. They are just symbols. We could have written $a$ and $b$ instead, and said that, by definition, $a+a=a, a+b=b$ and $b+b=a$.
$endgroup$
– Giuseppe Negro
Jan 14 at 11:16
$begingroup$
@GiuseppeNegro can you verify my comment on the answer by José Carlos Santos.
$endgroup$
– Daksh Miglani
Jan 14 at 11:18
$begingroup$
Correct, but $0$ and $1$ are not, a priori, elements of a field. They are just symbols. We could have written $a$ and $b$ instead, and said that, by definition, $a+a=a, a+b=b$ and $b+b=a$.
$endgroup$
– Giuseppe Negro
Jan 14 at 11:16
$begingroup$
Correct, but $0$ and $1$ are not, a priori, elements of a field. They are just symbols. We could have written $a$ and $b$ instead, and said that, by definition, $a+a=a, a+b=b$ and $b+b=a$.
$endgroup$
– Giuseppe Negro
Jan 14 at 11:16
$begingroup$
@GiuseppeNegro can you verify my comment on the answer by José Carlos Santos.
$endgroup$
– Daksh Miglani
Jan 14 at 11:18
$begingroup$
@GiuseppeNegro can you verify my comment on the answer by José Carlos Santos.
$endgroup$
– Daksh Miglani
Jan 14 at 11:18
add a comment |
$begingroup$
Sheldon is talking about the field $mathbb{Z}_2={0,1}$, for which we have$$0+0=0, 0+1=1,, 1+0=1text{, and }1+1=0$$and$$0times0=0, 0times1=0, 1times0=0text{, and }1times1=1.$$
$endgroup$
$begingroup$
okay so since there is no other element in the field ({0, 1}) except 0 and 1, 1+1 will go to the next possible element in the field but since there's none, it goes back to 0. right?
$endgroup$
– Daksh Miglani
Jan 14 at 11:17
$begingroup$
No. It's because $1+1=1iff1+1=1+0implies1=0$ but, by definition, in a field you always have $1neq0$.
$endgroup$
– José Carlos Santos
Jan 14 at 11:19
$begingroup$
can you simply this explanation a bit further, I'm still confused.
$endgroup$
– Daksh Miglani
Jan 14 at 11:28
1
$begingroup$
In any field, you have$$a+b=a+cimplies b=c.$$In particular, if we had $1+1=1$, we would have $1+1=1+0$, but then it would follow from the rule above that $1=0$, which cannot happen, by the definition of field.
$endgroup$
– José Carlos Santos
Jan 14 at 11:30
add a comment |
$begingroup$
Sheldon is talking about the field $mathbb{Z}_2={0,1}$, for which we have$$0+0=0, 0+1=1,, 1+0=1text{, and }1+1=0$$and$$0times0=0, 0times1=0, 1times0=0text{, and }1times1=1.$$
$endgroup$
$begingroup$
okay so since there is no other element in the field ({0, 1}) except 0 and 1, 1+1 will go to the next possible element in the field but since there's none, it goes back to 0. right?
$endgroup$
– Daksh Miglani
Jan 14 at 11:17
$begingroup$
No. It's because $1+1=1iff1+1=1+0implies1=0$ but, by definition, in a field you always have $1neq0$.
$endgroup$
– José Carlos Santos
Jan 14 at 11:19
$begingroup$
can you simply this explanation a bit further, I'm still confused.
$endgroup$
– Daksh Miglani
Jan 14 at 11:28
1
$begingroup$
In any field, you have$$a+b=a+cimplies b=c.$$In particular, if we had $1+1=1$, we would have $1+1=1+0$, but then it would follow from the rule above that $1=0$, which cannot happen, by the definition of field.
$endgroup$
– José Carlos Santos
Jan 14 at 11:30
add a comment |
$begingroup$
Sheldon is talking about the field $mathbb{Z}_2={0,1}$, for which we have$$0+0=0, 0+1=1,, 1+0=1text{, and }1+1=0$$and$$0times0=0, 0times1=0, 1times0=0text{, and }1times1=1.$$
$endgroup$
Sheldon is talking about the field $mathbb{Z}_2={0,1}$, for which we have$$0+0=0, 0+1=1,, 1+0=1text{, and }1+1=0$$and$$0times0=0, 0times1=0, 1times0=0text{, and }1times1=1.$$
edited Jan 14 at 11:20
answered Jan 14 at 11:15
José Carlos SantosJosé Carlos Santos
176k24136245
176k24136245
$begingroup$
okay so since there is no other element in the field ({0, 1}) except 0 and 1, 1+1 will go to the next possible element in the field but since there's none, it goes back to 0. right?
$endgroup$
– Daksh Miglani
Jan 14 at 11:17
$begingroup$
No. It's because $1+1=1iff1+1=1+0implies1=0$ but, by definition, in a field you always have $1neq0$.
$endgroup$
– José Carlos Santos
Jan 14 at 11:19
$begingroup$
can you simply this explanation a bit further, I'm still confused.
$endgroup$
– Daksh Miglani
Jan 14 at 11:28
1
$begingroup$
In any field, you have$$a+b=a+cimplies b=c.$$In particular, if we had $1+1=1$, we would have $1+1=1+0$, but then it would follow from the rule above that $1=0$, which cannot happen, by the definition of field.
$endgroup$
– José Carlos Santos
Jan 14 at 11:30
add a comment |
$begingroup$
okay so since there is no other element in the field ({0, 1}) except 0 and 1, 1+1 will go to the next possible element in the field but since there's none, it goes back to 0. right?
$endgroup$
– Daksh Miglani
Jan 14 at 11:17
$begingroup$
No. It's because $1+1=1iff1+1=1+0implies1=0$ but, by definition, in a field you always have $1neq0$.
$endgroup$
– José Carlos Santos
Jan 14 at 11:19
$begingroup$
can you simply this explanation a bit further, I'm still confused.
$endgroup$
– Daksh Miglani
Jan 14 at 11:28
1
$begingroup$
In any field, you have$$a+b=a+cimplies b=c.$$In particular, if we had $1+1=1$, we would have $1+1=1+0$, but then it would follow from the rule above that $1=0$, which cannot happen, by the definition of field.
$endgroup$
– José Carlos Santos
Jan 14 at 11:30
$begingroup$
okay so since there is no other element in the field ({0, 1}) except 0 and 1, 1+1 will go to the next possible element in the field but since there's none, it goes back to 0. right?
$endgroup$
– Daksh Miglani
Jan 14 at 11:17
$begingroup$
okay so since there is no other element in the field ({0, 1}) except 0 and 1, 1+1 will go to the next possible element in the field but since there's none, it goes back to 0. right?
$endgroup$
– Daksh Miglani
Jan 14 at 11:17
$begingroup$
No. It's because $1+1=1iff1+1=1+0implies1=0$ but, by definition, in a field you always have $1neq0$.
$endgroup$
– José Carlos Santos
Jan 14 at 11:19
$begingroup$
No. It's because $1+1=1iff1+1=1+0implies1=0$ but, by definition, in a field you always have $1neq0$.
$endgroup$
– José Carlos Santos
Jan 14 at 11:19
$begingroup$
can you simply this explanation a bit further, I'm still confused.
$endgroup$
– Daksh Miglani
Jan 14 at 11:28
$begingroup$
can you simply this explanation a bit further, I'm still confused.
$endgroup$
– Daksh Miglani
Jan 14 at 11:28
1
1
$begingroup$
In any field, you have$$a+b=a+cimplies b=c.$$In particular, if we had $1+1=1$, we would have $1+1=1+0$, but then it would follow from the rule above that $1=0$, which cannot happen, by the definition of field.
$endgroup$
– José Carlos Santos
Jan 14 at 11:30
$begingroup$
In any field, you have$$a+b=a+cimplies b=c.$$In particular, if we had $1+1=1$, we would have $1+1=1+0$, but then it would follow from the rule above that $1=0$, which cannot happen, by the definition of field.
$endgroup$
– José Carlos Santos
Jan 14 at 11:30
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%2f3073109%2fconfusing-definition-of-field-in-sheldon-axlers-linear-algebra-done-right-what%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