Every abelian group is a class group.