Z (integer ring)
This article was accepted into the corpus but its outbound wikilinks were never NER-processed — typical at the deepest BFS hop or when the run's entity cap was reached. No expansion funnel to show.
| Z (integer ring) | |
|---|---|
.png) | |
| Name | Z (integer ring) |
| Othernames | ring of integers, integral ring |
| Type | commutative ring with unity |
| Units | {±1} |
| Typicalsubstructures | ideals, modules |
Z (integer ring)
Z denotes the ring of integers, a central example in algebra and number theory with deep connections to Euclid, Gauss, Dedekind, Hilbert, and Noether. It serves as the prototype for concepts studied by Galois, Kronecker, Artin, and Emmy Noether and links classical results such as the Fundamental theorem of arithmetic and modern frameworks like algebraic number theory and homological algebra.
Definition and basic properties
Z is the commutative ring consisting of the integers with standard addition and multiplication; it is a principal ideal domain studied by Euclid in the context of the Euclidean algorithm and later formalized by Gauss in Disquisitiones Arithmeticae. As an integral domain it is closely related to fields such as Q and to completions like p-adic numbers introduced by Kummer and developed by Hensel. Z is a Noetherian ring in the sense of Noether and is a unique factorization domain central to the work of Dedekind and Dirichlet.
Algebraic structure and operations
As a unital commutative ring Z admits binary operations compatible with ring axioms explored by Peano and used in constructions by Cantor and Weierstrass. Z is a Euclidean domain via the absolute value norm employed by Euclid and Gauss, enabling explicit computation of greatest common divisors by the Euclidean algorithm and facilitating the study of Bezout's identity relevant to Fermat and Euler. The embedding Z → Q and the localization maps at primes relate to techniques in Dedekind domains and in the study of local fields by Tate.
Ideals, divisibility, and prime elements
Every ideal of Z is principal, generated by a nonnegative integer, a fact exploited by Gauss and formalized in Ring theory by Noether. Prime ideals correspond to zero and ideals generated by prime numbers studied by Eratosthenes, Euclid, and Dirichlet; the unique factorization into prime elements underpins results by Fundamental theorem of arithmetic and influences proofs by Erdős and Vinogradov. Concepts such as primary decomposition, ramification in extensions studied by Dedekind and Kronecker, and the behavior of primes in cyclotomic extensions considered by Kummer and Hilbert all trace back to ideal structure in Z.
Modules, homomorphisms, and extensions
Modules over Z are precisely abelian groups, a viewpoint central to Abel and Cauchy and elaborated in the work of Mac Lane and Eilenberg. Z-modules admit classification theorems akin to the structure theorem for finitely generated modules over a PID, used in Smith normal form computations relevant to Sylvester and Hermite. Ring homomorphisms from Z into rings like Z/nZ, Z_p (the p-adic integers), and C are foundational in constructions by Krull and Artin–Schreier; extension fields of Q and their rings of integers connect to Galois theory by Galois and Noether.
Order, topology, and completions
Z inherits the usual total order from Peano axioms and connects to Dedekind cuts and Cauchy sequences methods used by Riemann and Weierstrass. Topologically, Z is discrete as a subspace of R and embeds densely in profinite completions such as the profinite integers and in adele ring constructions by Weil and Tate. Completions at primes yield the p-adic integers and p-adic numbers developed by Hensel and applied in works by Iwasawa and Fontaine.
Applications in number theory and algebra
Z underlies elementary and advanced results: divisibility and congruences studied by Fermat and Euler, quadratic reciprocity proved by Gauss, analytic prime distribution addressed by Riemann and Hadamard, and modern sieve methods of Selberg and Bombieri. Z appears in Diophantine problems treated by Mordell and Faltings, in modularity results by Wiles and Taylor, and in algorithmic number theory as exploited by Lenstra and Agrawal. Algebraic constructions using Z feed into representation theory of Lie groups and into K-theory developed by Quillen.
Generalizations and related rings
Generalizations of Z include rings of integers in number fields studied by Dedekind and Alfred North Whitehead, principal ideal domains and Dedekind domains discussed by Noether and Weber, and coordinate rings appearing in Algebraic geometry by Grothendieck and Serre. Related structures include Z/nZ finite rings, Z_p p-adic integers, Z_hat profinite integers, and rings of S-integers used in Siegel and Tate contexts; categorical and homological generalizations link to Grothendieck groups and to cohomology theories advanced by Eilenberg and Mac Lane.
Category:Commutative rings