Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $\zeta$ be the cube root of 1 given by $\zeta=\frac{-1}{2}+i\frac{\sqrt{3}}{2}$ and let $\mathbb{Z}[\zeta]=\{a+\zeta b: a, b\in \mathbb{Z}\}$, called the "Eisenstein integers".

How prove the following exercises?

(a) Every element of $\mathbb{Z}[\zeta]$ can be uniquenly written in the form $a+\zeta b$ for some $a, b\in\mathbb{Z}$.

(b) Let $N(a+\zeta b)=(a+\zeta b)(a+\overline{\zeta} b)=a^2-ab+b^2$. Show that the units of $\mathbb{Z}[\zeta]$ are $\{\pm 1,\pm\zeta, \pm \zeta^2 \}$.

(c) Show $\mathbb{Z}[\zeta]$ is an Euclidean domain with size function $N$.

share|cite|improve this question

closed as off-topic by user26857, 6005, ᴡᴏʀᴅs, Ivo Terek, Harish Chandra Rajpoot Nov 30 '15 at 0:27

This question appears to be off-topic. The users who voted to close gave this specific reason:

  • "This question is missing context or other details: Please improve the question by providing additional context, which ideally includes your thoughts on the problem and any attempts you have made to solve it. This information helps others identify where you have difficulties and helps them write answers appropriate to your experience level." – user26857, 6005, Ivo Terek, Harish Chandra Rajpoot
If this question can be reworded to fit the rules in the help center, please edit the question.

The proof of uniqueness almost writes itself. Suppose that $a+b\zeta=c+d \zeta$. Then $a-c=(d-b)\zeta$. But $\dots$. – André Nicolas Jun 29 '12 at 18:07
André. I already did Part 1. How get the part two an three? – Andres Jun 29 '12 at 18:10
Dear Andres, Then you should say that you have done Part 1 in the body of the question, so that André does not spend his time telling you what you already know. For (b), can you show that those six elements are in fact units? That's a start. – Dylan Moreland Jun 29 '12 at 18:13
Inthe part 1. I suposse that $a+\zeta b=a'+\zeta b'$ and prove that $a=a'$ and $b=b'$ – Andres Jun 29 '12 at 18:16

For part 1, note that $\zeta^2$ can be written as $a+b\zeta$, so that any element of $\mathbb{Z}[\zeta]$ can be written at least one way as $a+b\zeta$; uniqueness then follows because $\zeta$ is not rational (since there are no rational roots of $x^2+x+1$, the polynomial that $\zeta$ satisfies).

For part 2, show that $N$ is multiplicative: for any $\alpha,\beta\in\mathbb{Z}[\zeta]$, $N(\alpha\beta) = N(\alpha)N(\beta)$. Conclude that $\alpha$ is a unit if and only if $N(\alpha) = \pm 1$. Now rewrite $a^2-ab+b^2$ as $$a^2-ab+b^2 = \left( a - \frac{1}{2}b\right)^2 + \frac{3}{4}b^2$$ so that it is clear that the norm is always positive. Consider what you need for this sum of squares to be equal to $1$.

For part 3, there is a beautiful geometric argument given by Klein; I've posted about it before.

share|cite|improve this answer
Arturo and for the part 3? – Andres Jun 29 '12 at 18:38
@Andres Do you know how to prove that $\mathbb Z[i]$ is a Euclidean domain? This is quite similar. It helps me to draw a picture of the lattice of Eisenstein integers in the complex plane. – Dylan Moreland Jun 29 '12 at 18:47

Not the answer you're looking for? Browse other questions tagged or ask your own question.