|
|
(2 intermediate revisions by 2 users not shown) |
Line 1: |
Line 1: |
− | A complex integer <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g043/g043490/g0434901.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g043/g043490/g0434902.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g043/g043490/g0434903.png" /> are arbitrary rational integers. Geometrically, the Gauss numbers form the lattice of all points with integral rational coordinates on the plane. Such numbers were first considered in 1832 by C.F. Gauss in his work on biquadratic residues. He also discovered the properties of the set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g043/g043490/g0434904.png" /> of complex integers. | + | {{TEX|done}} |
| + | A complex integer $a+bi$, where $a$ and $b$ are arbitrary rational integers. Geometrically, the Gauss numbers form the lattice of all points with integral rational coordinates on the plane. Such numbers were first considered in 1832 by [[Gauss, Carl Friedrich|C.F. Gauss]] in his work on [[biquadratic residue]]s. He also discovered the properties of the set $\Gamma$ of complex integers. |
| | | |
− | <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g043/g043490/g0434905.png" /> is a domain; its units (i.e. divisors of the unit element) are <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g043/g043490/g0434906.png" />, and there are no other units. One kind of primes (i.e. numbers that cannot be decomposed into a non-trivial product) of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g043/g043490/g0434907.png" /> (the Gaussian primes) are the numbers of the form
| + | $\Gamma$ is an [[integral domain]]; its units (i.e. divisors of the unit element) are $1,-1,i,-i$, and there are no other units. One kind of primes (i.e. numbers that cannot be decomposed into a non-trivial product) of $\Gamma$ (the Gaussian primes) are the numbers of the form |
| | | |
− | <table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g043/g043490/g0434908.png" /></td> </tr></table>
| + | $$\alpha=a+bi$$ |
| | | |
− | the norms (moduli) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g043/g043490/g0434909.png" /> of which are rational prime numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g043/g043490/g04349010.png" /> of the form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g043/g043490/g04349011.png" /> or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g043/g043490/g04349012.png" />; the other kind are rational prime numbers of the form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g043/g043490/g04349013.png" />. Examples of Gaussian primes are <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g043/g043490/g04349014.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g043/g043490/g04349015.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g043/g043490/g04349016.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g043/g043490/g04349017.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g043/g043490/g04349018.png" />, etc. | + | the norms (moduli) $N(\alpha)=a^2+b^2=p$ of which are rational prime numbers $p$ of the form $4n+1$ or $p=2$; the other kind are rational prime numbers of the form $4n+3$. Examples of Gaussian primes are $1+i$, $1+2i$, $3+4i$, $3$, $7$, etc. |
| | | |
− | Any number in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g043/g043490/g04349019.png" /> can be uniquely decomposed into a product of primes in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g043/g043490/g04349020.png" />, up to units and ordering. Domains with this property are called unique factorization domains or Gaussian rings (cf. also [[Factorial ring|Factorial ring]]). | + | Any number in $\Gamma$ can be uniquely decomposed into a product of primes in $\Gamma$, up to units and ordering. Domains with this property are called unique factorization domains or Gaussian rings (cf. also [[Factorial ring|Factorial ring]]). |
| | | |
| In the theory of biquadratic residues the Gaussian numbers were the first simple and important instance of an extension of the field of rational numbers. | | In the theory of biquadratic residues the Gaussian numbers were the first simple and important instance of an extension of the field of rational numbers. |
Latest revision as of 20:01, 21 March 2023
A complex integer $a+bi$, where $a$ and $b$ are arbitrary rational integers. Geometrically, the Gauss numbers form the lattice of all points with integral rational coordinates on the plane. Such numbers were first considered in 1832 by C.F. Gauss in his work on biquadratic residues. He also discovered the properties of the set $\Gamma$ of complex integers.
$\Gamma$ is an integral domain; its units (i.e. divisors of the unit element) are $1,-1,i,-i$, and there are no other units. One kind of primes (i.e. numbers that cannot be decomposed into a non-trivial product) of $\Gamma$ (the Gaussian primes) are the numbers of the form
$$\alpha=a+bi$$
the norms (moduli) $N(\alpha)=a^2+b^2=p$ of which are rational prime numbers $p$ of the form $4n+1$ or $p=2$; the other kind are rational prime numbers of the form $4n+3$. Examples of Gaussian primes are $1+i$, $1+2i$, $3+4i$, $3$, $7$, etc.
Any number in $\Gamma$ can be uniquely decomposed into a product of primes in $\Gamma$, up to units and ordering. Domains with this property are called unique factorization domains or Gaussian rings (cf. also Factorial ring).
In the theory of biquadratic residues the Gaussian numbers were the first simple and important instance of an extension of the field of rational numbers.
References
[1] | C.F. Gauss, "Disquisitiones Arithmeticae" , Yale Univ. Press (1966) (Translated from Latin) |
References
[a1] | G.H. Hardy, E.M. Wright, "An introduction to the theory of numbers" , Clarendon Press (1960) pp. Chapt. XV |
How to Cite This Entry:
Gauss number. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Gauss_number&oldid=15950
This article was adapted from an original article by B.M. Bredikhin (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098.
See original article