Prime representation by the Eisenstein norm
ID: prime-representation-by-the-eisenstein-norm
Let be a prime number dividing , and set . The case is . For , useThe Eisenstein integer divides this product, but divides neither factor: divisibility by the rational integer in the basis requires both integer coefficients to be divisible by , whereas the second coefficients are and . Thus is not a prime element of .
The Euclidean norm on the Eisenstein integers makes this ring a principal ideal domain. Since irreducible elements of a principal ideal domain are prime, admits a factorization into two nonunits. The positive integral Eisenstein norm is multiplicative, and its value is one exactly on units: when , its complex conjugate is an inverse. Thus and , forcing both norms to be . Writing proves the displayed representation.
New to topics? Read the docs here!