1. ## Ideals in rings

Hi, I am really struggling with a quetion about ideals on my rings, polynomials and fields paper. The question is:

Show that the set

I={a+b(-5)^1/2:a,b in Z and a-b is even}

Is an ideal in Z[-5]^1/2

I do not have a lot of knowledge on Ideals soa simple explanation would be great. Would appreciate any help on Ideals at all.

2. Originally Posted by lillucy31
Hi, I am really struggling with a quetion about ideals on my rings, polynomials and fields paper. The question is:

Show that the set

I={a+b(-5)^1/2:a,b in Z and a-b is even}

Is an ideal in Z[-5]^1/2

I do not have a lot of knowledge on Ideals soa simple explanation would be great. Would appreciate any help on Ideals at all.
Firstly, this is an algebra question so you would be more likely to get a quick reply if you had posted there...but someone will move this thread soon I am sure!

Now, an ideal $I$ of a ring $R$ is a set which is closed under addition and under multiplication by and element of the ring. So, $a+b \in I$ for all $a, b \in I$, $ar \in I$ and $ra \in I$ for all $r \in R$ (although your ring is commutative so you do not need to show both $ra$ and $ar$ are in $I$ here).

So, you need to check these two things here.

Let $a_1 + b_1 \sqrt{-5}$ and $a_2 + b_2 \sqrt{-5}$ be in the ideal and let $x + y \sqrt{-5}$ be an arbitrary element of the ring.

Does $a_1 + a_2 + (b_1 + b_2)\sqrt{-5}$ satisfy the condition? What about $(a_1 + b_1 \sqrt{-5})(x+y\sqrt{-5})$, once you have multiplied it out?

3. Firstly thanks for the quick reply despite it being in the wrong section, very new at this whole thing.
does satisfy the condition because it's in the same form as the original set?
I've multiplied out the to get a_1(x+y\sqrt{-5}) + b_1(x\sqrt{-5} - 5y) but I'm not sure if this satisfies the condition, or whether I've written it in the write form. Could you possibly explain why it does satisfy the conditions?

Thanks again.

4. Originally Posted by lillucy31
Firstly thanks for the quick reply despite it being in the wrong section, very new at this whole thing.
does satisfy the condition because it's in the same form as the original set?
I've multiplied out the to get a_1(x+y\sqrt{-5}) + b_1(x\sqrt{-5} - 5y) but I'm not sure if this satisfies the condition, or whether I've written it in the write form. Could you possibly explain why it does satisfy the conditions?

Thanks again.
Put the maths stuff in [math ] [/math ] tags, then it will be presented nicely.

What does it mean for an element to be in this ideal?

5. Im really sorry I have no idea, the notes I have from my lectures aren't useful, so I don't know much.

6. Originally Posted by lillucy31
Im really sorry I have no idea, the notes I have from my lectures aren't useful, so I don't know much.
You have been given a set under a condition. You need to show that if you take two elements each of which satisfy this condition then their sum will satisfy the condition. Further, if you take an element of this set and an arbitrary element from the ring then their product will satisfy this condition.

So, for example, $(a_1 + a_2) + (b_1 + b_2)\sqrt{-5} = \alpha + \beta \sqrt{-5}$ where $\alpha = a_1 + a_2$ and $\beta = b_1 + b_2$. Is $\alpha - \beta$ even?

For the multiplying a ring element with an ideal element, multiply them together, then collect the $\sqrt{-5}$ terms. Then you have to work out if the $\sqrt{-5}$ coefficient minus the other stuff gives you an even number.

In both cases you need to use the assumption that you are in the ideal so the elements satisfy the condition.

7. okay. After having collected the $\sqrt{-5}$ I got $\sqrt{-5}(a_1y+b_1x) -a_1x - 5b_1y$ I'm not sure how work out whether it gives me an even number or not.

8. Originally Posted by lillucy31
okay. After having collected the $\sqrt{-5}$ I got $\sqrt{-5}(a_1y+b_1x) -a_1x - 5b_1y$ I'm not sure how work out whether it gives me an even number or not.
Plug that into your condition and what do you get?