The ring of integers of an abelian number field.