How do you square an ideal?

Question

For some of you, this question is going to seem extremely basic.

I think I understand what an ideal is. Such as $\langle 2, 1 + \sqrt{-5} \rangle$, it consists of all numbers in this ring of the form $2a + (1 + \sqrt{-5})b$.

But then what is $\langle 2, 1 + \sqrt{-5} \rangle^2$? My first thought was $\langle 4, -4 + 2 \sqrt{-5} \rangle$, but that seems wrong somehow. I also had something in the back of my mind saying $\langle 2 \rangle$, but I'm not sure about that one either.

Then I thought about trying to figure out $\langle 2, 1 + \sqrt{-5} \rangle \langle 2, 1 + \sqrt{-5} \rangle$ when I realized I don't actually understand how to multiply ideals to begin with.

I'm only using $\langle 2, 1 + \sqrt{-5} \rangle$ as an example (though that does draw in one question identified as similar that looks much more relevant than all the questions identified as "Questions that may already have your answer"). In a principal ideal domain, would it be correct to think that $\langle a \rangle \langle b \rangle = \langle ab \rangle$?

Any help would be much appreciated.

Answer 1

When you square an ideal you're really looking at products of two things coming from your ideal. In you case $\langle 2, 1+\sqrt{-5}\rangle^2$ means take something in $\langle 2, 1+\sqrt{-5}\rangle$ and multiply it by something else in the ideal; the set of all the things you get by doing this is the ideal $\langle 2, 1+\sqrt{-5}\rangle^2$.

In order to work with this you can just multiply your generators together, so $\langle 2, 1+\sqrt{-5}\rangle^2=\langle 4,2+2\sqrt{-5},-4+2\sqrt{-5}\rangle$. Then you might look for relations between these generators to reduce this set. In this case it does not appear that there are any relations between them.

You are correct that in a P.I.D., $\langle a \rangle \langle b\rangle=\langle ab\rangle$ provided $a,b$ aren't units (in which case $\langle a \rangle$ or $\langle b \rangle$ would be the entire ring).

Answer 2

For a P. I. D., yes. For the general case, the product of two ideals $I=(a_1,\dots, a_n)$ and $J=(b_1,\dots, b_p)$ is the ideal generated by all possible products $a_ib_j$.

Hence the square of $I=(2, 1+\sqrt{-5})$ is the ideal $I^2=(4,2+2\sqrt{-5},-4+2\sqrt{-5})$.