Class groups of real cyclotomic fields

Abstract

We prove that every finite abelian group G occurs as a subgroup of the class group of infinitely many real cyclotomic fields.

This version corrects some small inaccuracies in the proof of Proposition 3