Eisenstein integer

Eisenstein integers as intersection points of a triangular lattice in the complex plane

In mathematics, Eisenstein integers, named after Ferdinand Eisenstein, are complex numbers of the form

where a and b are integers and

is a complex cube root of unity. The Eisenstein integers form a triangular lattice in the complex plane, in contrast with the Gaussian integers which form a square lattice in the complex plane.

Properties

The Eisenstein integers form a commutative ring of algebraic integers in the algebraic number field Q(ω). To see that the Eisenstein integers are algebraic integers note that each z = a + bω is a root of the monic polynomial

In particular, ω satisfies the equation

The norm of a Eisenstein integer is just the square of its absolute value and is given by

Thus the norm of an Eisenstein integer is always an ordinary (rational) integer. Since

the norm of a nonzero Eisenstein integer is positive.

The group of units in the ring of Eisenstein integers is the cyclic group formed by the sixth roots of unity in the complex plane. Specifically, they are

{±1, ±ω, ±ω²}

These are just the Eisenstein integers of norm one.

Eisenstein primes

If x and y are Eisenstein integers, we say that x divides y if there is some Eisenstein integer z such that y = z x.

This extends the notion of divisibility for ordinary integers. Therefore we may also extend the notion of primality; a non-unit Eisenstein integer x is said to be an Eisenstein prime if its only divisors are of the form ux where u is any of the six units.

It may be shown that an ordinary prime number (or rational prime) which is 3 or congruent to 1 mod 3 is of the form x² − xy + y² for some integers x, y and may be therefore factored into (x + ωy)(x + ω²y) and because of that it is not prime in the Eisenstein integers. Ordinary primes congruent to 2 mod 3 cannot be factored in this way and they are primes in the Eisenstein integers as well.

Every Eisenstein integer a + bω whose norm a² − ab + b² is a rational prime is an Eisenstein prime. In fact, every Eisenstein prime is of this form, or is a product of a unit and a rational prime congruent to 2 mod 3.

Euclidean domain

The ring of Eisenstein integers forms a Euclidean domain whose norm N is given by

This can be derived as follows:

See also

• Gaussian integer
• Kummer ring
• Systolic geometry
• Hermite constant
• Cubic reciprocity
• Loewner's torus inequality
• Hurwitz quaternion
• Quadratic integer
• Musean hypernumber

External links

• Eisenstein Integer--from MathWorld