4
$\begingroup$

This question is from a very old exercise sheet, I do not know what the notation $\mathbb{Z}_{\mathbb{C}}$ means:

  1. $1\equiv 1 \mod 4 $ in $\mathbb{Z}$. Show that $\frac{1+\sqrt{m}}{2} \in \mathbb{Z}_{\mathbb{C}}$ 2. Let $a= (19)^{1/3}$. Show that $\frac{1+a+a^{2}}{3} \in \mathbb{Z}_{\mathbb{C}}$

1. It will now be shown that $\frac{1+\sqrt{m}}{2}$ is an algebraic integer, that means that it fulfills a polynomial with leading coefficient 1 (monic) and rest integral. Wikipedia article on algebraic integers says that it suffises the monic polynomial: $x^{2}-x+\frac{1-m}{4}$ This is true because: $(x-\frac{1}{2}(1+\sqrt{m})) (x-\frac{1}{2}(1-\sqrt{m})) = x^{2}-x+\frac{1-m}{4}$

2. Let $b = 19$, then $\frac{1+b+b^{2}}{3} = \frac{1+19+19^{2}}{3}$

Then one examines : $(x-(\frac{1+19+19^{2}}{3}))(x-\frac{-1-19-19^{2}}{3}) = (x-127)(x+127) = x^{2}- 16129$

now subtituting $x$ with $x^{3}$ gives: $x^{6}-16129$, and this is the monic polynomial for $a= (19)^{1/3}$

Is this done correctly? Please do tell

  • 2
    From the first part, my guess is that $\mathbf Z_\mathbf{C}$ is the set of complex numbers which satisfy a monic polynomial with integer coefficients.2011-11-24
  • 2
    @Dylan: Also known as algebraic integers.2011-11-24
  • 0
    @joriki Indeed! I should have mentioned those words. Touch typing makes me a little too economical at times. I was also somewhat worried because while I've heard "algebraic numbers" to refer to the algebraic closure of $\mathbf Q$ in $\mathbf C$, I hadn't seen a corresponding definition for integral elements.2011-11-24
  • 0
    Just how old is this "very old" problem sheet?2011-11-24

1 Answers 1

5

Your approach seems too complicated in both cases. Try these simpler approaches:

  1. Let $\alpha =\frac{1+\sqrt{m}}{2}%$. Then $2 \alpha -1 = \sqrt{m}$. Can you now find a monic equation for $\alpha$? Make sure you use the hypothesis on $m \bmod 4$.

  2. Let $\beta=\frac{1+a+a^{2}}{3}$. Note that $\beta = \frac{a^3-1}{3(a-1)}=\frac{6}{a-1}$. Then $a=\frac{6}{\beta}+1$. Now use that $a^3=19$ to find a monic equation for $\beta$.

  • 0
    I made an edit, are my proofs right? Thanks.2011-11-24
  • 0
    @VVV, see my edited answer.2011-11-24