Showing elements in an extension field Z[sqrt(-5)] have gcd = 1

[tomelwood]

Homework Statement

Show that the elements 3 and 2+$$\sqrt{-5}$$ in $$\textbf{Z}$$[$$\sqrt{-5}$$] have a greatest common divisor of 1, but the ideal I = (3, 2+$$\sqrt{-5}$$) is not the total. Conclude that I is not principle.

Homework Equations

The Attempt at a Solution

I have got as far as attempting to show the first part. If I show that both 3 and 2+$$\sqrt{-5}$$ are both irreducible in $$\textbf{Z}$$[$$\sqrt{-5}$$] then they are relatively prime and hence have gcd of 1?
Also, the norms of both the numbers are 9, so does this do anything at all?
The way I have argued that both 3 and 2+$$\sqrt{-5}$$ are irreducible is:
Let 3=ab with a and b in $$\textbf{Z}$$[$$\sqrt{-5}$$].
Now |a|$$^{2}$$*|b|$$^{2}$$=9 which has only 1,3,9 as positive factors.
If |a|$$^{2}$$=3 then a=x+y$$\sqrt{-5}$$ with x,y satisfying x$$^{2}$$+5y$$^{2}$$=3.
There are no such integers, so |a|$$^{2}$$=/=3.
So either |a|=1 or |b| = 1. so either a or b is a unit, so 3 is irreducible.
Exactly the same for 2+$$\sqrt{-5}$$ since 4+5=9, then argue the same way.

But I don't really know what to do from here,
And how do I argue that the Ideal is not the total?

As for the last statement, is it true that if an ideal of two coprime numbers is not the whole ring, then the ideal is not principal?

Many thanks in advance.

 

[micromass]

To prove that the ideal is not the total ring. Proceed by contradiction: assume that there exists $$a,b\in \mathbb{Z}{\sqrt{-5}}$$ such that

$$1=a.3+b.(2+\sqrt{-5})$$

Now try to reach a contradiction...

 

[tomelwood]

OK.
So letting $$a=x+y\sqrt{-5}$$ and $$b=u+v\sqrt{-5}, x,y,u,v\in \textbf{Z}$$
we can multiply out your expression to give
$$1=3x+3y\sqrt{-5}+2u+u\sqrt{-5}+2v\sqrt{-5}-5v$$
Which can then be rearranged to give
$$x=\frac{(\sqrt{-5}(3y+u+2v)-1)}{3}$$
which means that x is something multiplied by the square root of minus 5, so cannot be an integer, as assumed.
I presume similar arguments can be made for y,u,v, meaning that we have our required contradiction?

 

[tomelwood]

So the definition of an ideal being the total ring is that multiplying the elements of the ideal by arbitrary elements of the ring gives 1?
Why is this?
Also, does my argument show that the greatest common divisor is 1? As I have shown (have I?) that they are both irreducible and so are both prime. And two prime numbers have gcd 1.

And then to finish off, I can just say that since an ideal of two elements with gcd 1 is not the whole ring, then the ideal is not principal? Is this true? Or do I need to prove something else in the meantime? If so, what?

Many thanks.

 

[pablito_mf]

Tom! To prove that the gcd($$2+\sqrt{-5}$$)=1 you can use this:
divisors(3)=+-1,+-3. So you only have to try if those numbers divide $$2+\sqrt{-5}$$.
Of course, the don't. Therefore gcd=1.