The integers (also integers , lat. Numeri integri ) are an extension of the natural numbers .
The whole numbers include all numbers
- ..., −3, −2, −1, 0, 1, 2, 3, ...
and thus contain all natural numbers and their additive inverses . The set of whole numbers is usually denoted by the letter with a double line (the “Z” stands for the German word “numbers”). The alternative symbol is now less common; A disadvantage of this bold face symbol is that it is difficult to display by hand. The Unicode of the character is U + 2124 and has the form ℤ.
The representation of whole numbers in the computer is usually done by the data type integer .
The integers are commonly introduced in maths class in the fifth through seventh grades.
The whole numbers form a ring with respect to addition and multiplication , i.e. That is, they can be added, subtracted and multiplied without restriction . Calculation rules such as the commutative law and the associative law for addition and multiplication apply, and the distributive laws also apply .
The existence of subtraction allows linear equations of the form
with natural numbers and always be solved: . If one restricts to the set of natural numbers, then not every such equation is solvable.
In abstract terms, this means that the integers form a commutative unitary ring . The neutral element of addition is 0, the additive inverse element of is , the neutral element of multiplication is 1.
The set of integers is totally ordered , in order
In other words, you can compare two whole numbers. We speak of positive , non-negative , negative and non-positive integers. The number 0 itself is neither positive nor negative. This order is compatible with the arithmetic operations, i. H.:
- Is and then is
- Is and then is
With the help of the arrangement, the sign function
and the amount function
define. They hang like this
Like the set of natural numbers, the set of whole numbers is also countable .
An important property of integers is the existence of division by a remainder . Because of this property, there is always a greatest common divisor for two whole numbers , which can be determined with the Euclidean algorithm . In mathematics it is called the Euclidean ring . The theorem of the unique prime factorization in .
Construction from the natural numbers
If the set of natural numbers is given, then the whole numbers can be constructed as a number range extension:
The addition and multiplication on is defined by:
is now the set of all equivalence classes .
The addition and multiplication of couples now induce well-defined links to , which is to form a ring.
The usual order of integers is defined as
- if .
Each equivalence class has in the case a unique representative of the form , where , and in the case a unique representative of the form , where .
The natural numbers can be embedded in the ring of whole numbers by mapping the natural number to the equivalence class represented by. Usually the natural numbers are identified with their images and the equivalence class represented by is denoted by.
If a natural number is different from , then the equivalence class represented by is designated as a positive whole number and the equivalence class represented by is designated as a negative whole number.
This construction of the whole numbers from the natural numbers also works if instead of the quantity , i.e. without , the initial quantity is taken. Then the natural number is in the equivalence class of and that of .
- A construction similar to the construction of whole numbers from natural numbers is generally possible for commutative semigroups. In this sense, the Grothendieck Group is from .
- The Gaussian numbers and the Eisenstein numbers are two different extensions of integers to sets of complex numbers.
- The pro- finite completion of the group of integers is formed as the (projective or) inverse limit of all finite factor groups of and represents the totality of the pro- finite integers . It is known under the symbol .
- Jeff Miller: Earliest Uses of Symbols of Number Theory. August 29, 2010. Retrieved September 20, 2010 .