The ring of integers is and the field discriminant is . The Minkowski bound for ideal classes is . At three the defining polynomial is irreducible, so the only prime ideals needed to generate the ideal class group are and , of ideal norms two and five. They satisfy , and , so one class of order of a group element at most two generates. The field norm equation is impossible modulo five, proving is not a principal ideal. Hence the ideal class group has exactly two elements.
Articles by others on the same topic
There are currently no matching articles.