**Are you an EPFL student looking for a semester project?**

Work with us on data science and visualisation projects, and deploy your project as an app on top of GraphSearch.

Concept# Zero ring

Summary

In ring theory, a branch of mathematics, the zero ring 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.)
In the , the zero ring is the terminal object, whereas the ring of integers Z is the initial object.
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.
The zero ring is the unique ring in which the additive identity 0 and multiplicative identity 1 coincide. (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. 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.

Official source

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related publications (6)

Related concepts (23)

Related lectures (10)

Semisimple module

In mathematics, especially in the area of abstract algebra known as module theory, a semisimple module or completely reducible module is a type of module that can be understood easily from its parts. A ring that is a semisimple module over itself is known as an Artinian semisimple ring. Some important rings, such as group rings of finite groups over fields of characteristic zero, are semisimple rings. An Artinian ring is initially understood via its largest semisimple quotient.

Category of rings

In mathematics, the category of rings, denoted by Ring, is the whose objects are rings (with identity) and whose morphisms are ring homomorphisms (that preserve the identity). Like many categories in mathematics, the category of rings is , meaning that the class of all rings is proper. The category Ring is a meaning that the objects are sets with additional structure (addition and multiplication) and the morphisms are functions that preserve this structure.

Localization (commutative algebra)

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.

Covers the ring structure, focusing on polynomials and coefficients, including associativity, distributivity, and the product of rings.

Discusses regular implicit functions, rings, ideals, sheaves, and ring operations.

Covers the concepts of ideals, principal ideal domains, and ring homomorphisms.

Dimitar Petkov Jetchev, Benjamin Pierre Charles Wesolowski, Ernest Hunter Brooks

Fix a prime number l. Graphs of isogenies of degree a power of l are well-understood for elliptic curves, but not for higher-dimensional abelian varieties. We study the case of absolutely simple ordinary abelian varieties over a finite field. We analyse gr ...

Martin Mansson, Krunoslav Prsa

The magnetism of a metallic two-dimensional triangular antiferromagnetic (AF) compound, Ag2CrO2, has been investigated by muon-spin rotation and relaxation (mu+SR) using a powder sample in the temperature range between 1.8 and 40 K. Below T-N = 24 K, a muo ...

2013Suliana Manley, Karin Lederballe Meibom, Seamus John Holden, Thomas Pengo

We created a high-throughput modality of photoactivated localization microscopy (PALM) that enables automated 3D PALM imaging of hundreds of synchronized bacteria during all stages of the cell cycle. We used high-throughput PALM to investigate the nanoscal ...