Questions tagged [quadratic-integer-rings]

Use this tag for questions related to the subset of quadratic integers contained in a quadratic field.

A quadratic integer ring, often denoted $\mathcal O_{\Bbb Q(\sqrt D)}$, is the subset of quadratic integers contained in the quadratic field $\Bbb Q(\sqrt D)$ where $D$ is a square-free integer not equal to $0$ or $1$.

Numbers of the form $a + b\sqrt D$ with rational integers $a$ and $b$ are integers of $\Bbb Q(\sqrt D)$. Those are the only integers of $\Bbb Q(\sqrt D)$ if $D \equiv 2$ or $3 \pmod 4$. If $D \equiv 1 \pmod 4$, the numbers $(c + d\sqrt D)/2$ with odd rational integers $c$ and $d$ are also integers of $\Bbb Q(\sqrt D)$, and there are no further integers.

The integers of $\Bbb Q(\sqrt{-1}) = \Bbb Q(i)$ are often called Gaussian integers.

51 questions
55
votes
7 answers

Why is quadratic integer ring defined in that way?

Quadratic integer ring $\mathcal{O}$ is defined by \begin{equation} \mathcal{O}=\begin{cases} \mathbb{Z}[\sqrt{D}] & \text{if}\ D\equiv2,3\ \pmod 4\\ \mathbb{Z}\left[\frac{1+\sqrt{D}}{2}\right]\ & \text{if}\ D\equiv1\pmod 4 …
17
votes
2 answers

Enumerating Bianchi circles

Background: Katherine Stange describes Schmidt arrangements in "Visualising the arithmetic of imaginary quadratic fields", arXiv:1410.0417. Given an imaginary quadratic field $K$, we study the Bianchi group $\mathrm{PSL}_2(\mathcal{O}_K)$, which is…
14
votes
3 answers

Proving irreducibility of quadratic integers using norms, e.g. in $\mathbb{Z}[\sqrt{-5}]$

How can I prove that $2+\sqrt{-5}$ is irreducible in $\mathbb{Z}[\sqrt{-5}]$? I tried to show by $2+\sqrt{-5}=(a+b\sqrt{-5})(c+d\sqrt{-5})$ but I could not get a contradiction.
9
votes
2 answers

Recognizing Principal Ideals

In the ring $\mathbb{Z}[\sqrt{6}]$, the ideal $(2,\sqrt{6})$ simplifies to $(\sqrt{6}-2)$, while in the ring $\mathbb{Z}[\sqrt{10}]$, the ideal $(2,\sqrt{10})$ is not principal (I think). Is there some simple way to tell if a finitely generated…
7
votes
3 answers

Good reference book for quadratic integer rings?

Could anyone direct me to a good reference book(s) for quadratic integer rings? Ideally, the reference would begin with their elementary properties and then proceed through their ring-theoretic properties: for example, which quadratic integer rings…
6
votes
3 answers

Infinitely many primes in the ring of integers for any quadratic field

Let $d$ be an integer, not a perfect square, and $\mathcal{O}_K$ the ring of integers in $K = \mathbb Q(\sqrt d)$. I want to prove that there are infinitely many primes in $\mathcal{O}_K$. How do we show that this is true? Thank you.
6
votes
1 answer

How to approximate real numbers using members of $\mathbb Z (\sqrt d)$?

Real numbers can be approximated to successively better precision using the convergents of a continued fraction. Is there a similar way to find quadratic integers of fixed (positive) discriminant that approximate reals? I'm aware that it can…
6
votes
0 answers

What is an importance of Gaussian and Eisenstein rings?

Among quadratic integer rings, $\mathbb{Z}[i]$ and $\mathbb{Z}[\frac{1+\sqrt{-3}}{2}]$ have their special names, namely Gaussian integers and Eisenstein integers respectively. I guess this is named so because these rings are particularly more…
5
votes
4 answers

Finding the units of $\mathbb{Z}\left[\frac{1+\sqrt{-19}}{2}\right]$

I was trying to comprehend a simple exercise from my elementary number theory class. Let $\theta=\frac{1+\sqrt{-19}}{2}$, and let $R$ be the ring $\mathbb{Z}[\theta] .$ Show that the units of $R$ are $\pm 1$, and that 2,3, and $\theta$ are…
5
votes
0 answers

How to interpret action of $SL_2(\mathcal{O}_d)$

Given a lattice $\wedge = \{\omega_1, \omega_2 \}$ in $\mathbb{C}$, $\omega_1 / \omega_2 \not\in \mathbb{R}$, we know that $\wedge' = \{\omega_1', \omega_2' \}$ defines the same lattice precisely when $$\begin{pmatrix} \omega_1' \\ \omega_2'…
5
votes
3 answers

Fundamental unit of the quadratic integer ring $\mathbb{Z}[\sqrt{n}]$

I looked in other questions but I didn't find any answers regarding quadratic integer rings. Apologies if I missed it. Given the ring $\mathbb{Z}[\sqrt{n}]$ where $n$ is a square-free positive integer, I would like to find the fundamental unit (i.e.…
rwmak
  • 177
4
votes
2 answers

Patterns for Euclidean complex quadratic rings?

Consider the Euclidean complex quadratic rings. There are only a $5$ of them. $$ \Bbb Z[\sqrt{-1}],\Bbb Z[\sqrt {-2}], \Bbb Z[\frac{1+\sqrt {-3}}{2}], \Bbb Z[\frac{1+\sqrt {-7}}{2}], \Bbb Z[\frac{1+\sqrt {-11}}{2}]$$ Some of them are named and…
4
votes
1 answer

Show $\mathbb{Z}_{(p)} [ \sqrt{D}]$ is a UFD

Consider $\mathbb{Z}_{(p)} [ \sqrt{D}]$, for $D$ a squarefree integer, and $D \not\equiv 1 \bmod 4$. I want to show that this is a UFD. By considering $\mathbb{Z}_{(p)} [ \sqrt{D}] \cong (\mathbb{Z} - p\mathbb Z)^{-1}\mathbb{Z} [\sqrt{D}]$ I have…
4
votes
2 answers

For prime quadratic integer $\pi$, $x \equiv 1$ (mod $\pi$), Show $x^2 \equiv1$ (mod $\pi^2$) and $x^3 \equiv 1$ (mod $\pi^3$) is not always true.

I was working through one of the problems given to me on my problem set for a number theory class and I would like some help in an attempt to learn. Could someone help me with the following question? Show by counterexample, that if $\pi$ is a prime…
4
votes
1 answer

Prove that the ideal $I = \left( 3, 2 + \sqrt{-5} \right)$ is a prime ideal in $\mathbb{Z}\left[ \sqrt{-5} \right]$.

Prove that the ideal $I = \left( 3, 2 + \sqrt{-5} \right)$ is a prime ideal in $R = \mathbb{Z}\left[ \sqrt{-5} \right]$. The book recommends observing that $$ R/I \cong \left( R/(3) \right)/\left( I/(3) \right). $$ My trouble is breaking down the…
1
2 3 4