Ideal class group of Q of square root of minus one hundred sixty-three

ID: ideal-class-group-of-q-of-square-root-of-minus-one-hundred-sixty-three

The imaginary quadratic field has discriminant , and its Minkowski bound for ideal classes is
The polynomial defining its ring of integers of a quadratic field has no root modulo or , so these rational primes are inert. Factoring an integral ideal of norm at most eight into prime ideals then shows that its only possible nontrivial factor is the principal ideal , of norm four. Every ideal class is therefore principal, and

New to topics? Read the docs here!