When are quadratic rings of integers unique factorization domains?
Let $D$ be a square free integer. Let $R_D$ be the integral closure of $mathbb{Z}$ in the field $mathbb{Q}(sqrt{D})$.
For some values $D$, the ring $R_D$ is a $UFD$, but not for all. For example, the Gaussian integers $R_{-1}$ are a $UFD$ whereas the ring $R_{-5}$ is not. There are several ways to show this, including computing the class number of $R_D$. However, all the proofs I've seen feel ad hoc and unintuitive.
According to the Stark-Heegner theorem, for $D<0$, the ring $R_D$ is a $UFD$ if and only if
$$D in {-1,-2,-3,-7,-11,-19,-43,-67,-163}.$$
Is there any intuitive reason why this should be a complete list? Ideally there would be a structural reason - coming up with a separate proof for each $D$ in the list is deeply unsatisfying to me.
number-theory commutative-algebra integers unique-factorization-domains
|
show 1 more comment
Let $D$ be a square free integer. Let $R_D$ be the integral closure of $mathbb{Z}$ in the field $mathbb{Q}(sqrt{D})$.
For some values $D$, the ring $R_D$ is a $UFD$, but not for all. For example, the Gaussian integers $R_{-1}$ are a $UFD$ whereas the ring $R_{-5}$ is not. There are several ways to show this, including computing the class number of $R_D$. However, all the proofs I've seen feel ad hoc and unintuitive.
According to the Stark-Heegner theorem, for $D<0$, the ring $R_D$ is a $UFD$ if and only if
$$D in {-1,-2,-3,-7,-11,-19,-43,-67,-163}.$$
Is there any intuitive reason why this should be a complete list? Ideally there would be a structural reason - coming up with a separate proof for each $D$ in the list is deeply unsatisfying to me.
number-theory commutative-algebra integers unique-factorization-domains
The contention in your second sentence is not correct; the integral closure of $mathbb{Z}$ in $mathbb{Q}(sqrt{D})$ depends on the value of $D$ mod $4$. (In particular, sometimes, it is larger than $mathbb{Z}[sqrt{D}]$.) In any event: I'm not sure whether this qualifies as ''intuitive'', but a Dedekind domain is a UFD if and only if it is a PID, so checking whether $R_{D}$ is a UFD amounts to computing its class number. For this, this Minkowski bound is one useful tool; I'm sure there are others too, though I don't know which (if any) come up in the proof of Stark-Heegner.
– Alex Wertheim
Nov 28 at 3:50
What are you asking exactly? Why the list is finite? Why this very specific list? Why the $D$ are all $-1$ or $-p$ for $p$ prime? Why the $D$ are all $-3 pmod 4$ after $-2$ or all $-7 pmod 8$ after $-11$?
– Lorem Ipsum
Nov 28 at 3:52
@LoremIpsum Yes why this very specific and finite list
– leibnewtz
Nov 28 at 4:01
@AlexWertheim Thanks for the correction - edited. I'm not as interested in specific techniques for showing why such rings are UFDs, unless that technique does it all at the same time. For example, an answer I'd be satisfied with would be: "this list is all the roots of a given polynomial," or something like that
– leibnewtz
Nov 28 at 4:05
1
It sounds like you are asking for intuition for why the Stark-Heegner theorem is true for exactly this set of 9 numbers, I'm not sure this is completely possible but you may find uni-math.gwdg.de/tschinkel/gauss-dirichlet/stark.pdf particularly section 4 interesting.
– Alex J Best
Nov 28 at 22:40
|
show 1 more comment
Let $D$ be a square free integer. Let $R_D$ be the integral closure of $mathbb{Z}$ in the field $mathbb{Q}(sqrt{D})$.
For some values $D$, the ring $R_D$ is a $UFD$, but not for all. For example, the Gaussian integers $R_{-1}$ are a $UFD$ whereas the ring $R_{-5}$ is not. There are several ways to show this, including computing the class number of $R_D$. However, all the proofs I've seen feel ad hoc and unintuitive.
According to the Stark-Heegner theorem, for $D<0$, the ring $R_D$ is a $UFD$ if and only if
$$D in {-1,-2,-3,-7,-11,-19,-43,-67,-163}.$$
Is there any intuitive reason why this should be a complete list? Ideally there would be a structural reason - coming up with a separate proof for each $D$ in the list is deeply unsatisfying to me.
number-theory commutative-algebra integers unique-factorization-domains
Let $D$ be a square free integer. Let $R_D$ be the integral closure of $mathbb{Z}$ in the field $mathbb{Q}(sqrt{D})$.
For some values $D$, the ring $R_D$ is a $UFD$, but not for all. For example, the Gaussian integers $R_{-1}$ are a $UFD$ whereas the ring $R_{-5}$ is not. There are several ways to show this, including computing the class number of $R_D$. However, all the proofs I've seen feel ad hoc and unintuitive.
According to the Stark-Heegner theorem, for $D<0$, the ring $R_D$ is a $UFD$ if and only if
$$D in {-1,-2,-3,-7,-11,-19,-43,-67,-163}.$$
Is there any intuitive reason why this should be a complete list? Ideally there would be a structural reason - coming up with a separate proof for each $D$ in the list is deeply unsatisfying to me.
number-theory commutative-algebra integers unique-factorization-domains
number-theory commutative-algebra integers unique-factorization-domains
edited Nov 28 at 4:10
asked Nov 28 at 3:34
leibnewtz
2,3921617
2,3921617
The contention in your second sentence is not correct; the integral closure of $mathbb{Z}$ in $mathbb{Q}(sqrt{D})$ depends on the value of $D$ mod $4$. (In particular, sometimes, it is larger than $mathbb{Z}[sqrt{D}]$.) In any event: I'm not sure whether this qualifies as ''intuitive'', but a Dedekind domain is a UFD if and only if it is a PID, so checking whether $R_{D}$ is a UFD amounts to computing its class number. For this, this Minkowski bound is one useful tool; I'm sure there are others too, though I don't know which (if any) come up in the proof of Stark-Heegner.
– Alex Wertheim
Nov 28 at 3:50
What are you asking exactly? Why the list is finite? Why this very specific list? Why the $D$ are all $-1$ or $-p$ for $p$ prime? Why the $D$ are all $-3 pmod 4$ after $-2$ or all $-7 pmod 8$ after $-11$?
– Lorem Ipsum
Nov 28 at 3:52
@LoremIpsum Yes why this very specific and finite list
– leibnewtz
Nov 28 at 4:01
@AlexWertheim Thanks for the correction - edited. I'm not as interested in specific techniques for showing why such rings are UFDs, unless that technique does it all at the same time. For example, an answer I'd be satisfied with would be: "this list is all the roots of a given polynomial," or something like that
– leibnewtz
Nov 28 at 4:05
1
It sounds like you are asking for intuition for why the Stark-Heegner theorem is true for exactly this set of 9 numbers, I'm not sure this is completely possible but you may find uni-math.gwdg.de/tschinkel/gauss-dirichlet/stark.pdf particularly section 4 interesting.
– Alex J Best
Nov 28 at 22:40
|
show 1 more comment
The contention in your second sentence is not correct; the integral closure of $mathbb{Z}$ in $mathbb{Q}(sqrt{D})$ depends on the value of $D$ mod $4$. (In particular, sometimes, it is larger than $mathbb{Z}[sqrt{D}]$.) In any event: I'm not sure whether this qualifies as ''intuitive'', but a Dedekind domain is a UFD if and only if it is a PID, so checking whether $R_{D}$ is a UFD amounts to computing its class number. For this, this Minkowski bound is one useful tool; I'm sure there are others too, though I don't know which (if any) come up in the proof of Stark-Heegner.
– Alex Wertheim
Nov 28 at 3:50
What are you asking exactly? Why the list is finite? Why this very specific list? Why the $D$ are all $-1$ or $-p$ for $p$ prime? Why the $D$ are all $-3 pmod 4$ after $-2$ or all $-7 pmod 8$ after $-11$?
– Lorem Ipsum
Nov 28 at 3:52
@LoremIpsum Yes why this very specific and finite list
– leibnewtz
Nov 28 at 4:01
@AlexWertheim Thanks for the correction - edited. I'm not as interested in specific techniques for showing why such rings are UFDs, unless that technique does it all at the same time. For example, an answer I'd be satisfied with would be: "this list is all the roots of a given polynomial," or something like that
– leibnewtz
Nov 28 at 4:05
1
It sounds like you are asking for intuition for why the Stark-Heegner theorem is true for exactly this set of 9 numbers, I'm not sure this is completely possible but you may find uni-math.gwdg.de/tschinkel/gauss-dirichlet/stark.pdf particularly section 4 interesting.
– Alex J Best
Nov 28 at 22:40
The contention in your second sentence is not correct; the integral closure of $mathbb{Z}$ in $mathbb{Q}(sqrt{D})$ depends on the value of $D$ mod $4$. (In particular, sometimes, it is larger than $mathbb{Z}[sqrt{D}]$.) In any event: I'm not sure whether this qualifies as ''intuitive'', but a Dedekind domain is a UFD if and only if it is a PID, so checking whether $R_{D}$ is a UFD amounts to computing its class number. For this, this Minkowski bound is one useful tool; I'm sure there are others too, though I don't know which (if any) come up in the proof of Stark-Heegner.
– Alex Wertheim
Nov 28 at 3:50
The contention in your second sentence is not correct; the integral closure of $mathbb{Z}$ in $mathbb{Q}(sqrt{D})$ depends on the value of $D$ mod $4$. (In particular, sometimes, it is larger than $mathbb{Z}[sqrt{D}]$.) In any event: I'm not sure whether this qualifies as ''intuitive'', but a Dedekind domain is a UFD if and only if it is a PID, so checking whether $R_{D}$ is a UFD amounts to computing its class number. For this, this Minkowski bound is one useful tool; I'm sure there are others too, though I don't know which (if any) come up in the proof of Stark-Heegner.
– Alex Wertheim
Nov 28 at 3:50
What are you asking exactly? Why the list is finite? Why this very specific list? Why the $D$ are all $-1$ or $-p$ for $p$ prime? Why the $D$ are all $-3 pmod 4$ after $-2$ or all $-7 pmod 8$ after $-11$?
– Lorem Ipsum
Nov 28 at 3:52
What are you asking exactly? Why the list is finite? Why this very specific list? Why the $D$ are all $-1$ or $-p$ for $p$ prime? Why the $D$ are all $-3 pmod 4$ after $-2$ or all $-7 pmod 8$ after $-11$?
– Lorem Ipsum
Nov 28 at 3:52
@LoremIpsum Yes why this very specific and finite list
– leibnewtz
Nov 28 at 4:01
@LoremIpsum Yes why this very specific and finite list
– leibnewtz
Nov 28 at 4:01
@AlexWertheim Thanks for the correction - edited. I'm not as interested in specific techniques for showing why such rings are UFDs, unless that technique does it all at the same time. For example, an answer I'd be satisfied with would be: "this list is all the roots of a given polynomial," or something like that
– leibnewtz
Nov 28 at 4:05
@AlexWertheim Thanks for the correction - edited. I'm not as interested in specific techniques for showing why such rings are UFDs, unless that technique does it all at the same time. For example, an answer I'd be satisfied with would be: "this list is all the roots of a given polynomial," or something like that
– leibnewtz
Nov 28 at 4:05
1
1
It sounds like you are asking for intuition for why the Stark-Heegner theorem is true for exactly this set of 9 numbers, I'm not sure this is completely possible but you may find uni-math.gwdg.de/tschinkel/gauss-dirichlet/stark.pdf particularly section 4 interesting.
– Alex J Best
Nov 28 at 22:40
It sounds like you are asking for intuition for why the Stark-Heegner theorem is true for exactly this set of 9 numbers, I'm not sure this is completely possible but you may find uni-math.gwdg.de/tschinkel/gauss-dirichlet/stark.pdf particularly section 4 interesting.
– Alex J Best
Nov 28 at 22:40
|
show 1 more comment
2 Answers
2
active
oldest
votes
I wouldn't be so quick to discount the value of going through the list one by one. For this post, let's stipulate $D < 0$ throughout.
You've noticed $-2$ is the only even value on there, right? If $D$ is even, then $D = (sqrt D)^2$, which is obvious enough. But if $D$ is even and composite, it means that $N(z) = 2$ for $z in mathcal{O}_{mathbb{Q}(sqrt D)}$ is impossible. So then $2$ is irreducible, yet $D = 2 times x = (sqrt D)^2$, where $x in mathcal{O}_{mathbb{Q}(sqrt D)}$ also.
You've also noticed that $-5$ is not on the list either. Neither is $-13$, $-17$, $-29$, etc. What these numbers have in common, besides being odd, is that they are congruent to $3 bmod 4$ (remember that congruence gets "flipped" for negative numbers, so $-3 equiv 1 bmod 4$, not $3 bmod 4$).
So, if $D equiv 3 bmod 4$, then $N(1 + sqrt D) = -D + 1$, which is even. But in this domain, it turns out that $N(z) = 2$ is also impossible. Which means that $-D + 1$ has at least two distinct factorizations. Thus $D = -5$ gives us the classic example $6 = 2 times 3 = (1 - sqrt{-5})(1 + sqrt{-5})$.
Now let's say $D equiv 1 bmod 4$ instead. Then it's still the case that $-D + 1 = (1 - sqrt{D})(1 + sqrt{D})$, but... $$frac{1 - sqrt{D}}{2}, frac{1 + sqrt{D}}{2}$$ are also algebraic integers, both with minimal polynomial $$x^2 - x + frac{-D + 1}{4},$$ e.g., $$frac{1 - sqrt{-43}}{2}, frac{1 + sqrt{-43}}{2}$$ both have the polynomial $x^2 - x + 11$.
Therefore, the full factorization of $44$ in this domain is not $(1 - sqrt{-43})(1 + sqrt{-43})$ but $$2^2 left(frac{1 - sqrt{-43}}{2}right) left(frac{1 + sqrt{-43}}{2}right).$$
Why this doesn't work out for $D leq -167$ is quite a bit more involved, maybe someone else will address that.
add a comment |
I do think there is an intuitive reason, and it has to do with the number 41. You know that $n^2 + n + 41$ is prime for all $0 leq n < 41$? Of course it's composite for $n = 41$.
Notice that $$left(frac{1}{2} - frac{sqrt{-163}}{2}right)left(frac{1}{2} - frac{sqrt{-163}}{2}right) = 41,$$ $$left(frac{3}{2} - frac{sqrt{-163}}{2}right)left(frac{3}{2} - frac{sqrt{-163}}{2}right) = 43,$$ $$left(frac{5}{2} - frac{sqrt{-163}}{2}right)left(frac{5}{2} - frac{sqrt{-163}}{2}right) = 47,$$ and so on and so forth to $$left(frac{79}{2} - frac{sqrt{-163}}{2}right)left(frac{79}{2} - frac{sqrt{-163}}{2}right) = 1601.$$
What are the other numbers $d$ such that $n^2 + n + d$ gives primes for $0 leq n < d$? 2, 3, 5, 11, 17, see https://oeis.org/A014556 And then $-4d + 1$ gives $-7, -11, -19, -43, -67$, and $-163$ corresponds to 41.
No higher number $d$ meets this requirement, and thus does not correspond to a Heegner number.
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%2f3016671%2fwhen-are-quadratic-rings-of-integers-unique-factorization-domains%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
I wouldn't be so quick to discount the value of going through the list one by one. For this post, let's stipulate $D < 0$ throughout.
You've noticed $-2$ is the only even value on there, right? If $D$ is even, then $D = (sqrt D)^2$, which is obvious enough. But if $D$ is even and composite, it means that $N(z) = 2$ for $z in mathcal{O}_{mathbb{Q}(sqrt D)}$ is impossible. So then $2$ is irreducible, yet $D = 2 times x = (sqrt D)^2$, where $x in mathcal{O}_{mathbb{Q}(sqrt D)}$ also.
You've also noticed that $-5$ is not on the list either. Neither is $-13$, $-17$, $-29$, etc. What these numbers have in common, besides being odd, is that they are congruent to $3 bmod 4$ (remember that congruence gets "flipped" for negative numbers, so $-3 equiv 1 bmod 4$, not $3 bmod 4$).
So, if $D equiv 3 bmod 4$, then $N(1 + sqrt D) = -D + 1$, which is even. But in this domain, it turns out that $N(z) = 2$ is also impossible. Which means that $-D + 1$ has at least two distinct factorizations. Thus $D = -5$ gives us the classic example $6 = 2 times 3 = (1 - sqrt{-5})(1 + sqrt{-5})$.
Now let's say $D equiv 1 bmod 4$ instead. Then it's still the case that $-D + 1 = (1 - sqrt{D})(1 + sqrt{D})$, but... $$frac{1 - sqrt{D}}{2}, frac{1 + sqrt{D}}{2}$$ are also algebraic integers, both with minimal polynomial $$x^2 - x + frac{-D + 1}{4},$$ e.g., $$frac{1 - sqrt{-43}}{2}, frac{1 + sqrt{-43}}{2}$$ both have the polynomial $x^2 - x + 11$.
Therefore, the full factorization of $44$ in this domain is not $(1 - sqrt{-43})(1 + sqrt{-43})$ but $$2^2 left(frac{1 - sqrt{-43}}{2}right) left(frac{1 + sqrt{-43}}{2}right).$$
Why this doesn't work out for $D leq -167$ is quite a bit more involved, maybe someone else will address that.
add a comment |
I wouldn't be so quick to discount the value of going through the list one by one. For this post, let's stipulate $D < 0$ throughout.
You've noticed $-2$ is the only even value on there, right? If $D$ is even, then $D = (sqrt D)^2$, which is obvious enough. But if $D$ is even and composite, it means that $N(z) = 2$ for $z in mathcal{O}_{mathbb{Q}(sqrt D)}$ is impossible. So then $2$ is irreducible, yet $D = 2 times x = (sqrt D)^2$, where $x in mathcal{O}_{mathbb{Q}(sqrt D)}$ also.
You've also noticed that $-5$ is not on the list either. Neither is $-13$, $-17$, $-29$, etc. What these numbers have in common, besides being odd, is that they are congruent to $3 bmod 4$ (remember that congruence gets "flipped" for negative numbers, so $-3 equiv 1 bmod 4$, not $3 bmod 4$).
So, if $D equiv 3 bmod 4$, then $N(1 + sqrt D) = -D + 1$, which is even. But in this domain, it turns out that $N(z) = 2$ is also impossible. Which means that $-D + 1$ has at least two distinct factorizations. Thus $D = -5$ gives us the classic example $6 = 2 times 3 = (1 - sqrt{-5})(1 + sqrt{-5})$.
Now let's say $D equiv 1 bmod 4$ instead. Then it's still the case that $-D + 1 = (1 - sqrt{D})(1 + sqrt{D})$, but... $$frac{1 - sqrt{D}}{2}, frac{1 + sqrt{D}}{2}$$ are also algebraic integers, both with minimal polynomial $$x^2 - x + frac{-D + 1}{4},$$ e.g., $$frac{1 - sqrt{-43}}{2}, frac{1 + sqrt{-43}}{2}$$ both have the polynomial $x^2 - x + 11$.
Therefore, the full factorization of $44$ in this domain is not $(1 - sqrt{-43})(1 + sqrt{-43})$ but $$2^2 left(frac{1 - sqrt{-43}}{2}right) left(frac{1 + sqrt{-43}}{2}right).$$
Why this doesn't work out for $D leq -167$ is quite a bit more involved, maybe someone else will address that.
add a comment |
I wouldn't be so quick to discount the value of going through the list one by one. For this post, let's stipulate $D < 0$ throughout.
You've noticed $-2$ is the only even value on there, right? If $D$ is even, then $D = (sqrt D)^2$, which is obvious enough. But if $D$ is even and composite, it means that $N(z) = 2$ for $z in mathcal{O}_{mathbb{Q}(sqrt D)}$ is impossible. So then $2$ is irreducible, yet $D = 2 times x = (sqrt D)^2$, where $x in mathcal{O}_{mathbb{Q}(sqrt D)}$ also.
You've also noticed that $-5$ is not on the list either. Neither is $-13$, $-17$, $-29$, etc. What these numbers have in common, besides being odd, is that they are congruent to $3 bmod 4$ (remember that congruence gets "flipped" for negative numbers, so $-3 equiv 1 bmod 4$, not $3 bmod 4$).
So, if $D equiv 3 bmod 4$, then $N(1 + sqrt D) = -D + 1$, which is even. But in this domain, it turns out that $N(z) = 2$ is also impossible. Which means that $-D + 1$ has at least two distinct factorizations. Thus $D = -5$ gives us the classic example $6 = 2 times 3 = (1 - sqrt{-5})(1 + sqrt{-5})$.
Now let's say $D equiv 1 bmod 4$ instead. Then it's still the case that $-D + 1 = (1 - sqrt{D})(1 + sqrt{D})$, but... $$frac{1 - sqrt{D}}{2}, frac{1 + sqrt{D}}{2}$$ are also algebraic integers, both with minimal polynomial $$x^2 - x + frac{-D + 1}{4},$$ e.g., $$frac{1 - sqrt{-43}}{2}, frac{1 + sqrt{-43}}{2}$$ both have the polynomial $x^2 - x + 11$.
Therefore, the full factorization of $44$ in this domain is not $(1 - sqrt{-43})(1 + sqrt{-43})$ but $$2^2 left(frac{1 - sqrt{-43}}{2}right) left(frac{1 + sqrt{-43}}{2}right).$$
Why this doesn't work out for $D leq -167$ is quite a bit more involved, maybe someone else will address that.
I wouldn't be so quick to discount the value of going through the list one by one. For this post, let's stipulate $D < 0$ throughout.
You've noticed $-2$ is the only even value on there, right? If $D$ is even, then $D = (sqrt D)^2$, which is obvious enough. But if $D$ is even and composite, it means that $N(z) = 2$ for $z in mathcal{O}_{mathbb{Q}(sqrt D)}$ is impossible. So then $2$ is irreducible, yet $D = 2 times x = (sqrt D)^2$, where $x in mathcal{O}_{mathbb{Q}(sqrt D)}$ also.
You've also noticed that $-5$ is not on the list either. Neither is $-13$, $-17$, $-29$, etc. What these numbers have in common, besides being odd, is that they are congruent to $3 bmod 4$ (remember that congruence gets "flipped" for negative numbers, so $-3 equiv 1 bmod 4$, not $3 bmod 4$).
So, if $D equiv 3 bmod 4$, then $N(1 + sqrt D) = -D + 1$, which is even. But in this domain, it turns out that $N(z) = 2$ is also impossible. Which means that $-D + 1$ has at least two distinct factorizations. Thus $D = -5$ gives us the classic example $6 = 2 times 3 = (1 - sqrt{-5})(1 + sqrt{-5})$.
Now let's say $D equiv 1 bmod 4$ instead. Then it's still the case that $-D + 1 = (1 - sqrt{D})(1 + sqrt{D})$, but... $$frac{1 - sqrt{D}}{2}, frac{1 + sqrt{D}}{2}$$ are also algebraic integers, both with minimal polynomial $$x^2 - x + frac{-D + 1}{4},$$ e.g., $$frac{1 - sqrt{-43}}{2}, frac{1 + sqrt{-43}}{2}$$ both have the polynomial $x^2 - x + 11$.
Therefore, the full factorization of $44$ in this domain is not $(1 - sqrt{-43})(1 + sqrt{-43})$ but $$2^2 left(frac{1 - sqrt{-43}}{2}right) left(frac{1 + sqrt{-43}}{2}right).$$
Why this doesn't work out for $D leq -167$ is quite a bit more involved, maybe someone else will address that.
edited Nov 28 at 22:35
answered Nov 28 at 22:06
Mr. Brooks
31811237
31811237
add a comment |
add a comment |
I do think there is an intuitive reason, and it has to do with the number 41. You know that $n^2 + n + 41$ is prime for all $0 leq n < 41$? Of course it's composite for $n = 41$.
Notice that $$left(frac{1}{2} - frac{sqrt{-163}}{2}right)left(frac{1}{2} - frac{sqrt{-163}}{2}right) = 41,$$ $$left(frac{3}{2} - frac{sqrt{-163}}{2}right)left(frac{3}{2} - frac{sqrt{-163}}{2}right) = 43,$$ $$left(frac{5}{2} - frac{sqrt{-163}}{2}right)left(frac{5}{2} - frac{sqrt{-163}}{2}right) = 47,$$ and so on and so forth to $$left(frac{79}{2} - frac{sqrt{-163}}{2}right)left(frac{79}{2} - frac{sqrt{-163}}{2}right) = 1601.$$
What are the other numbers $d$ such that $n^2 + n + d$ gives primes for $0 leq n < d$? 2, 3, 5, 11, 17, see https://oeis.org/A014556 And then $-4d + 1$ gives $-7, -11, -19, -43, -67$, and $-163$ corresponds to 41.
No higher number $d$ meets this requirement, and thus does not correspond to a Heegner number.
add a comment |
I do think there is an intuitive reason, and it has to do with the number 41. You know that $n^2 + n + 41$ is prime for all $0 leq n < 41$? Of course it's composite for $n = 41$.
Notice that $$left(frac{1}{2} - frac{sqrt{-163}}{2}right)left(frac{1}{2} - frac{sqrt{-163}}{2}right) = 41,$$ $$left(frac{3}{2} - frac{sqrt{-163}}{2}right)left(frac{3}{2} - frac{sqrt{-163}}{2}right) = 43,$$ $$left(frac{5}{2} - frac{sqrt{-163}}{2}right)left(frac{5}{2} - frac{sqrt{-163}}{2}right) = 47,$$ and so on and so forth to $$left(frac{79}{2} - frac{sqrt{-163}}{2}right)left(frac{79}{2} - frac{sqrt{-163}}{2}right) = 1601.$$
What are the other numbers $d$ such that $n^2 + n + d$ gives primes for $0 leq n < d$? 2, 3, 5, 11, 17, see https://oeis.org/A014556 And then $-4d + 1$ gives $-7, -11, -19, -43, -67$, and $-163$ corresponds to 41.
No higher number $d$ meets this requirement, and thus does not correspond to a Heegner number.
add a comment |
I do think there is an intuitive reason, and it has to do with the number 41. You know that $n^2 + n + 41$ is prime for all $0 leq n < 41$? Of course it's composite for $n = 41$.
Notice that $$left(frac{1}{2} - frac{sqrt{-163}}{2}right)left(frac{1}{2} - frac{sqrt{-163}}{2}right) = 41,$$ $$left(frac{3}{2} - frac{sqrt{-163}}{2}right)left(frac{3}{2} - frac{sqrt{-163}}{2}right) = 43,$$ $$left(frac{5}{2} - frac{sqrt{-163}}{2}right)left(frac{5}{2} - frac{sqrt{-163}}{2}right) = 47,$$ and so on and so forth to $$left(frac{79}{2} - frac{sqrt{-163}}{2}right)left(frac{79}{2} - frac{sqrt{-163}}{2}right) = 1601.$$
What are the other numbers $d$ such that $n^2 + n + d$ gives primes for $0 leq n < d$? 2, 3, 5, 11, 17, see https://oeis.org/A014556 And then $-4d + 1$ gives $-7, -11, -19, -43, -67$, and $-163$ corresponds to 41.
No higher number $d$ meets this requirement, and thus does not correspond to a Heegner number.
I do think there is an intuitive reason, and it has to do with the number 41. You know that $n^2 + n + 41$ is prime for all $0 leq n < 41$? Of course it's composite for $n = 41$.
Notice that $$left(frac{1}{2} - frac{sqrt{-163}}{2}right)left(frac{1}{2} - frac{sqrt{-163}}{2}right) = 41,$$ $$left(frac{3}{2} - frac{sqrt{-163}}{2}right)left(frac{3}{2} - frac{sqrt{-163}}{2}right) = 43,$$ $$left(frac{5}{2} - frac{sqrt{-163}}{2}right)left(frac{5}{2} - frac{sqrt{-163}}{2}right) = 47,$$ and so on and so forth to $$left(frac{79}{2} - frac{sqrt{-163}}{2}right)left(frac{79}{2} - frac{sqrt{-163}}{2}right) = 1601.$$
What are the other numbers $d$ such that $n^2 + n + d$ gives primes for $0 leq n < d$? 2, 3, 5, 11, 17, see https://oeis.org/A014556 And then $-4d + 1$ gives $-7, -11, -19, -43, -67$, and $-163$ corresponds to 41.
No higher number $d$ meets this requirement, and thus does not correspond to a Heegner number.
answered Nov 29 at 5:29
Robert Soupe
10.8k21949
10.8k21949
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.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- 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.
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%2f3016671%2fwhen-are-quadratic-rings-of-integers-unique-factorization-domains%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
The contention in your second sentence is not correct; the integral closure of $mathbb{Z}$ in $mathbb{Q}(sqrt{D})$ depends on the value of $D$ mod $4$. (In particular, sometimes, it is larger than $mathbb{Z}[sqrt{D}]$.) In any event: I'm not sure whether this qualifies as ''intuitive'', but a Dedekind domain is a UFD if and only if it is a PID, so checking whether $R_{D}$ is a UFD amounts to computing its class number. For this, this Minkowski bound is one useful tool; I'm sure there are others too, though I don't know which (if any) come up in the proof of Stark-Heegner.
– Alex Wertheim
Nov 28 at 3:50
What are you asking exactly? Why the list is finite? Why this very specific list? Why the $D$ are all $-1$ or $-p$ for $p$ prime? Why the $D$ are all $-3 pmod 4$ after $-2$ or all $-7 pmod 8$ after $-11$?
– Lorem Ipsum
Nov 28 at 3:52
@LoremIpsum Yes why this very specific and finite list
– leibnewtz
Nov 28 at 4:01
@AlexWertheim Thanks for the correction - edited. I'm not as interested in specific techniques for showing why such rings are UFDs, unless that technique does it all at the same time. For example, an answer I'd be satisfied with would be: "this list is all the roots of a given polynomial," or something like that
– leibnewtz
Nov 28 at 4:05
1
It sounds like you are asking for intuition for why the Stark-Heegner theorem is true for exactly this set of 9 numbers, I'm not sure this is completely possible but you may find uni-math.gwdg.de/tschinkel/gauss-dirichlet/stark.pdf particularly section 4 interesting.
– Alex J Best
Nov 28 at 22:40