8
$\begingroup$

I'm trying to follow a text (Lang's Algebraic Number Theory) in which it fully determines an integral basis for quadratic fields (also seen here). Is there any easy or analogous way to determine one for cubic fields of the form $\mathbb Q(\sqrt[3]{a})$, where $a\in\mathbb Z$?

Can one also conclude (or stipulate various restrictions so) that $\mathcal O_K$ is a PID?

  • 2
    http://www.math.ku.dk/~kiming/lecture_notes/2003-2004-algebraic_number_theory_koch/pure_cubic_fields.pdf2012-12-04
  • 1
    $\mathcal{O}_K$ is not in general a PID when $K$ is quadratic, so there should be less hope for when $K$ is cubic.2012-12-04
  • 0
    If you know about the ideal class group, then $\mathcal{O}_K$ is a PID if and only if its class number (i.e. the order of the ideal class group) is 1. This wikipedia article has a list of some quadratic and cubic fields with class number 1: http://en.wikipedia.org/wiki/List_of_number_fields_with_class_number_one2012-12-04

2 Answers 2

0

You can find an "elementary" proof in example 4.3.6 of Murty and Esmonde, Problems in Algebraic Number Theory, here.

4

Integral basis for ${\bf Q}(\root3\of a)$ is given in Theorem 7.3.2 of Alaca and Williams, Introductory Algebraic Number Theory:

Let $m$ be a cubefree integer. Set $m=hk^2$, where $h$ is squarefree, so that $k$ is squarefree and $(h,k)=1$. Set $\theta=m^{1/3}$ and $K={\bf Q}(\theta)$. Then an integral basis for $K$ is $$\eqalign{&\{{1,\theta,\theta^2/k\}},{\rm\ if\ }m^2\not\equiv1\pmod9,\cr&\{{1,\theta,(k^2\pm k^2\theta+\theta^2)/3k\}},{\rm\ if\ }m\equiv\pm1\pmod9.\cr}$$

  • 1
    I do not have access to the text, but as far as I can [gleam online](http://math.stackexchange.com/questions/99913/easy-way-to-show-that-mathbbz-sqrt32-is-the-ring-of-integers-of-mat), the proof to that theorem is left to the reader (!).2012-12-04
  • 0
    Yes, that's right. Considering how complex the statement is, you might want to reconsider asking for an easy way to determine an integral basis for these fields.2012-12-04