Ideal class group of Q of square root thirty-five
ID: ideal-class-group-of-q-of-square-root-thirty-five
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.
New to topics? Read the docs here!