Odd-order obstruction for a split prime in an imaginary quadratic field

ID: odd-order-obstruction-for-a-split-prime-in-an-imaginary-quadratic-field

Let , , and let be a prime-ideal factor of . If and is odd, then does not have order . Otherwise would give
for . The bound forces , after which is an integer square, impossible for odd .

New to topics? Read the docs here!