14
$\begingroup$

I'm trying to get through a proof of Gauss' that certain primes can be written as the sum of two squares. An assumption is that

the order of $\mathbb{Z}[i]/(a+bi)$ is $a^2+b^2$.

I get that $(a+bi)(a-bi)=a^2+b^2$, so this places a bound on the order of integers with no imaginary part. But since $b$ isn't a unit, it doesn't seem like this finishes the proof.

Any hints?

  • 1
    @Xodarap Interesting. Here's what I had in mind: to divide $a$ by $b \neq 0$ I need $q, r \in \mathbf{Z}[i]$ such that $a = qb + r$ and |r| < |b|. Then it's enough to find a $q$ such that |a/b - q| < 1. But the farthest any point in the complex plane can be from the lattice $\mathbf{Z}[i]$ is $1/\sqrt{2}$.2011-07-20

3 Answers 3

11

HINT $\ $ If $\rm\ (a,b) = 1\ $ then $\rm\ x^2 = -1,\ a = b\:x\ \iff\ a^2 = -b^2,\ x = a/b\:.\ $ Therefore

$\rm\mathbb Z[i]/(a-b\:i)\ \cong\ \mathbb Z[x]/(x^2+1,\ a-b\:x)\ \cong\ \mathbb Z[x]/(a^2+b^2,x-a/b)\ \cong\ \mathbb Z/(a^2+b^2) $

  • 0
    @Dylan $\rm\:a/b\:$ denotes an integer $\rm\:m\equiv a/b\ (mod\ n)\:$ so it is correct as written - see my prior comment.2011-07-20
4

Expanding on Qiaochu's comment, but trying to leave you some room to think:

$\mathbb{Z}[i]$ is a square lattice in the complex plane, and the ideal $(a+bi)$ is a square sublattice. (Why?) The index of $(a+bi)$ in $\mathbb{Z}[i]$ is the number of elements of $\mathbb{Z}[i]$ inside a fundamental square of $(a+bi)$, including part but not all of its boundary. (Why? And what's with the boundary funny business?) This is the same as the ratio of the area of the fundamental square of $\mathbb{Z}[i]$ to the area of the fundamental square of the sublattice $(a+bi)$. (Why?)

$\mathbb{Z}[i]$'s fundamental square is a unit square, so the question is really about the area of $(a+bi)$'s fundamental square. The line from $0$ to $a+bi$ is a side of this square...

  • 0
    I had [a question](http://math.stackexchange.com/questions/52899/artins-proof-of-the-order-of-mathbb-zi-abi) that was too long for a comment - could you take a look if you get a chance?2011-07-21
1

Hint: The Gaussian integers are a Euclidean domain with respect to the norm. Hence given $z\in \mathbb Z[i]$ there are $q$ and $r$ in $\mathbb Z[i]$ such that $z=q(a+bi)+r$, with $r=0$ or $N(r).

  • 0
    I actually wanted a proof of this question so that I could prove $N(a+bi)=a^2+b^2$ made the domain Euclidean :-)2011-07-20