0
$\begingroup$

For $\alpha = (1+ \sqrt{-3})/2 \in \mathbb{C}$ and $R = \{ x +y\alpha \, | \, x,y \in \mathbb{Z} \}$.

How would you verify that R is a subring of $\mathbb{C}$? Everytime I multiply two 'elements' of $R$ to check closure I get the negative complex conjugate of $\alpha$, I think I'm doing something wrong...

Thanks!

3 Answers 3

0

Well, to verify that $R$ is a subring of $\Bbb C$, you'll need to verify that:

  1. $R$ is a subgroup of $\Bbb C$.
  2. $R$ is closed under multiplication.
  3. $R$ contains the multiplicative identity. (This axiom is to be verified if you consider the multiplicative identity as a part of the structure of your ring.)

To verify the first property:

  • Note that $R$ is non-empty as it contains $\Bbb Z$ inside it, when you set $y=0$ in your definition.
  • Let $x_1+\alpha y_1$ and $x_2 + \alpha y_2$ be elements of $R$. Clearly, $x_1-x_2+\alpha(y_1-y_2) \in R$.

To verify the second property:

  • $(x_1+\alpha y_1)(x_2+\alpha y_2)=x_1x_2+\alpha(x_1y_2+y_1x_2)+\alpha^2y_1y_2$. Now, can we write $\alpha^2$ in terms of $\alpha$ and other integers? If we could it would follow that $R$ is closed under multiplication.

A brief thought and acquaintance with complex numbers tell us that $-\alpha$ is a complex cube root of unity. And, it is know that, the cube roots of unity satisfy $1 +(- \alpha) +(-\alpha)^2=0$. This means, $ \alpha^2=\alpha-1$ So the product is, $(x_1+\alpha y_1)(x_2+\alpha y_2)=x_1x_2-y_1y_2+\alpha(x_1y_2+y_1x_2+y_1y_2) \in R$

To verify property $3$:

  • Note that by setting $x=1$ and $y=0$, you have $1 \cdot (x_1+\alpha y_1)= x_1 +\alpha y_1$. So, $1$ is the neutral element in $R$.

So,...

  • 0
    @Brian I think I was. I'll change it to set things right and more explicit.2012-03-04
3

HINT:

$\alpha-1=\frac12(1+\sqrt{-3})-1=\frac12(\sqrt{-3}-1)=-\frac12(1-\sqrt{-3})=-\overline\alpha$

1

Hint $\rm\ R\: =\: \mathbb Z + \alpha\:\mathbb Z\ $ is closed under multiplication $\rm \iff \alpha^2 \in R\iff \alpha\:$ is a quadratic integer.

Proof $\:$ (sketch) $\:$ If $\rm\:R\:$ is closed under multiplication then $\rm\:\alpha\in R\:\Rightarrow\: \alpha\cdot \alpha\in R.\:$ This implies that$\rm\:\alpha^2 \:=\: m + n\:\alpha\:$ for $\rm\:m,n\in \mathbb Z,\:$ which implies closure under multiplication

$\rm (a+b\:\alpha)\:(c+d\:\alpha)\ =\ ac+(ad+bc)\:\alpha + bd\:(m+n\:\alpha)\ \in\ \mathbb Z+\alpha\:\mathbb Z $