# Gaussian integer

 related topics {math, number, function}

In number theory, a Gaussian integer is a complex number whose real and imaginary part are both integers. The Gaussian integers, with ordinary addition and multiplication of complex numbers, form an integral domain, usually written as Z[i]. The Gaussian integers are a special case of the quadratic integers. This domain does not have a total ordering that respects arithmetic.

Formally, Gaussian integers are the set

The norm of a Gaussian integer is the natural number defined as

(Where the overline over "a+bi" refers to the complex conjugate.)

The norm is multiplicative, i.e.

The units of Z[i] are therefore precisely those elements with norm 1, i.e. the elements

## Contents

### As a unique factorization domain

The Gaussian integers form a unique factorization domain with units 1, −1, i, and −i. If x is a Gaussian integer, the four numbers x, ix, −x, and −ix are called the associates of x.

The prime elements of Z[i] are also known as Gaussian primes. An associate of a Gaussian prime is also a Gaussian prime. The Gaussian primes are symmetric about the real and imaginary axes. The positive integer Gaussian primes are OEIS A002145. It is a common error to refer to only these positive integers as "the Gaussian primes" when in fact this term refers to all the Gaussian primes. [1]

A Gaussian integer a + bi is prime if and only if:

• one of a, b is zero and the other is a prime of the form 4n + 3 or its negative − (4n + 3) (where $n \geq 0$)
• or both are nonzero and a2 + b2 is prime.

The following elaborates on these conditions.

2 is a special case (in the language of algebraic number theory, 2 is the only ramified prime in Z[i]).

Full article ▸

 related documents Principal ideal Fuzzy set ElGamal encryption Discrete space Initial and terminal objects Floor and ceiling functions Monomorphism Torsion subgroup Linear classifier Triangle inequality Enriched category Harmonic series (mathematics) Tuple Fermat's little theorem Coset Pre-Abelian category Bézout's theorem Esoteric programming language Interior (topology) Loss of significance Quaternion group Toeplitz matrix Binary space partitioning CYK algorithm Memento pattern Compiler-compiler Hidden Markov model Multiplication table Box-Muller transform Reserved word