Zero ring

Last updated September 24, 2024

In ring theory, a branch of mathematics, the zero ring^[1]^[2]^[3]^[4]^[5] or trivial ring is the unique ring (up to isomorphism) consisting of one element. (Less commonly, the term "zero ring" is used to refer to any rng of square zero, i.e., a rng in which xy = 0 for all x and y. This article refers to the one-element ring.)

Definition

The zero ring, denoted {0} or simply 0, consists of the one-element set {0} with the operations + and · defined such that 0 + 0 = 0 and 0 · 0 = 0.

Properties

The zero ring is the unique ring in which the additive identity 0 and multiplicative identity 1 coincide.^[1]^[6] (Proof: If 1 = 0 in a ring R, then for all r in R, we have r = 1r = 0r = 0. The proof of the last equality is found here.)
The zero ring is commutative.
The element 0 in the zero ring is a unit, serving as its own multiplicative inverse.
The unit group of the zero ring is the trivial group {0}.
The element 0 in the zero ring is not a zero divisor.
The only ideal in the zero ring is the zero ideal {0}, which is also the unit ideal, equal to the whole ring. This ideal is neither maximal nor prime.
The zero ring is generally excluded from fields, while occasionally called as the trivial field. Excluding it agrees with the fact that its zero ideal is not maximal. (When mathematicians speak of the "field with one element", they are referring to a non-existent object, and their intention is to define the category that would be the category of schemes over this object if it existed.)
The zero ring is generally excluded from integral domains.^[7] Whether the zero ring is considered to be a domain at all is a matter of convention, but there are two advantages to considering it not to be a domain. First, this agrees with the definition that a domain is a ring in which 0 is the only zero divisor (in particular, 0 is required to be a zero divisor, which fails in the zero ring). Second, this way, for a positive integer n, the ring Z/nZ is a domain if and only if n is prime, but 1 is not prime.
For each ring A, there is a unique ring homomorphism from A to the zero ring. Thus the zero ring is a terminal object in the category of rings.^[8]
If A is a nonzero ring, then there is no ring homomorphism from the zero ring to A. In particular, the zero ring is not a subring of any nonzero ring.^[8]
The zero ring is the unique ring of characteristic 1.
The only module for the zero ring is the zero module. It is free of rank א for any cardinal number א.
The zero ring is not a local ring. It is, however, a semilocal ring.
The zero ring is Artinian and (therefore) Noetherian.
The spectrum of the zero ring is the empty scheme.^[8]
The Krull dimension of the zero ring is −∞.
The zero ring is semisimple but not simple.
The zero ring is not a central simple algebra over any field.
The total quotient ring of the zero ring is itself.

Constructions

For any ring A and ideal I of A, the quotient A/I is the zero ring if and only if I = A, i.e. if and only if I is the unit ideal.
For any commutative ring A and multiplicative set S in A, the localization S⁻¹A is the zero ring if and only if S contains 0.
If A is any ring, then the ring M₀(A) of 0 × 0 matrices over A is the zero ring.
The direct product of an empty collection of rings is the zero ring.
The endomorphism ring of the trivial group is the zero ring.
The ring of continuous real-valued functions on the empty topological space is the zero ring.

Citations

Related Research Articles

In mathematics, an integral domain is a nonzero commutative ring in which the product of any two nonzero elements is nonzero. Integral domains are generalizations of the ring of integers and provide a natural setting for studying divisibility. In an integral domain, every nonzero element a has the cancellation property, that is, if a ≠ 0, an equality ab = ac implies b = c.

In algebra, a prime ideal is a subset of a ring that shares many important properties of a prime number in the ring of integers. The prime ideals for the integers are the sets that contain all the multiples of a given prime number, together with the zero ideal.

In abstract algebra, the field of fractions of an integral domain is the smallest field in which it can be embedded. The construction of the field of fractions is modeled on the relationship between the integral domain of integers and the field of rational numbers. Intuitively, it consists of ratios between integral domain elements.

In mathematics, a ring homomorphism is a structure-preserving function between two rings. More explicitly, if R and S are rings, then a ring homomorphism is a function $that preserves addition, multiplication and multiplicative identity; that is,$

In mathematics, rings are algebraic structures that generalize fields: multiplication need not be commutative and multiplicative inverses need not exist. Informally, a ring is a set equipped with two binary operations satisfying properties analogous to those of addition and multiplication of integers. Ring elements may be numbers such as integers or complex numbers, but they may also be non-numerical objects such as polynomials, square matrices, functions, and power series.

In abstract algebra, an element $a$ of a ring $R$ is called a left zero divisor if there exists a nonzero $x$ in $R$ such that $ax = 0$ , or equivalently if the map from $R$ to $R$ that sends $x$ to $ax$ is not injective. Similarly, an element $a$ of a ring is called a right zero divisor if there exists a nonzero $y$ in $R$ such that $ya = 0$ . This is a partial case of divisibility in rings. An element that is a left or a right zero divisor is simply called a zero divisor. An element $a$ that is both a left and a right zero divisor is called a two-sided zero divisor. If the ring is commutative, then the left and right zero divisors are the same.

In mathematics, a unique factorization domain (UFD) is a ring in which a statement analogous to the fundamental theorem of arithmetic holds. Specifically, a UFD is an integral domain in which every non-zero non-unit element can be written as a product of irreducible elements, uniquely up to order and units.

In mathematics, a commutative ring is a ring in which the multiplication operation is commutative. The study of commutative rings is called commutative algebra. Complementarily, noncommutative algebra is the study of ring properties that are not specific to commutative rings. This distinction results from the high number of fundamental properties of commutative rings that do not extend to noncommutative rings.

Ring theory is the branch of mathematics in which rings are studied: that is, structures supporting both an addition and a multiplication operation. This is a glossary of some terms of the subject.

In commutative algebra and algebraic geometry, localization is a formal way to introduce the "denominators" to a given ring or module. That is, it introduces a new ring/module out of an existing ring/module R, so that it consists of fractions $such that the denominator s belongs to a given subset S of R. If S is the set of the non-zero elements of an integral domain, then the localization is the field of fractions: this case generalizes the construction of the field of rational numbers from the ring of integers.$

In mathematics, a module is a generalization of the notion of vector space in which the field of scalars is replaced by a ring. The concept of module also generalizes the notion of abelian group, since the abelian groups are exactly the modules over the ring of integers.

In ring theory, a branch of mathematics, an idempotent element or simply idempotent of a ring is an element $a$ such that $a 2 = a$ . That is, the element is idempotent under the ring's multiplication. Inductively then, one can also conclude that $a = a 2 = a 3 = a 4 = ... = a n$ for any positive integer $n$ . For example, an idempotent element of a matrix ring is precisely an idempotent matrix.

In abstract algebra, a matrix ring is a set of matrices with entries in a ring R that form a ring under matrix addition and matrix multiplication. The set of all n × n matrices with entries in R is a matrix ring denoted M_n(R) (alternative notations: Mat_n(R) and R^n×n). Some sets of infinite matrices form infinite matrix rings. A subring of a matrix ring is again a matrix ring. Over a rng, one can form matrix rngs.

In mathematics, and more specifically in abstract algebra, a rng is an algebraic structure satisfying the same properties as a ring, but without assuming the existence of a multiplicative identity. The term rng is meant to suggest that it is a ring without i, that is, without the requirement for an identity element.

In algebra, the zero object of a given algebraic structure is, in the sense explained below, the simplest object of such structure. As a set it is a singleton, and as a magma has a trivial structure, which is also an abelian group. The aforementioned abelian group structure is usually identified as addition, and the only element is called zero, so the object itself is typically denoted as ${0}$ . One often refers to the trivial object since every trivial object is isomorphic to any other.

In mathematics, the category of rings, denoted by Ring, is the category whose objects are rings and whose morphisms are ring homomorphisms. Like many categories in mathematics, the category of rings is large, meaning that the class of all rings is proper.

In commutative algebra, an integrally closed domainA is an integral domain whose integral closure in its field of fractions is A itself. Spelled out, this means that if x is an element of the field of fractions of A that is a root of a monic polynomial with coefficients in A, then x is itself an element of A. Many well-studied domains are integrally closed, as shown by the following chain of class inclusions:

In mathematics, a noncommutative ring is a ring whose multiplication is not commutative; that is, there exist a and b in the ring such that ab and ba are different. Equivalently, a noncommutative ring is a ring that is not a commutative ring.

In mathematics, the notion of a divisor originally arose within the context of arithmetic of whole numbers. With the development of abstract rings, of which the integers are the archetype, the original notion of divisor found a natural extension.

This is a glossary of commutative algebra.

References

Artin, Michael (1991), Algebra, Prentice-Hall
Atiyah, M. F.; Macdonald, I. G. (1969), Introduction to commutative algebra, Addison-Wesley
Bosch, Siegfried (2012), Algebraic geometry and commutative algebra, Springer
Bourbaki, N., Algebra I, Chapters 1–3
Hartshorne, Robin (1977), Algebraic geometry, Springer
Lam, T. Y. (2003), Exercises in classical ring theory, Springer
Lang, Serge (2002), Algebra (3rd ed.), Springer

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[FOOTNOTEArtin1991347-1] 1 2 Artin 1991, p. 347

[FOOTNOTEAtiyahMacdonald19691-2] Atiyah & Macdonald 1969, p. 1

[FOOTNOTEBosch201210-3] Bosch 2012, p. 10

[FOOTNOTEBourbaki101-4] Bourbaki, p. 101

[FOOTNOTELam20031-5] Lam 2003, p. 1

[FOOTNOTELang200283-6] Lang 2002, p. 83

[FOOTNOTELam20033-7] Lam 2003, p. 3

[FOOTNOTEHartshorne197780-8] 1 2 3 Hartshorne 1977, p. 80

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]