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 isThe 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!