4
$\begingroup$

Is the ring of all algebraic integers coherent? Here is the definition of a coherent ring.

1 Answers 1

6

Yes. In fact every finitely generated ideal is principal.

  • 2
    http://en.wikipedia.org/wiki/B%C3%A9zout_domain2012-11-20
  • 0
    Dear Countinghaus, How do you prove that the ring of all algebraic integers is a Bezout domain?2012-11-20
  • 0
    This is a little gross and there's probably an easier argument, but given a finitely generated ideal there is an ideal of an honest number field generated by the same generators; this ideal becomes principal after a finite extension (e.g. by capitulation of ideals in the Hilbert class field) and the generator of that new ideal is also a generator for your original ideal.2012-11-20