Unique factorization domains - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-20T19:15:47Z http://mathoverflow.net/feeds/question/51667 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/51667/unique-factorization-domains Unique factorization domains TCL 2011-01-10T16:21:56Z 2011-01-11T00:14:59Z <p>Let $c$ be an integer, not necessarily positive and $|c|$ not a square. Let $\mathbb{Z}[\sqrt{c}]$ be the set of complex numbers $$a+b\sqrt{c}, a, b\in \mathbb{Z},$$ which form a subring of the ring $\mathbb{C}$ under the usual addition and multiplication.</p> <p>Are the following questions completely solved?</p> <ol> <li><p>For what $c$ is $\mathbb{Z}[\sqrt{c}]$ a Euclidean domain?</p></li> <li><p>For what $c$ is $\mathbb{Z}[\sqrt{c}]$ a UFD (unique factorization domain) but not Euclidean ?</p></li> <li><p>For what $c$ is $\mathbb{Z}[\sqrt{c}]$ not a UFD ?</p></li> </ol> <p>I know that for $c=-1$, question 1 is true; for $c=-5$, question 3 is true.</p> http://mathoverflow.net/questions/51667/unique-factorization-domains/51668#51668 Answer by Quadrescence for Unique factorization domains Quadrescence 2011-01-10T16:26:56Z 2011-01-10T19:27:30Z <p>For question #1, see this sequence, which contains all values $c$ such that $\mathbb{Z}[\sqrt{c}]$ is Euclidean: <a href="http://oeis.org/A048981" rel="nofollow">http://oeis.org/A048981</a></p> <p>Note that these are the <em>only</em> such quadratic fields which are Euclidean.</p> <p>For question #3, it is not solved completely since it is not known which values of $c>0$ produce a unique factorization domain. However, the problem is solved for $c&lt;0$ completely via the Stark-Heegner theorem. The problem in general dates back to Gauss, and is known as the <em>class number problem</em>. <a href="http://en.wikipedia.org/wiki/Class_number_problem" rel="nofollow">Wikipedia</a> has good info.</p> <p>Using the answers to these, we can answer #2 since there are only a finite number of Euclidean quadratic fields.</p> http://mathoverflow.net/questions/51667/unique-factorization-domains/51670#51670 Answer by Steven Landsburg for Unique factorization domains Steven Landsburg 2011-01-10T16:46:47Z 2011-01-10T16:46:47Z <p>Question 1 is slightly ambiguous. Does "euclidean" mean euclidean with respect to the obvious norm, or does it mean euclidean with respect to <em>some</em> norm? </p> <p>For example, Z[$\sqrt{14}$] is not euclidean w.r.t. the usual norm, but I'm not sure it's known whether there's some other norm that makes it euclidean.</p> http://mathoverflow.net/questions/51667/unique-factorization-domains/51673#51673 Answer by quid for Unique factorization domains quid 2011-01-10T16:53:41Z 2011-01-11T00:14:59Z <p>This is more a comment to the question (which I cannot do).</p> <p>As written (intentionally?) [ADDED: Apparently, it was intentional.] the specified rings are not always the (full) ring of algebraic integers of the field $\mathbb{Q}(\sqrt{c})$ (see, e.g., <a href="http://en.wikipedia.org/wiki/Quadratic_integer" rel="nofollow">http://en.wikipedia.org/wiki/Quadratic_integer</a> for details).</p> <p>In these cases the rings in question are not integrally closed and thus not UFDs, even if the class number of the field is one and thus the (full) ring of algebraic integers would be a UFD (see, e.g., <a href="http://en.wikipedia.org/wiki/Class_number_problem" rel="nofollow">http://en.wikipedia.org/wiki/Class_number_problem</a> ). </p> <p>Possibly, one needs to take this into account too, when using the list, mentioned in another answer, where the rings are Euclidean. </p> <p>ADDED: Franz Lemmermeyer's answer is considerably more complete than this remark.</p> http://mathoverflow.net/questions/51667/unique-factorization-domains/51675#51675 Answer by Franz Lemmermeyer for Unique factorization domains Franz Lemmermeyer 2011-01-10T17:33:19Z 2011-01-10T17:33:19Z <p>A quadratic order has unique factorization (or is Euclidean) only if it is the maximal order of a number field (it must be integrally closed); for your examples, this holds if and only if $c$ is a squarefree integer congruent to $2$ or $3$ modulo $4$.</p> <ol> <li><p>It is known, as others have pointed out, which quadratic fields are Euclidean with respect to the absolute value of the norm. In the complex quadratic case, every Euclidean ring is norm-Euclidean (Motzkin); in the real quadratic case, there are examples (by students of Murty, namely Clarke and Harper) of Euclidean rings that are not norm-Euclidean. </p></li> <li><p>By a result of Weinberger, every real quadratic field with unique factorization is Euclidean assuming the generalized Riemann hypothesis. </p></li> <li><p>The ring of integers in a quadratic number field is not a UFD if its class number is nontrivial; it is easy to construct examples by making $c$ a product of at least three primes. It is believed but not known that infinitely many quadratic number rings have class number $1$. </p></li> </ol> <p>See <a href="http://www.algant.eu/documents/theses/simachew.pdf" rel="nofollow">Simachew</a> or my <a href="http://www.rzuser.uni-heidelberg.de/%7Ehb3/publ/survey.pdf" rel="nofollow">own</a> survey for references.</p>