Mixing
Equivalence of two characterizations of the norm of an algebraic integer.
$begingroup$
Let $a+bi=alphainmathbb{Z}[i]$ be a Gaussian integer. why is it that $N(alpha)=a^2+b^2$ is equal to the cardinality of $mathbb{Z}[i]/(alpha)?$ My question can be generalized to quadratic integers in general, and I'm not sure to what extent it goes further. An answer addressing any of these points, or leading me to a good source, would be valuable.
abstract-algebra number-theory gaussian-integers
edited Jan 27 at 16:58
user549397
1,5531418
$endgroup$
add a comment |
$begingroup$
Let $a+bi=alphainmathbb{Z}[i]$ be a Gaussian integer. why is it that $N(alpha)=a^2+b^2$ is equal to the cardinality of $mathbb{Z}[i]/(alpha)?$ My question can be generalized to quadratic integers in general, and I'm not sure to what extent it goes further. An answer addressing any of these points, or leading me to a good source, would be valuable.
abstract-algebra number-theory gaussian-integers
edited Jan 27 at 16:58
user549397
1,5531418
$endgroup$
1
$begingroup$
See my answer at math.stackexchange.com/questions/74406/… for an explanation that covers the case you talk about. (The observation that the norm of a Gaussian integer is positive is also relevant. Also see my comment there.)
$endgroup$
– Barry Smith
Apr 17 '12 at 2:03
1
$begingroup$
I think there is a geometric argument that works for the Gaussian case, though I don't recall it.
$endgroup$
– Lepidopterist
Apr 17 '12 at 2:30
$begingroup$
Would love to know a geometric argument if you could remember or point me to a source.
$endgroup$
– user21725
Apr 17 '12 at 18:53
add a comment |
$begingroup$
Let $a+bi=alphainmathbb{Z}[i]$ be a Gaussian integer. why is it that $N(alpha)=a^2+b^2$ is equal to the cardinality of $mathbb{Z}[i]/(alpha)?$ My question can be generalized to quadratic integers in general, and I'm not sure to what extent it goes further. An answer addressing any of these points, or leading me to a good source, would be valuable.
abstract-algebra number-theory gaussian-integers
edited Jan 27 at 16:58
user549397
1,5531418
$endgroup$
Let $a+bi=alphainmathbb{Z}[i]$ be a Gaussian integer. why is it that $N(alpha)=a^2+b^2$ is equal to the cardinality of $mathbb{Z}[i]/(alpha)?$ My question can be generalized to quadratic integers in general, and I'm not sure to what extent it goes further. An answer addressing any of these points, or leading me to a good source, would be valuable.
abstract-algebra number-theory gaussian-integers
abstract-algebra number-theory gaussian-integers
edited Jan 27 at 16:58
user549397
1,5531418
edited Jan 27 at 16:58
user549397
1,5531418
edited Jan 27 at 16:58
user549397
1,5531418
edited Jan 27 at 16:58
user549397
1,5531418
edited Jan 27 at 16:58
user549397
1,5531418
1,5531418
asked Apr 17 '12 at 1:28
user21725
1
$begingroup$
See my answer at math.stackexchange.com/questions/74406/… for an explanation that covers the case you talk about. (The observation that the norm of a Gaussian integer is positive is also relevant. Also see my comment there.)
$endgroup$
– Barry Smith
Apr 17 '12 at 2:03
1
$begingroup$
I think there is a geometric argument that works for the Gaussian case, though I don't recall it.
$endgroup$
– Lepidopterist
Apr 17 '12 at 2:30
$begingroup$
Would love to know a geometric argument if you could remember or point me to a source.
$endgroup$
– user21725
Apr 17 '12 at 18:53
add a comment |
1
$begingroup$
See my answer at math.stackexchange.com/questions/74406/… for an explanation that covers the case you talk about. (The observation that the norm of a Gaussian integer is positive is also relevant. Also see my comment there.)
$endgroup$
– Barry Smith
Apr 17 '12 at 2:03
1
$begingroup$
I think there is a geometric argument that works for the Gaussian case, though I don't recall it.
$endgroup$
– Lepidopterist
Apr 17 '12 at 2:30
$begingroup$
Would love to know a geometric argument if you could remember or point me to a source.
$endgroup$
– user21725
Apr 17 '12 at 18:53
1
1
$begingroup$
See my answer at math.stackexchange.com/questions/74406/… for an explanation that covers the case you talk about. (The observation that the norm of a Gaussian integer is positive is also relevant. Also see my comment there.)
$endgroup$
– Barry Smith
Apr 17 '12 at 2:03
$begingroup$
See my answer at math.stackexchange.com/questions/74406/… for an explanation that covers the case you talk about. (The observation that the norm of a Gaussian integer is positive is also relevant. Also see my comment there.)
$endgroup$
– Barry Smith
Apr 17 '12 at 2:03
1
1
$begingroup$
I think there is a geometric argument that works for the Gaussian case, though I don't recall it.
$endgroup$
– Lepidopterist
Apr 17 '12 at 2:30
$begingroup$
I think there is a geometric argument that works for the Gaussian case, though I don't recall it.
$endgroup$
– Lepidopterist
Apr 17 '12 at 2:30
$begingroup$
Would love to know a geometric argument if you could remember or point me to a source.
$endgroup$
– user21725
Apr 17 '12 at 18:53
$begingroup$
Would love to know a geometric argument if you could remember or point me to a source.
$endgroup$
– user21725
Apr 17 '12 at 18:53
add a comment |
3 Answers
3
active
oldest
votes
$begingroup$
For an integer $n$, the quotient group ${mathbf Z}[i]/(n)$ clearly has order $n^2$. Now consider the chain of ideals $({rm N}(alpha)) subset (alpha) subset {mathbf Z}[i]$. The index $[{mathbf Z}[i]:{rm N}(alpha)]$ is $({rm N}(alpha))^2$. Through multiplication by $alpha$, ${mathbf Z}[i]/(overline{alpha}) cong (alpha)/({rm N}(alpha))$ as additive groups. Thus $$[{mathbf Z}[i]:({rm N}(alpha))] = [{mathbf Z}[i]:(alpha)][(alpha):({rm N}(alpha))] = [{mathbf Z}[i]:(alpha)][{mathbf Z}[i]:(overline{alpha})].$$
Complex conjugation induces an isomorphism of ${mathbf Z}[i]/(alpha)$ with ${mathbf Z}[i]/(overline{alpha})$ (as rings or, sufficient for our purposes, as additive groups). Thus the above displayed equation implies
$$({rm N}(alpha))^2 = [{mathbf Z}[i]:(alpha)]^2.$$
Now take positive square roots of both sides and you're done.
This method applies without essential changes to show for any quadratic ring ${mathcal O}$ (by which I mean a subring of rank 2 inside a quadratic field, not necessarily the full ring of integers) and nonzero $alpha$ in ${mathcal O}$ that
$#({mathcal O}/(alpha)) = |{rm N}(alpha)|$. In the proof replace complex conjugation with whatever the conjugation operation is on the quadratic ring. The absolute value is essential if you're in a real quadratic field, where the norm function can take negative values. For example, $#({mathbf Z}[sqrt{2}]/(1+5sqrt{2})) = |-49| = 49$. This approach does not tell you a set of representatives for the cosets mod $alpha$, but you didn't ask for that.
In order to go beyond quadratic rings, say to integers in a number field, this method breaks down because it depends on the crutch of the conjugation operation. It's true that in any order ${mathcal O}$ in a number field $K$, $#({mathcal O}/(alpha)) = |{rm N}_{K/mathbf Q}(alpha)|$, but the method above doesn't directly extend to that setting. You could first prove the result for a larger Galois extension containing $K$ and then use that to derive the case of interest, or you just need other techniques (e.g., structure theorem for torsion modules over a PID). The trick above for the quadratic case is nice since it gives you the result fairly painlessly (no need to find an explicit set of representatives, which can be tedious for ${mathbf Z}[i]/(alpha)$ if the real and imaginary parts of $alpha$ are not relatively prime, and then would you have to start all over again if you wanted to work in ${mathbf Z}[sqrt{10}]dots$).
answered Apr 17 '12 at 2:06
KCdKCd
16.9k4078
$endgroup$
$begingroup$
This is a great argument, thanks. If you know of the geometric one that jay wendt mentioned, that would be interesting to know as well. Also, I would be very interested to know what the set of representatives would be for the cosets mod $alpha$! I could make a separate question, if you like.
$endgroup$
– user21725
Apr 17 '12 at 19:14
1
$begingroup$
math.stackexchange.com/questions/133495/…
$endgroup$
– user21725
Apr 18 '12 at 15:36
1
$begingroup$
A geometric argument is based on Pick's theorem. For nonzero Gaussian integer $alpha$, coset reps for ${mathbf Z}[i]/(alpha)$ are lattice points in the parallelogram with two edges the vectors $alpha$ and $ialpha$. You also want to count all non-vertex lattice points on those two edges and their common vertex 0 just once (not twice). If you accept this is a complete set of coset reps, then $#({mathbf Z}[i]/(alpha))= I+B/2-1$, where $I$ is the total number of interior lattice pts and $B$ is the total number of bdy lattice points. By Pick this is the area, and area = ${rm N}(alpha)$.
$endgroup$
– KCd
Apr 19 '12 at 2:40
add a comment |
$begingroup$
It is worth emphasis that the standard proof in KCd's answer has a very suggestive presentation in "fractional" form, since the "cancellations" are analogous to cancellation of fractions, viz.
$$rm alphabaralpha R subset alpha R subset R $$
$$rm Rightarrow N(alpha )^2 =: left|frac{R}{alphabaralpha R}right|: =: left|frac{R}{alpha R}right|: left|frac{alpha R}{alphabaralpha R}right|: =: left|frac{R}{alpha R}right|: left|frac{R}{baralpha R}right|: =: left|frac{R}{alpha R}right|^{:!2}$$
This is one reason for the use of quotient-like notation for quotient structures.
A more general method is to rewrite the ideal as a module in Hermite normal form, via well-known algorithms, e.g. see H. Cohen's book (vol. 1) or Lemmermeyer's lecture notes, e.g. see this answer.
answered Apr 17 '12 at 3:13
Bill DubuqueBill Dubuque
213k29195654
$endgroup$
add a comment |
$begingroup$
If $ gcd(a,b)=1 $, then I believe that $ {0,1,2,dots,N(alpha)-1} $ is a complete set of representatives for $ mathbb Z[i]/(alpha) $; this would prove that $ N(alpha) $ equals the cardinality in question.
In general I think the same idea holds with the complete set of representatives $ {x+yi colon 0 le x < gN(alpha),, 0le y<g} $ where $ g=gcd(a,b) $.
edited Jan 27 at 17:37
user549397
1,5531418
answered Apr 17 '12 at 1:55
Greg MartinGreg Martin
36.5k23565
$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%2f132772%2fequivalence-of-two-characterizations-of-the-norm-of-an-algebraic-integer%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
3 Answers
3
active
oldest
votes
3 Answers
3
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
For an integer $n$, the quotient group ${mathbf Z}[i]/(n)$ clearly has order $n^2$. Now consider the chain of ideals $({rm N}(alpha)) subset (alpha) subset {mathbf Z}[i]$. The index $[{mathbf Z}[i]:{rm N}(alpha)]$ is $({rm N}(alpha))^2$. Through multiplication by $alpha$, ${mathbf Z}[i]/(overline{alpha}) cong (alpha)/({rm N}(alpha))$ as additive groups. Thus $$[{mathbf Z}[i]:({rm N}(alpha))] = [{mathbf Z}[i]:(alpha)][(alpha):({rm N}(alpha))] = [{mathbf Z}[i]:(alpha)][{mathbf Z}[i]:(overline{alpha})].$$
Complex conjugation induces an isomorphism of ${mathbf Z}[i]/(alpha)$ with ${mathbf Z}[i]/(overline{alpha})$ (as rings or, sufficient for our purposes, as additive groups). Thus the above displayed equation implies
$$({rm N}(alpha))^2 = [{mathbf Z}[i]:(alpha)]^2.$$
Now take positive square roots of both sides and you're done.
This method applies without essential changes to show for any quadratic ring ${mathcal O}$ (by which I mean a subring of rank 2 inside a quadratic field, not necessarily the full ring of integers) and nonzero $alpha$ in ${mathcal O}$ that
$#({mathcal O}/(alpha)) = |{rm N}(alpha)|$. In the proof replace complex conjugation with whatever the conjugation operation is on the quadratic ring. The absolute value is essential if you're in a real quadratic field, where the norm function can take negative values. For example, $#({mathbf Z}[sqrt{2}]/(1+5sqrt{2})) = |-49| = 49$. This approach does not tell you a set of representatives for the cosets mod $alpha$, but you didn't ask for that.
In order to go beyond quadratic rings, say to integers in a number field, this method breaks down because it depends on the crutch of the conjugation operation. It's true that in any order ${mathcal O}$ in a number field $K$, $#({mathcal O}/(alpha)) = |{rm N}_{K/mathbf Q}(alpha)|$, but the method above doesn't directly extend to that setting. You could first prove the result for a larger Galois extension containing $K$ and then use that to derive the case of interest, or you just need other techniques (e.g., structure theorem for torsion modules over a PID). The trick above for the quadratic case is nice since it gives you the result fairly painlessly (no need to find an explicit set of representatives, which can be tedious for ${mathbf Z}[i]/(alpha)$ if the real and imaginary parts of $alpha$ are not relatively prime, and then would you have to start all over again if you wanted to work in ${mathbf Z}[sqrt{10}]dots$).
answered Apr 17 '12 at 2:06
KCdKCd
16.9k4078
$endgroup$
$begingroup$
This is a great argument, thanks. If you know of the geometric one that jay wendt mentioned, that would be interesting to know as well. Also, I would be very interested to know what the set of representatives would be for the cosets mod $alpha$! I could make a separate question, if you like.
$endgroup$
– user21725
Apr 17 '12 at 19:14
1
$begingroup$
math.stackexchange.com/questions/133495/…
$endgroup$
– user21725
Apr 18 '12 at 15:36
1
$begingroup$
A geometric argument is based on Pick's theorem. For nonzero Gaussian integer $alpha$, coset reps for ${mathbf Z}[i]/(alpha)$ are lattice points in the parallelogram with two edges the vectors $alpha$ and $ialpha$. You also want to count all non-vertex lattice points on those two edges and their common vertex 0 just once (not twice). If you accept this is a complete set of coset reps, then $#({mathbf Z}[i]/(alpha))= I+B/2-1$, where $I$ is the total number of interior lattice pts and $B$ is the total number of bdy lattice points. By Pick this is the area, and area = ${rm N}(alpha)$.
$endgroup$
– KCd
Apr 19 '12 at 2:40
add a comment |
$begingroup$
For an integer $n$, the quotient group ${mathbf Z}[i]/(n)$ clearly has order $n^2$. Now consider the chain of ideals $({rm N}(alpha)) subset (alpha) subset {mathbf Z}[i]$. The index $[{mathbf Z}[i]:{rm N}(alpha)]$ is $({rm N}(alpha))^2$. Through multiplication by $alpha$, ${mathbf Z}[i]/(overline{alpha}) cong (alpha)/({rm N}(alpha))$ as additive groups. Thus $$[{mathbf Z}[i]:({rm N}(alpha))] = [{mathbf Z}[i]:(alpha)][(alpha):({rm N}(alpha))] = [{mathbf Z}[i]:(alpha)][{mathbf Z}[i]:(overline{alpha})].$$
Complex conjugation induces an isomorphism of ${mathbf Z}[i]/(alpha)$ with ${mathbf Z}[i]/(overline{alpha})$ (as rings or, sufficient for our purposes, as additive groups). Thus the above displayed equation implies
$$({rm N}(alpha))^2 = [{mathbf Z}[i]:(alpha)]^2.$$
Now take positive square roots of both sides and you're done.
This method applies without essential changes to show for any quadratic ring ${mathcal O}$ (by which I mean a subring of rank 2 inside a quadratic field, not necessarily the full ring of integers) and nonzero $alpha$ in ${mathcal O}$ that
$#({mathcal O}/(alpha)) = |{rm N}(alpha)|$. In the proof replace complex conjugation with whatever the conjugation operation is on the quadratic ring. The absolute value is essential if you're in a real quadratic field, where the norm function can take negative values. For example, $#({mathbf Z}[sqrt{2}]/(1+5sqrt{2})) = |-49| = 49$. This approach does not tell you a set of representatives for the cosets mod $alpha$, but you didn't ask for that.
In order to go beyond quadratic rings, say to integers in a number field, this method breaks down because it depends on the crutch of the conjugation operation. It's true that in any order ${mathcal O}$ in a number field $K$, $#({mathcal O}/(alpha)) = |{rm N}_{K/mathbf Q}(alpha)|$, but the method above doesn't directly extend to that setting. You could first prove the result for a larger Galois extension containing $K$ and then use that to derive the case of interest, or you just need other techniques (e.g., structure theorem for torsion modules over a PID). The trick above for the quadratic case is nice since it gives you the result fairly painlessly (no need to find an explicit set of representatives, which can be tedious for ${mathbf Z}[i]/(alpha)$ if the real and imaginary parts of $alpha$ are not relatively prime, and then would you have to start all over again if you wanted to work in ${mathbf Z}[sqrt{10}]dots$).
answered Apr 17 '12 at 2:06
KCdKCd
16.9k4078
$endgroup$
$begingroup$
This is a great argument, thanks. If you know of the geometric one that jay wendt mentioned, that would be interesting to know as well. Also, I would be very interested to know what the set of representatives would be for the cosets mod $alpha$! I could make a separate question, if you like.
$endgroup$
– user21725
Apr 17 '12 at 19:14
1
$begingroup$
math.stackexchange.com/questions/133495/…
$endgroup$
– user21725
Apr 18 '12 at 15:36
1
$begingroup$
A geometric argument is based on Pick's theorem. For nonzero Gaussian integer $alpha$, coset reps for ${mathbf Z}[i]/(alpha)$ are lattice points in the parallelogram with two edges the vectors $alpha$ and $ialpha$. You also want to count all non-vertex lattice points on those two edges and their common vertex 0 just once (not twice). If you accept this is a complete set of coset reps, then $#({mathbf Z}[i]/(alpha))= I+B/2-1$, where $I$ is the total number of interior lattice pts and $B$ is the total number of bdy lattice points. By Pick this is the area, and area = ${rm N}(alpha)$.
$endgroup$
– KCd
Apr 19 '12 at 2:40
add a comment |
$begingroup$
For an integer $n$, the quotient group ${mathbf Z}[i]/(n)$ clearly has order $n^2$. Now consider the chain of ideals $({rm N}(alpha)) subset (alpha) subset {mathbf Z}[i]$. The index $[{mathbf Z}[i]:{rm N}(alpha)]$ is $({rm N}(alpha))^2$. Through multiplication by $alpha$, ${mathbf Z}[i]/(overline{alpha}) cong (alpha)/({rm N}(alpha))$ as additive groups. Thus $$[{mathbf Z}[i]:({rm N}(alpha))] = [{mathbf Z}[i]:(alpha)][(alpha):({rm N}(alpha))] = [{mathbf Z}[i]:(alpha)][{mathbf Z}[i]:(overline{alpha})].$$
Complex conjugation induces an isomorphism of ${mathbf Z}[i]/(alpha)$ with ${mathbf Z}[i]/(overline{alpha})$ (as rings or, sufficient for our purposes, as additive groups). Thus the above displayed equation implies
$$({rm N}(alpha))^2 = [{mathbf Z}[i]:(alpha)]^2.$$
Now take positive square roots of both sides and you're done.
This method applies without essential changes to show for any quadratic ring ${mathcal O}$ (by which I mean a subring of rank 2 inside a quadratic field, not necessarily the full ring of integers) and nonzero $alpha$ in ${mathcal O}$ that
$#({mathcal O}/(alpha)) = |{rm N}(alpha)|$. In the proof replace complex conjugation with whatever the conjugation operation is on the quadratic ring. The absolute value is essential if you're in a real quadratic field, where the norm function can take negative values. For example, $#({mathbf Z}[sqrt{2}]/(1+5sqrt{2})) = |-49| = 49$. This approach does not tell you a set of representatives for the cosets mod $alpha$, but you didn't ask for that.
In order to go beyond quadratic rings, say to integers in a number field, this method breaks down because it depends on the crutch of the conjugation operation. It's true that in any order ${mathcal O}$ in a number field $K$, $#({mathcal O}/(alpha)) = |{rm N}_{K/mathbf Q}(alpha)|$, but the method above doesn't directly extend to that setting. You could first prove the result for a larger Galois extension containing $K$ and then use that to derive the case of interest, or you just need other techniques (e.g., structure theorem for torsion modules over a PID). The trick above for the quadratic case is nice since it gives you the result fairly painlessly (no need to find an explicit set of representatives, which can be tedious for ${mathbf Z}[i]/(alpha)$ if the real and imaginary parts of $alpha$ are not relatively prime, and then would you have to start all over again if you wanted to work in ${mathbf Z}[sqrt{10}]dots$).
answered Apr 17 '12 at 2:06
KCdKCd
16.9k4078
$endgroup$
For an integer $n$, the quotient group ${mathbf Z}[i]/(n)$ clearly has order $n^2$. Now consider the chain of ideals $({rm N}(alpha)) subset (alpha) subset {mathbf Z}[i]$. The index $[{mathbf Z}[i]:{rm N}(alpha)]$ is $({rm N}(alpha))^2$. Through multiplication by $alpha$, ${mathbf Z}[i]/(overline{alpha}) cong (alpha)/({rm N}(alpha))$ as additive groups. Thus $$[{mathbf Z}[i]:({rm N}(alpha))] = [{mathbf Z}[i]:(alpha)][(alpha):({rm N}(alpha))] = [{mathbf Z}[i]:(alpha)][{mathbf Z}[i]:(overline{alpha})].$$
Complex conjugation induces an isomorphism of ${mathbf Z}[i]/(alpha)$ with ${mathbf Z}[i]/(overline{alpha})$ (as rings or, sufficient for our purposes, as additive groups). Thus the above displayed equation implies
$$({rm N}(alpha))^2 = [{mathbf Z}[i]:(alpha)]^2.$$
Now take positive square roots of both sides and you're done.
This method applies without essential changes to show for any quadratic ring ${mathcal O}$ (by which I mean a subring of rank 2 inside a quadratic field, not necessarily the full ring of integers) and nonzero $alpha$ in ${mathcal O}$ that
$#({mathcal O}/(alpha)) = |{rm N}(alpha)|$. In the proof replace complex conjugation with whatever the conjugation operation is on the quadratic ring. The absolute value is essential if you're in a real quadratic field, where the norm function can take negative values. For example, $#({mathbf Z}[sqrt{2}]/(1+5sqrt{2})) = |-49| = 49$. This approach does not tell you a set of representatives for the cosets mod $alpha$, but you didn't ask for that.
In order to go beyond quadratic rings, say to integers in a number field, this method breaks down because it depends on the crutch of the conjugation operation. It's true that in any order ${mathcal O}$ in a number field $K$, $#({mathcal O}/(alpha)) = |{rm N}_{K/mathbf Q}(alpha)|$, but the method above doesn't directly extend to that setting. You could first prove the result for a larger Galois extension containing $K$ and then use that to derive the case of interest, or you just need other techniques (e.g., structure theorem for torsion modules over a PID). The trick above for the quadratic case is nice since it gives you the result fairly painlessly (no need to find an explicit set of representatives, which can be tedious for ${mathbf Z}[i]/(alpha)$ if the real and imaginary parts of $alpha$ are not relatively prime, and then would you have to start all over again if you wanted to work in ${mathbf Z}[sqrt{10}]dots$).
answered Apr 17 '12 at 2:06
KCdKCd
16.9k4078
edited Apr 17 '12 at 2:19
answered Apr 17 '12 at 2:06
KCdKCd
16.9k4078
answered Apr 17 '12 at 2:06
KCdKCd
16.9k4078
answered Apr 17 '12 at 2:06
KCdKCd
16.9k4078
16.9k4078
$begingroup$
This is a great argument, thanks. If you know of the geometric one that jay wendt mentioned, that would be interesting to know as well. Also, I would be very interested to know what the set of representatives would be for the cosets mod $alpha$! I could make a separate question, if you like.
$endgroup$
– user21725
Apr 17 '12 at 19:14
1
$begingroup$
math.stackexchange.com/questions/133495/…
$endgroup$
– user21725
Apr 18 '12 at 15:36
1
$begingroup$
A geometric argument is based on Pick's theorem. For nonzero Gaussian integer $alpha$, coset reps for ${mathbf Z}[i]/(alpha)$ are lattice points in the parallelogram with two edges the vectors $alpha$ and $ialpha$. You also want to count all non-vertex lattice points on those two edges and their common vertex 0 just once (not twice). If you accept this is a complete set of coset reps, then $#({mathbf Z}[i]/(alpha))= I+B/2-1$, where $I$ is the total number of interior lattice pts and $B$ is the total number of bdy lattice points. By Pick this is the area, and area = ${rm N}(alpha)$.
$endgroup$
– KCd
Apr 19 '12 at 2:40
add a comment |
$begingroup$
This is a great argument, thanks. If you know of the geometric one that jay wendt mentioned, that would be interesting to know as well. Also, I would be very interested to know what the set of representatives would be for the cosets mod $alpha$! I could make a separate question, if you like.
$endgroup$
– user21725
Apr 17 '12 at 19:14
1
$begingroup$
math.stackexchange.com/questions/133495/…
$endgroup$
– user21725
Apr 18 '12 at 15:36
1
$begingroup$
A geometric argument is based on Pick's theorem. For nonzero Gaussian integer $alpha$, coset reps for ${mathbf Z}[i]/(alpha)$ are lattice points in the parallelogram with two edges the vectors $alpha$ and $ialpha$. You also want to count all non-vertex lattice points on those two edges and their common vertex 0 just once (not twice). If you accept this is a complete set of coset reps, then $#({mathbf Z}[i]/(alpha))= I+B/2-1$, where $I$ is the total number of interior lattice pts and $B$ is the total number of bdy lattice points. By Pick this is the area, and area = ${rm N}(alpha)$.
$endgroup$
– KCd
Apr 19 '12 at 2:40
$begingroup$
This is a great argument, thanks. If you know of the geometric one that jay wendt mentioned, that would be interesting to know as well. Also, I would be very interested to know what the set of representatives would be for the cosets mod $alpha$! I could make a separate question, if you like.
$endgroup$
– user21725
Apr 17 '12 at 19:14
$begingroup$
This is a great argument, thanks. If you know of the geometric one that jay wendt mentioned, that would be interesting to know as well. Also, I would be very interested to know what the set of representatives would be for the cosets mod $alpha$! I could make a separate question, if you like.
$endgroup$
– user21725
Apr 17 '12 at 19:14
1
1
$begingroup$
math.stackexchange.com/questions/133495/…
$endgroup$
– user21725
Apr 18 '12 at 15:36
$begingroup$
math.stackexchange.com/questions/133495/…
$endgroup$
– user21725
Apr 18 '12 at 15:36
1
1
$begingroup$
A geometric argument is based on Pick's theorem. For nonzero Gaussian integer $alpha$, coset reps for ${mathbf Z}[i]/(alpha)$ are lattice points in the parallelogram with two edges the vectors $alpha$ and $ialpha$. You also want to count all non-vertex lattice points on those two edges and their common vertex 0 just once (not twice). If you accept this is a complete set of coset reps, then $#({mathbf Z}[i]/(alpha))= I+B/2-1$, where $I$ is the total number of interior lattice pts and $B$ is the total number of bdy lattice points. By Pick this is the area, and area = ${rm N}(alpha)$.
$endgroup$
– KCd
Apr 19 '12 at 2:40
$begingroup$
A geometric argument is based on Pick's theorem. For nonzero Gaussian integer $alpha$, coset reps for ${mathbf Z}[i]/(alpha)$ are lattice points in the parallelogram with two edges the vectors $alpha$ and $ialpha$. You also want to count all non-vertex lattice points on those two edges and their common vertex 0 just once (not twice). If you accept this is a complete set of coset reps, then $#({mathbf Z}[i]/(alpha))= I+B/2-1$, where $I$ is the total number of interior lattice pts and $B$ is the total number of bdy lattice points. By Pick this is the area, and area = ${rm N}(alpha)$.
$endgroup$
– KCd
Apr 19 '12 at 2:40
add a comment |
$begingroup$
It is worth emphasis that the standard proof in KCd's answer has a very suggestive presentation in "fractional" form, since the "cancellations" are analogous to cancellation of fractions, viz.
$$rm alphabaralpha R subset alpha R subset R $$
$$rm Rightarrow N(alpha )^2 =: left|frac{R}{alphabaralpha R}right|: =: left|frac{R}{alpha R}right|: left|frac{alpha R}{alphabaralpha R}right|: =: left|frac{R}{alpha R}right|: left|frac{R}{baralpha R}right|: =: left|frac{R}{alpha R}right|^{:!2}$$
This is one reason for the use of quotient-like notation for quotient structures.
A more general method is to rewrite the ideal as a module in Hermite normal form, via well-known algorithms, e.g. see H. Cohen's book (vol. 1) or Lemmermeyer's lecture notes, e.g. see this answer.
answered Apr 17 '12 at 3:13
Bill DubuqueBill Dubuque
213k29195654
$endgroup$
add a comment |
$begingroup$
It is worth emphasis that the standard proof in KCd's answer has a very suggestive presentation in "fractional" form, since the "cancellations" are analogous to cancellation of fractions, viz.
$$rm alphabaralpha R subset alpha R subset R $$
$$rm Rightarrow N(alpha )^2 =: left|frac{R}{alphabaralpha R}right|: =: left|frac{R}{alpha R}right|: left|frac{alpha R}{alphabaralpha R}right|: =: left|frac{R}{alpha R}right|: left|frac{R}{baralpha R}right|: =: left|frac{R}{alpha R}right|^{:!2}$$
This is one reason for the use of quotient-like notation for quotient structures.
A more general method is to rewrite the ideal as a module in Hermite normal form, via well-known algorithms, e.g. see H. Cohen's book (vol. 1) or Lemmermeyer's lecture notes, e.g. see this answer.
answered Apr 17 '12 at 3:13
Bill DubuqueBill Dubuque
213k29195654
$endgroup$
add a comment |
$begingroup$
It is worth emphasis that the standard proof in KCd's answer has a very suggestive presentation in "fractional" form, since the "cancellations" are analogous to cancellation of fractions, viz.
$$rm alphabaralpha R subset alpha R subset R $$
$$rm Rightarrow N(alpha )^2 =: left|frac{R}{alphabaralpha R}right|: =: left|frac{R}{alpha R}right|: left|frac{alpha R}{alphabaralpha R}right|: =: left|frac{R}{alpha R}right|: left|frac{R}{baralpha R}right|: =: left|frac{R}{alpha R}right|^{:!2}$$
This is one reason for the use of quotient-like notation for quotient structures.
A more general method is to rewrite the ideal as a module in Hermite normal form, via well-known algorithms, e.g. see H. Cohen's book (vol. 1) or Lemmermeyer's lecture notes, e.g. see this answer.
answered Apr 17 '12 at 3:13
Bill DubuqueBill Dubuque
213k29195654
$endgroup$
It is worth emphasis that the standard proof in KCd's answer has a very suggestive presentation in "fractional" form, since the "cancellations" are analogous to cancellation of fractions, viz.
$$rm alphabaralpha R subset alpha R subset R $$
$$rm Rightarrow N(alpha )^2 =: left|frac{R}{alphabaralpha R}right|: =: left|frac{R}{alpha R}right|: left|frac{alpha R}{alphabaralpha R}right|: =: left|frac{R}{alpha R}right|: left|frac{R}{baralpha R}right|: =: left|frac{R}{alpha R}right|^{:!2}$$
This is one reason for the use of quotient-like notation for quotient structures.
A more general method is to rewrite the ideal as a module in Hermite normal form, via well-known algorithms, e.g. see H. Cohen's book (vol. 1) or Lemmermeyer's lecture notes, e.g. see this answer.
answered Apr 17 '12 at 3:13
Bill DubuqueBill Dubuque
213k29195654
edited Jul 1 '17 at 13:27
answered Apr 17 '12 at 3:13
Bill DubuqueBill Dubuque
213k29195654
answered Apr 17 '12 at 3:13
Bill DubuqueBill Dubuque
213k29195654
answered Apr 17 '12 at 3:13
Bill DubuqueBill Dubuque
213k29195654
213k29195654
add a comment |
add a comment |
$begingroup$
If $ gcd(a,b)=1 $, then I believe that $ {0,1,2,dots,N(alpha)-1} $ is a complete set of representatives for $ mathbb Z[i]/(alpha) $; this would prove that $ N(alpha) $ equals the cardinality in question.
In general I think the same idea holds with the complete set of representatives $ {x+yi colon 0 le x < gN(alpha),, 0le y<g} $ where $ g=gcd(a,b) $.
edited Jan 27 at 17:37
user549397
1,5531418
answered Apr 17 '12 at 1:55
Greg MartinGreg Martin
36.5k23565
$endgroup$
add a comment |
$begingroup$
If $ gcd(a,b)=1 $, then I believe that $ {0,1,2,dots,N(alpha)-1} $ is a complete set of representatives for $ mathbb Z[i]/(alpha) $; this would prove that $ N(alpha) $ equals the cardinality in question.
In general I think the same idea holds with the complete set of representatives $ {x+yi colon 0 le x < gN(alpha),, 0le y<g} $ where $ g=gcd(a,b) $.
edited Jan 27 at 17:37
user549397
1,5531418
answered Apr 17 '12 at 1:55
Greg MartinGreg Martin
36.5k23565
$endgroup$
add a comment |
$begingroup$
If $ gcd(a,b)=1 $, then I believe that $ {0,1,2,dots,N(alpha)-1} $ is a complete set of representatives for $ mathbb Z[i]/(alpha) $; this would prove that $ N(alpha) $ equals the cardinality in question.
In general I think the same idea holds with the complete set of representatives $ {x+yi colon 0 le x < gN(alpha),, 0le y<g} $ where $ g=gcd(a,b) $.
edited Jan 27 at 17:37
user549397
1,5531418
answered Apr 17 '12 at 1:55
Greg MartinGreg Martin
36.5k23565
$endgroup$
If $ gcd(a,b)=1 $, then I believe that $ {0,1,2,dots,N(alpha)-1} $ is a complete set of representatives for $ mathbb Z[i]/(alpha) $; this would prove that $ N(alpha) $ equals the cardinality in question.
In general I think the same idea holds with the complete set of representatives $ {x+yi colon 0 le x < gN(alpha),, 0le y<g} $ where $ g=gcd(a,b) $.
edited Jan 27 at 17:37
user549397
1,5531418
answered Apr 17 '12 at 1:55
Greg MartinGreg Martin
36.5k23565
edited Jan 27 at 17:37
user549397
1,5531418
edited Jan 27 at 17:37
user549397
1,5531418
edited Jan 27 at 17:37
user549397
1,5531418
1,5531418
answered Apr 17 '12 at 1:55
Greg MartinGreg Martin
36.5k23565
answered Apr 17 '12 at 1:55
Greg MartinGreg Martin
36.5k23565
answered Apr 17 '12 at 1:55
Greg MartinGreg Martin
36.5k23565
36.5k23565
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%2f132772%2fequivalence-of-two-characterizations-of-the-norm-of-an-algebraic-integer%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
1
$begingroup$
See my answer at math.stackexchange.com/questions/74406/… for an explanation that covers the case you talk about. (The observation that the norm of a Gaussian integer is positive is also relevant. Also see my comment there.)
$endgroup$
– Barry Smith
Apr 17 '12 at 2:03
1
$begingroup$
I think there is a geometric argument that works for the Gaussian case, though I don't recall it.
$endgroup$
– Lepidopterist
Apr 17 '12 at 2:30
$begingroup$
Would love to know a geometric argument if you could remember or point me to a source.
$endgroup$
– user21725
Apr 17 '12 at 18:53