An irreducible nonprime in the order Z sqrt minus seven

ID: an-irreducible-nonprime-in-the-order-z-sqrt-minus-seven

The multiplicative field norm is an integer. Units have field norm one and are exactly . A nontrivial factorization of 2 would force both factors to have field norm two, which the displayed quadratic form cannot represent. Thus 2 is an irreducible element. It is not a prime element, since it divides but neither factor. This is an example in a nonmaximal quadratic order, rather than the full ring of integers of ; the precise ring matters for factorization.

New to topics? Read the docs here!