symmetric monoidal (∞,1)-category of spectra
A ring (also: number ring) is a basic structure in algebra: a set equipped with two binary operations called addition and multiplication, such that the operation of addition forms an abelian group and the operation of multiplication a monoid structure which distributes over addition.
All the familiar number systems such as the integer numbers, rational numbers, real numbers, complex numbers are rings under the standard operations of addition and multiplication. Except for the first in this list they are indeed fields, which are rings in which also the multiplication operation has an inverse for every element except 0 (the additive neutral element).
More abstractly, a ring is a monoid internal to abelian groups (with their tensor product of abelian groups), and this prespective helps to explain the central relevance of the concept, owing to the fundamental nature of the notion of monoid objects. Accordingly monoids internal to other abelian categories and more generally stable infinity-categories constitute generalizations of the notion of ring that are of interest. Notably when abelian groups are generalized to their analogs in stable homotopy theory, namely to spectra, the corresponding internal monoids are E-infinity rings, a basic structure in higher algebra.
A (unital, non-commutative) ring is (equivalently)
A commutative (unital) ring is an commutative monoid object in .
In usual ring theory people often talk about nonunital rings as well: multiplicative semigroups with additive abelian group structure where the multiplication is distributive toward addition; these are semigroup objects in . As in the unital case, if the semigroup is abelian then the ring is said to be commutative nonunital. Note the adjective ‘nonunital’ is an example of the red herring principle.
It is possible to internalise the notion of ring in at least two different ways. Either one can replace the category of sets in the classical definition with another category – see ring object – , or one can replace Ab in the fancy definition with another category .
If is a cartesian monoidal category, then any Lawvere theory may be internalised in . The theory of rings is an example, so we can speak of ring objects in . Then a ring object in is simply a ring. (This works whether your rings are unital or nonunital, commutative or noncommutative, etc.) However, not every notion of internal ring takes this form.
The theory of rings is a combination of a monoid (or semigroup, if nonunital) and an abelian group structure. Thus, ring objects are algebras over a composed operad (or monad) of a monoid operad and an abelian group operad, using a standard distributive law for that situation in the sense of operads (or monads), which corresponds to the usual distributive law in the classical definition of a ring.
A particular example of this is a ring in a topos. In a topos one usually alternatively defines a ring object by the standard set-theoretic definition of a ring, and interpret the formulas in the sense of topos-theoretic semantics.
In cartesian categories one can also define the structure of an (abelian) group object as the lifting of the correspoding representable presheaf to a presheaf into (abelian) groups. This kind of lifting of some algebraic structure in sets to algebraic structure in a cartesian category makes sense when some category of algebras creates the limits needed to define them in sets.
If is a monoidal category, then we can speak of monoid objects in . However, we usually want to be somewhat like to think of monoid objects in as internal rings. For example, if is the category of abelian group objects in a cartesian monoidal category , then we recreate the notion of ring object in from above. Or, if is any Ab-enriched category, then it behaves enough like that we may consider its monoid objects as internal rings. There are yet other examples, however: a ring spectrum is a monoid object in spectra, even though these are not -enriched.
If is a noncommutative ring, then a ring over , or simply an -ring, is a monoid object in -Bimod (that is, in ). Every -ring is a ring in the usual sense, in the sense that there is an obvious forgetful functor to the usual rings. In fact the unit map is a morphism of rings, and the category of -rings is precisely the coslice category or under-category . Thus by category-theoretic rules, one might be led to unconventionally call -rings “rings under ”. Unfortunately, standard name for -rings is “rings over ”, like conventionally calling -algebras the “algebras over ”.
Unlike for the -algebras, the multiplication which is the morphism of -bimodules, is not (left) -linear in the second factor, but only -linear (that is, -linear on the right). In other words, the axiom for -algebras is not true, for , , although and do hold.
Both for a discussion for under-over and also for this difference between -algebras and -rings see the Café's quick algebra quiz.
A dual notion to an -ring is an -coring.
The structure of an -ring is determined by the structure of as a ring, together with the two natural homomorphisms of rings and which have commuting images (, for all ).
Of particular interest is the maximal case of symmetric monoidal ∞-groupoids and, even more generally, that of spectra. A monoid in an (∞,1)-category in the stable (∞,1)-category of spectra is an A-infinity-ring or associative ring spectrum. The commutative case is a commutative monoid in an (∞,1)-category: an E-infinity ring or commutative ring spectrum.
The integers are a ring under the standard addition and multiplication operation.
For each , this induces a ring structure on the cyclic group , given by operations in modulo .
For a ring, the polynomials
ring, E-∞ ring
Lecture notes include
Richard Dedekind had introduced the concept today called ring under the name Ordnung (Ger: order, as in taxonomic order). The word Zahlring (Ger: number ring/ring of numbers) for this was introduced in section 9.31 of
There, the word ring just appears with a footnote mentioning Dedekind’s use of the word “Ordnung”, no further motivation is given. So probably Hilbert meant to use “ring” as in “collection of things holding together”, not in the sense of circles or loops (as one might guess from the rings of cyclic groups ).
The first abstract axiomatic description of rings is in
which however contains some additional axioms not used anymore. The set of axioms in its modern form appears first in
For historical accounts see
I. Kleiner, From numbers to rings: the early history of ring theory, Elemente der Mathematik 53 (1998) 18-35. (web)
The development of ring theory (pdf)