Nonprincipal ideal in the integers adjoined a square root of minus five

ID: nonprincipal-ideal-in-the-integers-adjoined-a-square-root-of-minus-five

In , the ideal
has additive index two. If were principal, multiplication by its generator would give
which has no solution in integers. Thus is not principal.

New to topics? Read the docs here!