0
$\begingroup$

let $m$ be an integer with $m\equiv 1 \pmod4$ and $m<-3$.

$U\left(\mathbb{Z}+\mathbb{Z}(\frac{1+\sqrt{m}}{2})\right)=\{\pm1\}$ How can I prove that?

  • 0
    @ThomasAndrews Oops! Thanks for catching that!2012-04-03

1 Answers 1

3

If you've been introduced to enough machinery of Algebraic Number Theory, you can recognize:

  • $\mathbb{Z}[(1 + \sqrt{m})/2]$ is the ring of integers in the number field $\mathbb{Q}(\sqrt{m})$, and so...
  • the free part of the unit group is trivial, by Dirichlet's Unit Theorem

So it boils down to looking for roots of unity. However:

  • $[ \mathbb{Q}(\zeta_{4}) : \mathbb{Q} ] = 2$
  • $[ \mathbb{Q}(\zeta_{2^e}) : \mathbb{Q} ] \geq 4$ for $e \geq 3$
  • $[ \mathbb{Q}(\zeta_{3}) : \mathbb{Q} ] = 2$
  • $[ \mathbb{Q}(\zeta_{3^e}) : \mathbb{Q} ] \geq 6$ for $e \geq 2$
  • $[ \mathbb{Q}(\zeta_{p^e}) : \mathbb{Q} ] \geq p-1$ for $p \geq 3$

Since $[ \mathbb{Q}(\sqrt{m}) : \mathbb{Q} ] = 2$, you just have to check that neither of $\sqrt{-1}$ and $\sqrt{-3}$ are in $\mathbb{Q}(\sqrt{m})$.

In particular, you probably meant to assume $m$ is squarefree, since $\sqrt{-3} \in \mathbb{Q}(\sqrt{-27})$ (and thus so is $\zeta_3$).

  • 0
    @Benjamin: I'm sure that people who do this stuff for a living have those degrees (or the calculation procedure) memorized. For me, really, the only thing I needed for this answer is that, for an odd prime, the roots of $x^p-1$ are $1$ and the $p-1$ primitive $p$-th roots of unity (which are all conjugate), and so $[\mathbb{Q}(\zeta_p) : \mathbb{Q}] = p-1$. The $\zeta_8$ I did from memory (it helps to actually know the complex $8$-th roots of unity). I'm a little iffy on getting $[\mathbb{Q}(\zeta_9) : \mathbb{Q}]$ right, but all I *really* needed is that it's bigger than $2$.2012-04-03