Prime elements in $mathbb{Z}[sqrt{2}]$
$begingroup$
What are the prime elements in the ring $mathbb{Z}[sqrt{2}]$?
Note that since the ring is a PID (and thus a UFD) then prime = irreducible. Even more, it is Euclidean with respect to the absolute value of the norm: $N(a+bsqrt{2})=a^2-2b^2$ so it has a nice structure.
I know that if $N(alpha)=p$ with $p$ prime integer then $alpha$ is a prime element. Not a very explicit description but it would do.
Nevertheless, I think there are other primes not covered by the above case. What about prime integers, are they still prime in $mathbb{Z}[sqrt{2}]$? I am hoping a classification can be found similar to the primes in $mathbb{Z}[i]$...
Edit: As Alex Youcis points out, it is probably useful to keep in mind that all the units in this ring are characterized by $pm(1-sqrt{2})^n$, so the search for prime elements should be up to these.
abstract-algebra ring-theory principal-ideal-domains
$endgroup$
|
show 1 more comment
$begingroup$
What are the prime elements in the ring $mathbb{Z}[sqrt{2}]$?
Note that since the ring is a PID (and thus a UFD) then prime = irreducible. Even more, it is Euclidean with respect to the absolute value of the norm: $N(a+bsqrt{2})=a^2-2b^2$ so it has a nice structure.
I know that if $N(alpha)=p$ with $p$ prime integer then $alpha$ is a prime element. Not a very explicit description but it would do.
Nevertheless, I think there are other primes not covered by the above case. What about prime integers, are they still prime in $mathbb{Z}[sqrt{2}]$? I am hoping a classification can be found similar to the primes in $mathbb{Z}[i]$...
Edit: As Alex Youcis points out, it is probably useful to keep in mind that all the units in this ring are characterized by $pm(1-sqrt{2})^n$, so the search for prime elements should be up to these.
abstract-algebra ring-theory principal-ideal-domains
$endgroup$
2
$begingroup$
See Ring of integers in quadratic field, and also Prime splitting in quadratic field, also Kronecker symbol
$endgroup$
– i707107
Feb 13 '14 at 8:01
$begingroup$
Thanks for the links, I was trying to avoid getting into Algebraic Number Theory but I agree it looks like the right way to proceed to study the question over general quadratic extensions.
$endgroup$
– Luke Skywalker
Feb 13 '14 at 18:31
$begingroup$
Don’t forget that the group of units of $mathbb Z[sqrt2,]$ is infinite, generated by $-1$ and $sqrt2+1$. So for any “prime” $pi$ that you find, $(1+sqrt2,)^mpi$ will be an equivalent prime, and without a (simple) computation, you won’t be able to recognize the relationship between the two.
$endgroup$
– Lubin
Sep 3 '14 at 13:14
$begingroup$
@lubin Yes, that is why I mentioned the search of prime elements should be up to these. I think you mean $1-sqrt{2}$ instead of $1+sqrt{2}$ for the fundamental unit?
$endgroup$
– Luke Skywalker
Sep 4 '14 at 13:19
$begingroup$
Any one of $pmsqrt2,pm1$ will do as a fundamental unit. I like to take the smallest one larger than $1$.
$endgroup$
– Lubin
Sep 4 '14 at 13:29
|
show 1 more comment
$begingroup$
What are the prime elements in the ring $mathbb{Z}[sqrt{2}]$?
Note that since the ring is a PID (and thus a UFD) then prime = irreducible. Even more, it is Euclidean with respect to the absolute value of the norm: $N(a+bsqrt{2})=a^2-2b^2$ so it has a nice structure.
I know that if $N(alpha)=p$ with $p$ prime integer then $alpha$ is a prime element. Not a very explicit description but it would do.
Nevertheless, I think there are other primes not covered by the above case. What about prime integers, are they still prime in $mathbb{Z}[sqrt{2}]$? I am hoping a classification can be found similar to the primes in $mathbb{Z}[i]$...
Edit: As Alex Youcis points out, it is probably useful to keep in mind that all the units in this ring are characterized by $pm(1-sqrt{2})^n$, so the search for prime elements should be up to these.
abstract-algebra ring-theory principal-ideal-domains
$endgroup$
What are the prime elements in the ring $mathbb{Z}[sqrt{2}]$?
Note that since the ring is a PID (and thus a UFD) then prime = irreducible. Even more, it is Euclidean with respect to the absolute value of the norm: $N(a+bsqrt{2})=a^2-2b^2$ so it has a nice structure.
I know that if $N(alpha)=p$ with $p$ prime integer then $alpha$ is a prime element. Not a very explicit description but it would do.
Nevertheless, I think there are other primes not covered by the above case. What about prime integers, are they still prime in $mathbb{Z}[sqrt{2}]$? I am hoping a classification can be found similar to the primes in $mathbb{Z}[i]$...
Edit: As Alex Youcis points out, it is probably useful to keep in mind that all the units in this ring are characterized by $pm(1-sqrt{2})^n$, so the search for prime elements should be up to these.
abstract-algebra ring-theory principal-ideal-domains
abstract-algebra ring-theory principal-ideal-domains
edited Feb 13 '14 at 18:44
Luke Skywalker
asked Feb 13 '14 at 7:41
Luke SkywalkerLuke Skywalker
418518
418518
2
$begingroup$
See Ring of integers in quadratic field, and also Prime splitting in quadratic field, also Kronecker symbol
$endgroup$
– i707107
Feb 13 '14 at 8:01
$begingroup$
Thanks for the links, I was trying to avoid getting into Algebraic Number Theory but I agree it looks like the right way to proceed to study the question over general quadratic extensions.
$endgroup$
– Luke Skywalker
Feb 13 '14 at 18:31
$begingroup$
Don’t forget that the group of units of $mathbb Z[sqrt2,]$ is infinite, generated by $-1$ and $sqrt2+1$. So for any “prime” $pi$ that you find, $(1+sqrt2,)^mpi$ will be an equivalent prime, and without a (simple) computation, you won’t be able to recognize the relationship between the two.
$endgroup$
– Lubin
Sep 3 '14 at 13:14
$begingroup$
@lubin Yes, that is why I mentioned the search of prime elements should be up to these. I think you mean $1-sqrt{2}$ instead of $1+sqrt{2}$ for the fundamental unit?
$endgroup$
– Luke Skywalker
Sep 4 '14 at 13:19
$begingroup$
Any one of $pmsqrt2,pm1$ will do as a fundamental unit. I like to take the smallest one larger than $1$.
$endgroup$
– Lubin
Sep 4 '14 at 13:29
|
show 1 more comment
2
$begingroup$
See Ring of integers in quadratic field, and also Prime splitting in quadratic field, also Kronecker symbol
$endgroup$
– i707107
Feb 13 '14 at 8:01
$begingroup$
Thanks for the links, I was trying to avoid getting into Algebraic Number Theory but I agree it looks like the right way to proceed to study the question over general quadratic extensions.
$endgroup$
– Luke Skywalker
Feb 13 '14 at 18:31
$begingroup$
Don’t forget that the group of units of $mathbb Z[sqrt2,]$ is infinite, generated by $-1$ and $sqrt2+1$. So for any “prime” $pi$ that you find, $(1+sqrt2,)^mpi$ will be an equivalent prime, and without a (simple) computation, you won’t be able to recognize the relationship between the two.
$endgroup$
– Lubin
Sep 3 '14 at 13:14
$begingroup$
@lubin Yes, that is why I mentioned the search of prime elements should be up to these. I think you mean $1-sqrt{2}$ instead of $1+sqrt{2}$ for the fundamental unit?
$endgroup$
– Luke Skywalker
Sep 4 '14 at 13:19
$begingroup$
Any one of $pmsqrt2,pm1$ will do as a fundamental unit. I like to take the smallest one larger than $1$.
$endgroup$
– Lubin
Sep 4 '14 at 13:29
2
2
$begingroup$
See Ring of integers in quadratic field, and also Prime splitting in quadratic field, also Kronecker symbol
$endgroup$
– i707107
Feb 13 '14 at 8:01
$begingroup$
See Ring of integers in quadratic field, and also Prime splitting in quadratic field, also Kronecker symbol
$endgroup$
– i707107
Feb 13 '14 at 8:01
$begingroup$
Thanks for the links, I was trying to avoid getting into Algebraic Number Theory but I agree it looks like the right way to proceed to study the question over general quadratic extensions.
$endgroup$
– Luke Skywalker
Feb 13 '14 at 18:31
$begingroup$
Thanks for the links, I was trying to avoid getting into Algebraic Number Theory but I agree it looks like the right way to proceed to study the question over general quadratic extensions.
$endgroup$
– Luke Skywalker
Feb 13 '14 at 18:31
$begingroup$
Don’t forget that the group of units of $mathbb Z[sqrt2,]$ is infinite, generated by $-1$ and $sqrt2+1$. So for any “prime” $pi$ that you find, $(1+sqrt2,)^mpi$ will be an equivalent prime, and without a (simple) computation, you won’t be able to recognize the relationship between the two.
$endgroup$
– Lubin
Sep 3 '14 at 13:14
$begingroup$
Don’t forget that the group of units of $mathbb Z[sqrt2,]$ is infinite, generated by $-1$ and $sqrt2+1$. So for any “prime” $pi$ that you find, $(1+sqrt2,)^mpi$ will be an equivalent prime, and without a (simple) computation, you won’t be able to recognize the relationship between the two.
$endgroup$
– Lubin
Sep 3 '14 at 13:14
$begingroup$
@lubin Yes, that is why I mentioned the search of prime elements should be up to these. I think you mean $1-sqrt{2}$ instead of $1+sqrt{2}$ for the fundamental unit?
$endgroup$
– Luke Skywalker
Sep 4 '14 at 13:19
$begingroup$
@lubin Yes, that is why I mentioned the search of prime elements should be up to these. I think you mean $1-sqrt{2}$ instead of $1+sqrt{2}$ for the fundamental unit?
$endgroup$
– Luke Skywalker
Sep 4 '14 at 13:19
$begingroup$
Any one of $pmsqrt2,pm1$ will do as a fundamental unit. I like to take the smallest one larger than $1$.
$endgroup$
– Lubin
Sep 4 '14 at 13:29
$begingroup$
Any one of $pmsqrt2,pm1$ will do as a fundamental unit. I like to take the smallest one larger than $1$.
$endgroup$
– Lubin
Sep 4 '14 at 13:29
|
show 1 more comment
3 Answers
3
active
oldest
votes
$begingroup$
In case someone is still interested in an elementary solution: By proceeding analogously to the case of $mathbb{Z}[i]$ (in Neukirch's book on algebraic number theory) we can give a list that contains all prime elements of $mathbb{Z}[sqrt{2}]$. However, the solution is incomplete insofar that associated prime elements might appear more than once.
The corresponding theorem about the representability of integer primes as the norm of elements in $mathbb{Z}[sqrt{2}]$ is the following.
Lemma: For a prime number $p>2$, the diophantine equation
begin{equation*}
p = a^2 - 2b^2
end{equation*}
is solvable in integers $a$ and $b$ if and only if $p equiv 1$ or $7 bmod 8$.
Note that $2 = 2^2-2*1^1$ is representable as well.
Proof: This is analogous to Neukirch's proof that a prime $p>2$ is representable as a sum of two squares if and only if $p equiv 1 bmod 4$. We replace Wilson's theorem (Theorem 80) by Theorem 95 in Hardy and Wrights classic book. It says that the congruence $x^2 equiv 2 bmod p$ has a solution if $p equiv 1, 7 bmod 8$ (two is a quadratic residue mod $p$).
Note that squares are $equiv 0,1,4 bmod 8$, hence only odd numbers $equiv 1,7 bmod 8$ can be represented by $a^2-2b^2$.
For the converse, by theorem 95, there is an integer $x$ such that $pvert x^2-2 = (x-sqrt{2})(x+sqrt{2})$, so $p$ is no longer prime in $mathbb{Z}[sqrt{2}]$, since $p$ divides neither of the factors in $mathbb{Z}[sqrt{2}]$. Hence $p$ can be written as the product $alpha beta$ of two non-units, such that for the norm $N(p) = p^2 = N(alpha) N(beta)$ holds. Since $alpha$ and $beta$ are non-units, $N(alpha) = N(beta) = p$ (up to a possible minus sign of which we can get rid of by choosing appropriate associate elements). If we write e.g. $alpha = a+bi$, we found the integers $a$ and $b$ with $N(alpha) = a^2 - 2b^2 = p$.
Now the prime elements of $mathbb{Z}[sqrt{2}]$ (up to, and possibly including) associates are
- $sqrt{2}$,
- $alpha in mathbb{Z}[sqrt{2}]$ such that $N(alpha) = p$ is a prime $p equiv 1, 7 bmod 8$,
- and integer primes $p equiv 3,5 bmod 8$.
Now, one can use the proof as for the prime elements in $mathbb{Z}[i]$ almost word by word by first showing that all these elements are in fact prime elements, and then by showing that any prime element must be associated to an element in the list. (Elements of prime norm are prime because they cannot be further factorized in non-units (and using that we work in an UFD here), and elements in (3) with square prime norm are prime because they are not representable) (any prime element has norm in $mathbb{Z}$ which factorizes there uniquely. Then one can say again that the prime element must have norm $pm 1$, $pm p$ or $pm p^2$, for $p$ being one of the primes dividing the norm in $mathbb{Z}$. $pm 1$ cannot be, $pm p$ and we are in case (1) or (2), and $pm p^2$ gives case (3) ).
$endgroup$
$begingroup$
As you can probably guess, my question was inspired by studying Neukirch and this exercise comes up before he develops any real Algebraic Number Theory so that is why I was interested in an elementary argument classifying similarly as with the Gaussian integers. In short, this is what I was looking for, thanks!
$endgroup$
– Luke Skywalker
Sep 4 '14 at 13:45
add a comment |
$begingroup$
This is a partial (unsatisfyingly partial) answer:
There is a nice theorem in algebraic number theory:
Theorem(Dedekind): Let $mathcal{O}_K$ be a number ring such that there exists $alphainmathcal{O}_K$ with $mathcal{O}_K=mathbb{Z}[alpha]$. Let $f(T)$ be the minimal polynomial of $alpha$ over $mathbb{Q}$. Then, for every prime $pinmathbb{Z}$ let $overline{g_1(T)}^{e_1}cdots overline{g_m(T)}^{e_m}=overline{f(T)}$ be the prime factorization of $overline{f(T)}inmathbb{F}_p[T]$ (where $g_i(T)inmathbb{Z}[T]$). Then, the prime ideals of $mathcal{O}_K$ lying over $p$ are those of the form $(p,g_i(alpha))$ for $i=1,ldots,m$.
So, now we have the case when $K=mathbb{Q}(sqrt{2})$, $alpha=sqrt{2}$, and $f(T)=T^2-2$. Thus, the find the prime ideal of $mathbb{Z}[sqrt{2}]$ lying above $p$ we need only factor $T^2-2$ in $mathbb{F}_p[T]$. Now, by quadratic reciprocity we know that $2$ has a square root in $mathbb{F}_p$ if and only if $pequiv 1,7mod 8$.
If $pequiv 3,5mod 8$ then $T^2-2$ is irreducible in $mathbb{F}_p[T]$ and thus the prime ideal lying above $p$ is $(p,(sqrt{2})^2-2)=(p)$.
If $pequiv 1,7mod 8$ then we know that $T^2-2$ factors in $mathbb{F}_p[T]$ as $(T-beta)(T+overline{beta})$ where $beta$ is some (lift to $mathbb{Z}$ of a) square root of $2$ in $mathbb{F}_p$. Thus, Dedekind's theorem tells us that the prime ideals of $mathbb{Z}[sqrt{2}]$ lying above $p$ are $(p,sqrt{2}pmbeta)$. Now, abstractly we know then that $(p,sqrt{2}pmbeta)=text{gcd}(p,sqrt{2}pmbeta)$, and that this gcd can be computed (in theory) using the Euclidean algorithm.
Thus, up to units of $mathbb{Z}[sqrt{2}]$ (which are all of the form $pm(1-sqrt{2})^n$, $ninmathbb{Z}$) the prime elements of $mathbb{Z}[sqrt{2}]$ are $p$ for $pequiv 3,5mod 8$, and $text{gcd}(p,sqrt{2}pmbeta)$ where $beta$ is a lift of a square root of $2$ in $mathbb{F}_p$.
$endgroup$
1
$begingroup$
Thank you for your contribution. This looks like a nice theorem indeed, although I wonder maybe "too strong" for such a "simple" ring like this? Even so, as you point out it gives a partial answer and kind of an abstract characterization with the gcd. Btw, good remark about the units.
$endgroup$
– Luke Skywalker
Feb 13 '14 at 18:27
add a comment |
$begingroup$
As you've noticed $N(alpha)=p$, for a prime $p$, if $alpha$ is to be a prime element. Let $alpha=a+bsqrt{2}$ where $a,bneq 0$, then $$N(alpha)=a^2-2b^2=p$$
From this we can see that $a^2equiv_p 2b^2$. We can assume that $pnotmid a,b$ so that we get $2equiv_p (ab^{-1})^2$, that is, $2$ is a quadratic residue in $mathbb{Z}_p$. This happens only when $pequiv_8 pm 1$, because $$left (frac{2}{p}right)=(-1)^{frac{p^2-1}{8}}tag{1}$$
$(1)$ is proven here
$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%2f674814%2fprime-elements-in-mathbbz-sqrt2%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$
In case someone is still interested in an elementary solution: By proceeding analogously to the case of $mathbb{Z}[i]$ (in Neukirch's book on algebraic number theory) we can give a list that contains all prime elements of $mathbb{Z}[sqrt{2}]$. However, the solution is incomplete insofar that associated prime elements might appear more than once.
The corresponding theorem about the representability of integer primes as the norm of elements in $mathbb{Z}[sqrt{2}]$ is the following.
Lemma: For a prime number $p>2$, the diophantine equation
begin{equation*}
p = a^2 - 2b^2
end{equation*}
is solvable in integers $a$ and $b$ if and only if $p equiv 1$ or $7 bmod 8$.
Note that $2 = 2^2-2*1^1$ is representable as well.
Proof: This is analogous to Neukirch's proof that a prime $p>2$ is representable as a sum of two squares if and only if $p equiv 1 bmod 4$. We replace Wilson's theorem (Theorem 80) by Theorem 95 in Hardy and Wrights classic book. It says that the congruence $x^2 equiv 2 bmod p$ has a solution if $p equiv 1, 7 bmod 8$ (two is a quadratic residue mod $p$).
Note that squares are $equiv 0,1,4 bmod 8$, hence only odd numbers $equiv 1,7 bmod 8$ can be represented by $a^2-2b^2$.
For the converse, by theorem 95, there is an integer $x$ such that $pvert x^2-2 = (x-sqrt{2})(x+sqrt{2})$, so $p$ is no longer prime in $mathbb{Z}[sqrt{2}]$, since $p$ divides neither of the factors in $mathbb{Z}[sqrt{2}]$. Hence $p$ can be written as the product $alpha beta$ of two non-units, such that for the norm $N(p) = p^2 = N(alpha) N(beta)$ holds. Since $alpha$ and $beta$ are non-units, $N(alpha) = N(beta) = p$ (up to a possible minus sign of which we can get rid of by choosing appropriate associate elements). If we write e.g. $alpha = a+bi$, we found the integers $a$ and $b$ with $N(alpha) = a^2 - 2b^2 = p$.
Now the prime elements of $mathbb{Z}[sqrt{2}]$ (up to, and possibly including) associates are
- $sqrt{2}$,
- $alpha in mathbb{Z}[sqrt{2}]$ such that $N(alpha) = p$ is a prime $p equiv 1, 7 bmod 8$,
- and integer primes $p equiv 3,5 bmod 8$.
Now, one can use the proof as for the prime elements in $mathbb{Z}[i]$ almost word by word by first showing that all these elements are in fact prime elements, and then by showing that any prime element must be associated to an element in the list. (Elements of prime norm are prime because they cannot be further factorized in non-units (and using that we work in an UFD here), and elements in (3) with square prime norm are prime because they are not representable) (any prime element has norm in $mathbb{Z}$ which factorizes there uniquely. Then one can say again that the prime element must have norm $pm 1$, $pm p$ or $pm p^2$, for $p$ being one of the primes dividing the norm in $mathbb{Z}$. $pm 1$ cannot be, $pm p$ and we are in case (1) or (2), and $pm p^2$ gives case (3) ).
$endgroup$
$begingroup$
As you can probably guess, my question was inspired by studying Neukirch and this exercise comes up before he develops any real Algebraic Number Theory so that is why I was interested in an elementary argument classifying similarly as with the Gaussian integers. In short, this is what I was looking for, thanks!
$endgroup$
– Luke Skywalker
Sep 4 '14 at 13:45
add a comment |
$begingroup$
In case someone is still interested in an elementary solution: By proceeding analogously to the case of $mathbb{Z}[i]$ (in Neukirch's book on algebraic number theory) we can give a list that contains all prime elements of $mathbb{Z}[sqrt{2}]$. However, the solution is incomplete insofar that associated prime elements might appear more than once.
The corresponding theorem about the representability of integer primes as the norm of elements in $mathbb{Z}[sqrt{2}]$ is the following.
Lemma: For a prime number $p>2$, the diophantine equation
begin{equation*}
p = a^2 - 2b^2
end{equation*}
is solvable in integers $a$ and $b$ if and only if $p equiv 1$ or $7 bmod 8$.
Note that $2 = 2^2-2*1^1$ is representable as well.
Proof: This is analogous to Neukirch's proof that a prime $p>2$ is representable as a sum of two squares if and only if $p equiv 1 bmod 4$. We replace Wilson's theorem (Theorem 80) by Theorem 95 in Hardy and Wrights classic book. It says that the congruence $x^2 equiv 2 bmod p$ has a solution if $p equiv 1, 7 bmod 8$ (two is a quadratic residue mod $p$).
Note that squares are $equiv 0,1,4 bmod 8$, hence only odd numbers $equiv 1,7 bmod 8$ can be represented by $a^2-2b^2$.
For the converse, by theorem 95, there is an integer $x$ such that $pvert x^2-2 = (x-sqrt{2})(x+sqrt{2})$, so $p$ is no longer prime in $mathbb{Z}[sqrt{2}]$, since $p$ divides neither of the factors in $mathbb{Z}[sqrt{2}]$. Hence $p$ can be written as the product $alpha beta$ of two non-units, such that for the norm $N(p) = p^2 = N(alpha) N(beta)$ holds. Since $alpha$ and $beta$ are non-units, $N(alpha) = N(beta) = p$ (up to a possible minus sign of which we can get rid of by choosing appropriate associate elements). If we write e.g. $alpha = a+bi$, we found the integers $a$ and $b$ with $N(alpha) = a^2 - 2b^2 = p$.
Now the prime elements of $mathbb{Z}[sqrt{2}]$ (up to, and possibly including) associates are
- $sqrt{2}$,
- $alpha in mathbb{Z}[sqrt{2}]$ such that $N(alpha) = p$ is a prime $p equiv 1, 7 bmod 8$,
- and integer primes $p equiv 3,5 bmod 8$.
Now, one can use the proof as for the prime elements in $mathbb{Z}[i]$ almost word by word by first showing that all these elements are in fact prime elements, and then by showing that any prime element must be associated to an element in the list. (Elements of prime norm are prime because they cannot be further factorized in non-units (and using that we work in an UFD here), and elements in (3) with square prime norm are prime because they are not representable) (any prime element has norm in $mathbb{Z}$ which factorizes there uniquely. Then one can say again that the prime element must have norm $pm 1$, $pm p$ or $pm p^2$, for $p$ being one of the primes dividing the norm in $mathbb{Z}$. $pm 1$ cannot be, $pm p$ and we are in case (1) or (2), and $pm p^2$ gives case (3) ).
$endgroup$
$begingroup$
As you can probably guess, my question was inspired by studying Neukirch and this exercise comes up before he develops any real Algebraic Number Theory so that is why I was interested in an elementary argument classifying similarly as with the Gaussian integers. In short, this is what I was looking for, thanks!
$endgroup$
– Luke Skywalker
Sep 4 '14 at 13:45
add a comment |
$begingroup$
In case someone is still interested in an elementary solution: By proceeding analogously to the case of $mathbb{Z}[i]$ (in Neukirch's book on algebraic number theory) we can give a list that contains all prime elements of $mathbb{Z}[sqrt{2}]$. However, the solution is incomplete insofar that associated prime elements might appear more than once.
The corresponding theorem about the representability of integer primes as the norm of elements in $mathbb{Z}[sqrt{2}]$ is the following.
Lemma: For a prime number $p>2$, the diophantine equation
begin{equation*}
p = a^2 - 2b^2
end{equation*}
is solvable in integers $a$ and $b$ if and only if $p equiv 1$ or $7 bmod 8$.
Note that $2 = 2^2-2*1^1$ is representable as well.
Proof: This is analogous to Neukirch's proof that a prime $p>2$ is representable as a sum of two squares if and only if $p equiv 1 bmod 4$. We replace Wilson's theorem (Theorem 80) by Theorem 95 in Hardy and Wrights classic book. It says that the congruence $x^2 equiv 2 bmod p$ has a solution if $p equiv 1, 7 bmod 8$ (two is a quadratic residue mod $p$).
Note that squares are $equiv 0,1,4 bmod 8$, hence only odd numbers $equiv 1,7 bmod 8$ can be represented by $a^2-2b^2$.
For the converse, by theorem 95, there is an integer $x$ such that $pvert x^2-2 = (x-sqrt{2})(x+sqrt{2})$, so $p$ is no longer prime in $mathbb{Z}[sqrt{2}]$, since $p$ divides neither of the factors in $mathbb{Z}[sqrt{2}]$. Hence $p$ can be written as the product $alpha beta$ of two non-units, such that for the norm $N(p) = p^2 = N(alpha) N(beta)$ holds. Since $alpha$ and $beta$ are non-units, $N(alpha) = N(beta) = p$ (up to a possible minus sign of which we can get rid of by choosing appropriate associate elements). If we write e.g. $alpha = a+bi$, we found the integers $a$ and $b$ with $N(alpha) = a^2 - 2b^2 = p$.
Now the prime elements of $mathbb{Z}[sqrt{2}]$ (up to, and possibly including) associates are
- $sqrt{2}$,
- $alpha in mathbb{Z}[sqrt{2}]$ such that $N(alpha) = p$ is a prime $p equiv 1, 7 bmod 8$,
- and integer primes $p equiv 3,5 bmod 8$.
Now, one can use the proof as for the prime elements in $mathbb{Z}[i]$ almost word by word by first showing that all these elements are in fact prime elements, and then by showing that any prime element must be associated to an element in the list. (Elements of prime norm are prime because they cannot be further factorized in non-units (and using that we work in an UFD here), and elements in (3) with square prime norm are prime because they are not representable) (any prime element has norm in $mathbb{Z}$ which factorizes there uniquely. Then one can say again that the prime element must have norm $pm 1$, $pm p$ or $pm p^2$, for $p$ being one of the primes dividing the norm in $mathbb{Z}$. $pm 1$ cannot be, $pm p$ and we are in case (1) or (2), and $pm p^2$ gives case (3) ).
$endgroup$
In case someone is still interested in an elementary solution: By proceeding analogously to the case of $mathbb{Z}[i]$ (in Neukirch's book on algebraic number theory) we can give a list that contains all prime elements of $mathbb{Z}[sqrt{2}]$. However, the solution is incomplete insofar that associated prime elements might appear more than once.
The corresponding theorem about the representability of integer primes as the norm of elements in $mathbb{Z}[sqrt{2}]$ is the following.
Lemma: For a prime number $p>2$, the diophantine equation
begin{equation*}
p = a^2 - 2b^2
end{equation*}
is solvable in integers $a$ and $b$ if and only if $p equiv 1$ or $7 bmod 8$.
Note that $2 = 2^2-2*1^1$ is representable as well.
Proof: This is analogous to Neukirch's proof that a prime $p>2$ is representable as a sum of two squares if and only if $p equiv 1 bmod 4$. We replace Wilson's theorem (Theorem 80) by Theorem 95 in Hardy and Wrights classic book. It says that the congruence $x^2 equiv 2 bmod p$ has a solution if $p equiv 1, 7 bmod 8$ (two is a quadratic residue mod $p$).
Note that squares are $equiv 0,1,4 bmod 8$, hence only odd numbers $equiv 1,7 bmod 8$ can be represented by $a^2-2b^2$.
For the converse, by theorem 95, there is an integer $x$ such that $pvert x^2-2 = (x-sqrt{2})(x+sqrt{2})$, so $p$ is no longer prime in $mathbb{Z}[sqrt{2}]$, since $p$ divides neither of the factors in $mathbb{Z}[sqrt{2}]$. Hence $p$ can be written as the product $alpha beta$ of two non-units, such that for the norm $N(p) = p^2 = N(alpha) N(beta)$ holds. Since $alpha$ and $beta$ are non-units, $N(alpha) = N(beta) = p$ (up to a possible minus sign of which we can get rid of by choosing appropriate associate elements). If we write e.g. $alpha = a+bi$, we found the integers $a$ and $b$ with $N(alpha) = a^2 - 2b^2 = p$.
Now the prime elements of $mathbb{Z}[sqrt{2}]$ (up to, and possibly including) associates are
- $sqrt{2}$,
- $alpha in mathbb{Z}[sqrt{2}]$ such that $N(alpha) = p$ is a prime $p equiv 1, 7 bmod 8$,
- and integer primes $p equiv 3,5 bmod 8$.
Now, one can use the proof as for the prime elements in $mathbb{Z}[i]$ almost word by word by first showing that all these elements are in fact prime elements, and then by showing that any prime element must be associated to an element in the list. (Elements of prime norm are prime because they cannot be further factorized in non-units (and using that we work in an UFD here), and elements in (3) with square prime norm are prime because they are not representable) (any prime element has norm in $mathbb{Z}$ which factorizes there uniquely. Then one can say again that the prime element must have norm $pm 1$, $pm p$ or $pm p^2$, for $p$ being one of the primes dividing the norm in $mathbb{Z}$. $pm 1$ cannot be, $pm p$ and we are in case (1) or (2), and $pm p^2$ gives case (3) ).
edited Sep 3 '14 at 13:07
user26857
39.5k124284
39.5k124284
answered Sep 3 '14 at 8:08
adrischeadrische
12613
12613
$begingroup$
As you can probably guess, my question was inspired by studying Neukirch and this exercise comes up before he develops any real Algebraic Number Theory so that is why I was interested in an elementary argument classifying similarly as with the Gaussian integers. In short, this is what I was looking for, thanks!
$endgroup$
– Luke Skywalker
Sep 4 '14 at 13:45
add a comment |
$begingroup$
As you can probably guess, my question was inspired by studying Neukirch and this exercise comes up before he develops any real Algebraic Number Theory so that is why I was interested in an elementary argument classifying similarly as with the Gaussian integers. In short, this is what I was looking for, thanks!
$endgroup$
– Luke Skywalker
Sep 4 '14 at 13:45
$begingroup$
As you can probably guess, my question was inspired by studying Neukirch and this exercise comes up before he develops any real Algebraic Number Theory so that is why I was interested in an elementary argument classifying similarly as with the Gaussian integers. In short, this is what I was looking for, thanks!
$endgroup$
– Luke Skywalker
Sep 4 '14 at 13:45
$begingroup$
As you can probably guess, my question was inspired by studying Neukirch and this exercise comes up before he develops any real Algebraic Number Theory so that is why I was interested in an elementary argument classifying similarly as with the Gaussian integers. In short, this is what I was looking for, thanks!
$endgroup$
– Luke Skywalker
Sep 4 '14 at 13:45
add a comment |
$begingroup$
This is a partial (unsatisfyingly partial) answer:
There is a nice theorem in algebraic number theory:
Theorem(Dedekind): Let $mathcal{O}_K$ be a number ring such that there exists $alphainmathcal{O}_K$ with $mathcal{O}_K=mathbb{Z}[alpha]$. Let $f(T)$ be the minimal polynomial of $alpha$ over $mathbb{Q}$. Then, for every prime $pinmathbb{Z}$ let $overline{g_1(T)}^{e_1}cdots overline{g_m(T)}^{e_m}=overline{f(T)}$ be the prime factorization of $overline{f(T)}inmathbb{F}_p[T]$ (where $g_i(T)inmathbb{Z}[T]$). Then, the prime ideals of $mathcal{O}_K$ lying over $p$ are those of the form $(p,g_i(alpha))$ for $i=1,ldots,m$.
So, now we have the case when $K=mathbb{Q}(sqrt{2})$, $alpha=sqrt{2}$, and $f(T)=T^2-2$. Thus, the find the prime ideal of $mathbb{Z}[sqrt{2}]$ lying above $p$ we need only factor $T^2-2$ in $mathbb{F}_p[T]$. Now, by quadratic reciprocity we know that $2$ has a square root in $mathbb{F}_p$ if and only if $pequiv 1,7mod 8$.
If $pequiv 3,5mod 8$ then $T^2-2$ is irreducible in $mathbb{F}_p[T]$ and thus the prime ideal lying above $p$ is $(p,(sqrt{2})^2-2)=(p)$.
If $pequiv 1,7mod 8$ then we know that $T^2-2$ factors in $mathbb{F}_p[T]$ as $(T-beta)(T+overline{beta})$ where $beta$ is some (lift to $mathbb{Z}$ of a) square root of $2$ in $mathbb{F}_p$. Thus, Dedekind's theorem tells us that the prime ideals of $mathbb{Z}[sqrt{2}]$ lying above $p$ are $(p,sqrt{2}pmbeta)$. Now, abstractly we know then that $(p,sqrt{2}pmbeta)=text{gcd}(p,sqrt{2}pmbeta)$, and that this gcd can be computed (in theory) using the Euclidean algorithm.
Thus, up to units of $mathbb{Z}[sqrt{2}]$ (which are all of the form $pm(1-sqrt{2})^n$, $ninmathbb{Z}$) the prime elements of $mathbb{Z}[sqrt{2}]$ are $p$ for $pequiv 3,5mod 8$, and $text{gcd}(p,sqrt{2}pmbeta)$ where $beta$ is a lift of a square root of $2$ in $mathbb{F}_p$.
$endgroup$
1
$begingroup$
Thank you for your contribution. This looks like a nice theorem indeed, although I wonder maybe "too strong" for such a "simple" ring like this? Even so, as you point out it gives a partial answer and kind of an abstract characterization with the gcd. Btw, good remark about the units.
$endgroup$
– Luke Skywalker
Feb 13 '14 at 18:27
add a comment |
$begingroup$
This is a partial (unsatisfyingly partial) answer:
There is a nice theorem in algebraic number theory:
Theorem(Dedekind): Let $mathcal{O}_K$ be a number ring such that there exists $alphainmathcal{O}_K$ with $mathcal{O}_K=mathbb{Z}[alpha]$. Let $f(T)$ be the minimal polynomial of $alpha$ over $mathbb{Q}$. Then, for every prime $pinmathbb{Z}$ let $overline{g_1(T)}^{e_1}cdots overline{g_m(T)}^{e_m}=overline{f(T)}$ be the prime factorization of $overline{f(T)}inmathbb{F}_p[T]$ (where $g_i(T)inmathbb{Z}[T]$). Then, the prime ideals of $mathcal{O}_K$ lying over $p$ are those of the form $(p,g_i(alpha))$ for $i=1,ldots,m$.
So, now we have the case when $K=mathbb{Q}(sqrt{2})$, $alpha=sqrt{2}$, and $f(T)=T^2-2$. Thus, the find the prime ideal of $mathbb{Z}[sqrt{2}]$ lying above $p$ we need only factor $T^2-2$ in $mathbb{F}_p[T]$. Now, by quadratic reciprocity we know that $2$ has a square root in $mathbb{F}_p$ if and only if $pequiv 1,7mod 8$.
If $pequiv 3,5mod 8$ then $T^2-2$ is irreducible in $mathbb{F}_p[T]$ and thus the prime ideal lying above $p$ is $(p,(sqrt{2})^2-2)=(p)$.
If $pequiv 1,7mod 8$ then we know that $T^2-2$ factors in $mathbb{F}_p[T]$ as $(T-beta)(T+overline{beta})$ where $beta$ is some (lift to $mathbb{Z}$ of a) square root of $2$ in $mathbb{F}_p$. Thus, Dedekind's theorem tells us that the prime ideals of $mathbb{Z}[sqrt{2}]$ lying above $p$ are $(p,sqrt{2}pmbeta)$. Now, abstractly we know then that $(p,sqrt{2}pmbeta)=text{gcd}(p,sqrt{2}pmbeta)$, and that this gcd can be computed (in theory) using the Euclidean algorithm.
Thus, up to units of $mathbb{Z}[sqrt{2}]$ (which are all of the form $pm(1-sqrt{2})^n$, $ninmathbb{Z}$) the prime elements of $mathbb{Z}[sqrt{2}]$ are $p$ for $pequiv 3,5mod 8$, and $text{gcd}(p,sqrt{2}pmbeta)$ where $beta$ is a lift of a square root of $2$ in $mathbb{F}_p$.
$endgroup$
1
$begingroup$
Thank you for your contribution. This looks like a nice theorem indeed, although I wonder maybe "too strong" for such a "simple" ring like this? Even so, as you point out it gives a partial answer and kind of an abstract characterization with the gcd. Btw, good remark about the units.
$endgroup$
– Luke Skywalker
Feb 13 '14 at 18:27
add a comment |
$begingroup$
This is a partial (unsatisfyingly partial) answer:
There is a nice theorem in algebraic number theory:
Theorem(Dedekind): Let $mathcal{O}_K$ be a number ring such that there exists $alphainmathcal{O}_K$ with $mathcal{O}_K=mathbb{Z}[alpha]$. Let $f(T)$ be the minimal polynomial of $alpha$ over $mathbb{Q}$. Then, for every prime $pinmathbb{Z}$ let $overline{g_1(T)}^{e_1}cdots overline{g_m(T)}^{e_m}=overline{f(T)}$ be the prime factorization of $overline{f(T)}inmathbb{F}_p[T]$ (where $g_i(T)inmathbb{Z}[T]$). Then, the prime ideals of $mathcal{O}_K$ lying over $p$ are those of the form $(p,g_i(alpha))$ for $i=1,ldots,m$.
So, now we have the case when $K=mathbb{Q}(sqrt{2})$, $alpha=sqrt{2}$, and $f(T)=T^2-2$. Thus, the find the prime ideal of $mathbb{Z}[sqrt{2}]$ lying above $p$ we need only factor $T^2-2$ in $mathbb{F}_p[T]$. Now, by quadratic reciprocity we know that $2$ has a square root in $mathbb{F}_p$ if and only if $pequiv 1,7mod 8$.
If $pequiv 3,5mod 8$ then $T^2-2$ is irreducible in $mathbb{F}_p[T]$ and thus the prime ideal lying above $p$ is $(p,(sqrt{2})^2-2)=(p)$.
If $pequiv 1,7mod 8$ then we know that $T^2-2$ factors in $mathbb{F}_p[T]$ as $(T-beta)(T+overline{beta})$ where $beta$ is some (lift to $mathbb{Z}$ of a) square root of $2$ in $mathbb{F}_p$. Thus, Dedekind's theorem tells us that the prime ideals of $mathbb{Z}[sqrt{2}]$ lying above $p$ are $(p,sqrt{2}pmbeta)$. Now, abstractly we know then that $(p,sqrt{2}pmbeta)=text{gcd}(p,sqrt{2}pmbeta)$, and that this gcd can be computed (in theory) using the Euclidean algorithm.
Thus, up to units of $mathbb{Z}[sqrt{2}]$ (which are all of the form $pm(1-sqrt{2})^n$, $ninmathbb{Z}$) the prime elements of $mathbb{Z}[sqrt{2}]$ are $p$ for $pequiv 3,5mod 8$, and $text{gcd}(p,sqrt{2}pmbeta)$ where $beta$ is a lift of a square root of $2$ in $mathbb{F}_p$.
$endgroup$
This is a partial (unsatisfyingly partial) answer:
There is a nice theorem in algebraic number theory:
Theorem(Dedekind): Let $mathcal{O}_K$ be a number ring such that there exists $alphainmathcal{O}_K$ with $mathcal{O}_K=mathbb{Z}[alpha]$. Let $f(T)$ be the minimal polynomial of $alpha$ over $mathbb{Q}$. Then, for every prime $pinmathbb{Z}$ let $overline{g_1(T)}^{e_1}cdots overline{g_m(T)}^{e_m}=overline{f(T)}$ be the prime factorization of $overline{f(T)}inmathbb{F}_p[T]$ (where $g_i(T)inmathbb{Z}[T]$). Then, the prime ideals of $mathcal{O}_K$ lying over $p$ are those of the form $(p,g_i(alpha))$ for $i=1,ldots,m$.
So, now we have the case when $K=mathbb{Q}(sqrt{2})$, $alpha=sqrt{2}$, and $f(T)=T^2-2$. Thus, the find the prime ideal of $mathbb{Z}[sqrt{2}]$ lying above $p$ we need only factor $T^2-2$ in $mathbb{F}_p[T]$. Now, by quadratic reciprocity we know that $2$ has a square root in $mathbb{F}_p$ if and only if $pequiv 1,7mod 8$.
If $pequiv 3,5mod 8$ then $T^2-2$ is irreducible in $mathbb{F}_p[T]$ and thus the prime ideal lying above $p$ is $(p,(sqrt{2})^2-2)=(p)$.
If $pequiv 1,7mod 8$ then we know that $T^2-2$ factors in $mathbb{F}_p[T]$ as $(T-beta)(T+overline{beta})$ where $beta$ is some (lift to $mathbb{Z}$ of a) square root of $2$ in $mathbb{F}_p$. Thus, Dedekind's theorem tells us that the prime ideals of $mathbb{Z}[sqrt{2}]$ lying above $p$ are $(p,sqrt{2}pmbeta)$. Now, abstractly we know then that $(p,sqrt{2}pmbeta)=text{gcd}(p,sqrt{2}pmbeta)$, and that this gcd can be computed (in theory) using the Euclidean algorithm.
Thus, up to units of $mathbb{Z}[sqrt{2}]$ (which are all of the form $pm(1-sqrt{2})^n$, $ninmathbb{Z}$) the prime elements of $mathbb{Z}[sqrt{2}]$ are $p$ for $pequiv 3,5mod 8$, and $text{gcd}(p,sqrt{2}pmbeta)$ where $beta$ is a lift of a square root of $2$ in $mathbb{F}_p$.
answered Feb 13 '14 at 8:53
Alex YoucisAlex Youcis
36k775115
36k775115
1
$begingroup$
Thank you for your contribution. This looks like a nice theorem indeed, although I wonder maybe "too strong" for such a "simple" ring like this? Even so, as you point out it gives a partial answer and kind of an abstract characterization with the gcd. Btw, good remark about the units.
$endgroup$
– Luke Skywalker
Feb 13 '14 at 18:27
add a comment |
1
$begingroup$
Thank you for your contribution. This looks like a nice theorem indeed, although I wonder maybe "too strong" for such a "simple" ring like this? Even so, as you point out it gives a partial answer and kind of an abstract characterization with the gcd. Btw, good remark about the units.
$endgroup$
– Luke Skywalker
Feb 13 '14 at 18:27
1
1
$begingroup$
Thank you for your contribution. This looks like a nice theorem indeed, although I wonder maybe "too strong" for such a "simple" ring like this? Even so, as you point out it gives a partial answer and kind of an abstract characterization with the gcd. Btw, good remark about the units.
$endgroup$
– Luke Skywalker
Feb 13 '14 at 18:27
$begingroup$
Thank you for your contribution. This looks like a nice theorem indeed, although I wonder maybe "too strong" for such a "simple" ring like this? Even so, as you point out it gives a partial answer and kind of an abstract characterization with the gcd. Btw, good remark about the units.
$endgroup$
– Luke Skywalker
Feb 13 '14 at 18:27
add a comment |
$begingroup$
As you've noticed $N(alpha)=p$, for a prime $p$, if $alpha$ is to be a prime element. Let $alpha=a+bsqrt{2}$ where $a,bneq 0$, then $$N(alpha)=a^2-2b^2=p$$
From this we can see that $a^2equiv_p 2b^2$. We can assume that $pnotmid a,b$ so that we get $2equiv_p (ab^{-1})^2$, that is, $2$ is a quadratic residue in $mathbb{Z}_p$. This happens only when $pequiv_8 pm 1$, because $$left (frac{2}{p}right)=(-1)^{frac{p^2-1}{8}}tag{1}$$
$(1)$ is proven here
$endgroup$
add a comment |
$begingroup$
As you've noticed $N(alpha)=p$, for a prime $p$, if $alpha$ is to be a prime element. Let $alpha=a+bsqrt{2}$ where $a,bneq 0$, then $$N(alpha)=a^2-2b^2=p$$
From this we can see that $a^2equiv_p 2b^2$. We can assume that $pnotmid a,b$ so that we get $2equiv_p (ab^{-1})^2$, that is, $2$ is a quadratic residue in $mathbb{Z}_p$. This happens only when $pequiv_8 pm 1$, because $$left (frac{2}{p}right)=(-1)^{frac{p^2-1}{8}}tag{1}$$
$(1)$ is proven here
$endgroup$
add a comment |
$begingroup$
As you've noticed $N(alpha)=p$, for a prime $p$, if $alpha$ is to be a prime element. Let $alpha=a+bsqrt{2}$ where $a,bneq 0$, then $$N(alpha)=a^2-2b^2=p$$
From this we can see that $a^2equiv_p 2b^2$. We can assume that $pnotmid a,b$ so that we get $2equiv_p (ab^{-1})^2$, that is, $2$ is a quadratic residue in $mathbb{Z}_p$. This happens only when $pequiv_8 pm 1$, because $$left (frac{2}{p}right)=(-1)^{frac{p^2-1}{8}}tag{1}$$
$(1)$ is proven here
$endgroup$
As you've noticed $N(alpha)=p$, for a prime $p$, if $alpha$ is to be a prime element. Let $alpha=a+bsqrt{2}$ where $a,bneq 0$, then $$N(alpha)=a^2-2b^2=p$$
From this we can see that $a^2equiv_p 2b^2$. We can assume that $pnotmid a,b$ so that we get $2equiv_p (ab^{-1})^2$, that is, $2$ is a quadratic residue in $mathbb{Z}_p$. This happens only when $pequiv_8 pm 1$, because $$left (frac{2}{p}right)=(-1)^{frac{p^2-1}{8}}tag{1}$$
$(1)$ is proven here
edited Mar 20 '18 at 14:12
answered Mar 20 '18 at 14:06
cansomeonehelpmeoutcansomeonehelpmeout
7,3093935
7,3093935
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%2f674814%2fprime-elements-in-mathbbz-sqrt2%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
2
$begingroup$
See Ring of integers in quadratic field, and also Prime splitting in quadratic field, also Kronecker symbol
$endgroup$
– i707107
Feb 13 '14 at 8:01
$begingroup$
Thanks for the links, I was trying to avoid getting into Algebraic Number Theory but I agree it looks like the right way to proceed to study the question over general quadratic extensions.
$endgroup$
– Luke Skywalker
Feb 13 '14 at 18:31
$begingroup$
Don’t forget that the group of units of $mathbb Z[sqrt2,]$ is infinite, generated by $-1$ and $sqrt2+1$. So for any “prime” $pi$ that you find, $(1+sqrt2,)^mpi$ will be an equivalent prime, and without a (simple) computation, you won’t be able to recognize the relationship between the two.
$endgroup$
– Lubin
Sep 3 '14 at 13:14
$begingroup$
@lubin Yes, that is why I mentioned the search of prime elements should be up to these. I think you mean $1-sqrt{2}$ instead of $1+sqrt{2}$ for the fundamental unit?
$endgroup$
– Luke Skywalker
Sep 4 '14 at 13:19
$begingroup$
Any one of $pmsqrt2,pm1$ will do as a fundamental unit. I like to take the smallest one larger than $1$.
$endgroup$
– Lubin
Sep 4 '14 at 13:29