Ideal class group of the imaginary quadratic field of discriminant minus eighty-four

ID: ideal-class-group-of-the-imaginary-quadratic-field-of-discriminant-minus-eighty-four

For , the integer ring is . The Minkowski bound for ideal classes is less than six. The ramified primes and give independent classes of order two; their product is the class of because factors as the product of these three prime ideals. Element norms cannot equal 2, 3 or 6, so these classes are distinct. Ideals of norm at most five supply no further classes, proving the four-element group.

New to topics? Read the docs here!