Category of rings

Last updated

In mathematics, the category of rings, denoted by Ring, is the category 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 large, meaning that the class of all rings is proper.

Contents

As a concrete category

The category Ring is a concrete category meaning that the objects are sets with additional structure (addition and multiplication) and the morphisms are functions that preserve this structure. There is a natural forgetful functor

U : RingSet

for the category of rings to the category of sets which sends each ring to its underlying set (thus "forgetting" the operations of addition and multiplication). This functor has a left adjoint

F : SetRing

which assigns to each set X the free ring generated by X.

One can also view the category of rings as a concrete category over Ab (the category of abelian groups) or over Mon (the category of monoids). Specifically, there are forgetful functors

A : RingAb
M : RingMon

which "forget" multiplication and addition, respectively. Both of these functors have left adjoints. The left adjoint of A is the functor which assigns to every abelian group X (thought of as a Z-module) the tensor ring T(X). The left adjoint of M is the functor which assigns to every monoid X the integral monoid ring Z[X].

Properties

Limits and colimits

The category Ring is both complete and cocomplete, meaning that all small limits and colimits exist in Ring. Like many other algebraic categories, the forgetful functor U : RingSet creates (and preserves) limits and filtered colimits, but does not preserve either coproducts or coequalizers. The forgetful functors to Ab and Mon also create and preserve limits.

Examples of limits and colimits in Ring include:

Morphisms

Unlike many categories studied in mathematics, there do not always exist morphisms between pairs of objects in Ring. This is a consequence of the fact that ring homomorphisms must preserve the identity. For example, there are no morphisms from the zero ring 0 to any nonzero ring. A necessary condition for there to be morphisms from R to S is that the characteristic of S divide that of R.

Note that even though some of the hom-sets are empty, the category Ring is still connected since it has an initial object.

Some special classes of morphisms in Ring include:

Other properties

Subcategories

The category of rings has a number of important subcategories. These include the full subcategories of commutative rings, integral domains, principal ideal domains, and fields.

Category of commutative rings

The category of commutative rings, denoted CRing, is the full subcategory of Ring whose objects are all commutative rings. This category is one of the central objects of study in the subject of commutative algebra.

Any ring can be made commutative by taking the quotient by the ideal generated by all elements of the form (xyyx). This defines a functor RingCRing which is left adjoint to the inclusion functor, so that CRing is a reflective subcategory of Ring. The free commutative ring on a set of generators E is the polynomial ring Z[E] whose variables are taken from E. This gives a left adjoint functor to the forgetful functor from CRing to Set.

CRing is limit-closed in Ring, which means that limits in CRing are the same as they are in Ring. Colimits, however, are generally different. They can be formed by taking the commutative quotient of colimits in Ring. The coproduct of two commutative rings is given by the tensor product of rings. Again, the coproduct of two nonzero commutative rings can be zero.

The opposite category of CRing is equivalent to the category of affine schemes. The equivalence is given by the contravariant functor Spec which sends a commutative ring to its spectrum, an affine scheme.

Category of fields

The category of fields, denoted Field, is the full subcategory of CRing whose objects are fields. The category of fields is not nearly as well-behaved as other algebraic categories. In particular, free fields do not exist (i.e. there is no left adjoint to the forgetful functor FieldSet). It follows that Field is not a reflective subcategory of CRing.

The category of fields is neither finitely complete nor finitely cocomplete. In particular, Field has neither products nor coproducts.

Another curious aspect of the category of fields is that every morphism is a monomorphism. This follows from the fact that the only ideals in a field F are the zero ideal and F itself. One can then view morphisms in Field as field extensions.

The category of fields is not connected. There are no morphisms between fields of different characteristic. The connected components of Field are the full subcategories of characteristic p, where p = 0 or is a prime number. Each such subcategory has an initial object: the prime field of characteristic p (which is Q if p = 0, otherwise the finite field Fp).

Category of groups

There is a natural functor from Ring to the category of groups, Grp, which sends each ring R to its group of units U(R) and each ring homomorphism to the restriction to U(R). This functor has a left adjoint which sends each group G to the integral group ring Z[G].

Another functor between these categories sends each ring R to the group of units of the matrix ring M2(R) which acts on the projective line over a ring P(R).

R-algebras

Given a commutative ring R one can define the category R-Alg whose objects are all R-algebras and whose morphisms are R-algebra homomorphisms.

The category of rings can be considered a special case. Every ring can be considered a Z-algebra in a unique way. Ring homomorphisms are precisely the Z-algebra homomorphisms. The category of rings is, therefore, isomorphic to the category Z-Alg. [1] Many statements about the category of rings can be generalized to statements about the category of R-algebras.

For each commutative ring R there is a functor R-AlgRing which forgets the R-module structure. This functor has a left adjoint which sends each ring A to the tensor product RZA, thought of as an R-algebra by setting r·(sa) = rsa.

Rings without identity

Many authors do not require rings to have a multiplicative identity element and, accordingly, do not require ring homomorphism to preserve the identity (should it exist). This leads to a rather different category. For distinction we call such algebraic structures rngs and their morphisms rng homomorphisms. The category of all rngs will be denoted by Rng.

The category of rings, Ring, is a nonfull subcategory of Rng. It is nonfull because there are rng homomorphisms between rings which do not preserve the identity, and are therefore not morphisms in Ring. The inclusion functor RingRng has a left adjoint which formally adjoins an identity to any rng. The inclusion functor RingRng respects limits but not colimits.

The zero ring serves as both an initial and terminal object in Rng (that is, it is a zero object). It follows that Rng, like Grp but unlike Ring, has zero morphisms. These are just the rng homomorphisms that map everything to 0. Despite the existence of zero morphisms, Rng is still not a preadditive category. The pointwise sum of two rng homomorphisms is generally not a rng homomorphism.

There is a fully faithful functor from the category of abelian groups to Rng sending an abelian group to the associated rng of square zero.

Free constructions are less natural in Rng than they are in Ring. For example, the free rng generated by a set {x} is the ring of all integral polynomials over x with no constant term, while the free ring generated by {x} is just the polynomial ring Z[x].

Related Research Articles

Associative algebra Algebraic structure with (a + b)(c + d) = ac + ad + bc + bd and (a)(bc) = (ab)(c)

In mathematics, an associative algebraA is an algebraic structure with compatible operations of addition, multiplication, and a scalar multiplication by elements in some field. The addition and multiplication operations together give A the structure of a ring; the addition and scalar multiplication operations together give A the structure of a vector space over K. In this article we will also use the term K-algebra to mean an associative algebra over the field K. A standard first example of a K-algebra is a ring of square matrices over a field K, with the usual matrix multiplication.

In algebra, a homomorphism is a structure-preserving map between two algebraic structures of the same type. The word homomorphism comes from the Ancient Greek language: ὁμός meaning "same" and μορφή meaning "form" or "shape". However, the word was apparently introduced to mathematics due to a (mis)translation of German ähnlich meaning "similar" to ὁμός meaning "same". The term "homomorphism" appeared as early as 1892, when it was attributed to the German mathematician Felix Klein (1849–1925).

Ring homomorphism

In ring theory, a branch of abstract algebra, 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 f : RS such that f is:

In mathematics, an abelian category is a category in which morphisms and objects can be added and in which kernels and cokernels exist and have desirable properties. The motivating prototypical example of an abelian category is the category of abelian groups, Ab. The theory originated in an effort to unify several cohomology theories by Alexander Grothendieck and independently in the slightly earlier work of David Buchsbaum. Abelian categories are very stable categories; for example they are regular and they satisfy the snake lemma. The class of abelian categories is closed under several categorical constructions, for example, the category of chain complexes of an abelian category, or the category of functors from a small category to an abelian category are abelian as well. These stability properties make them inevitable in homological algebra and beyond; the theory has major applications in algebraic geometry, cohomology and pure category theory. Abelian categories are named after Niels Henrik Abel.

In mathematics, specifically category theory, adjunction is a relationship that two functors may have. Two functors that stand in this relationship are known as adjoint functors, one being the left adjoint and the other the right adjoint. Pairs of adjoint functors are ubiquitous in mathematics and often arise from constructions of "optimal solutions" to certain problems, such as the construction of a free group on a set in algebra, or the construction of the Stone–Čech compactification of a topological space in topology.

In category theory, a branch of mathematics, an initial object of a category C is an object I in C such that for every object X in C, there exists precisely one morphism IX.

In mathematics, specifically in category theory, a preadditive category is another name for an Ab-category, i.e., a category that is enriched over the category of abelian groups, Ab. That is, an Ab-categoryC is a category such that every hom-set Hom(A,B) in C has the structure of an abelian group, and composition of morphisms is bilinear, in the sense that composition of morphisms distributes over the group operation. In formulas:

In category theory, an epimorphism is a morphism f : XY that is right-cancellative in the sense that, for all objects Z and all morphisms g1, g2: YZ,

In mathematics, specifically in category theory, an additive category is a preadditive category C admitting all finitary biproducts.

In mathematics, specifically in category theory, a pre-abelian category is an additive category that has all kernels and cokernels.

In category theory, the product of two objects in a category is a notion designed to capture the essence behind constructions in other areas of mathematics such as the Cartesian product of sets, the direct product of groups or rings, and the product of topological spaces. Essentially, the product of a family of objects is the "most general" object which admits a morphism to each of the given objects.

The following outline is provided as an overview of and guide to category theory, the area of study in mathematics that examines in an abstract way the properties of particular mathematical concepts, by formalising them as collections of objects and arrows, where these collections satisfy certain basic conditions. Many significant areas of mathematics can be formalised as categories, and the use of category theory allows many intricate and subtle mathematical results in these fields to be stated, and proved, in a much simpler way than without the use of categories.

In category theory, a branch of abstract mathematics, an equivalence of categories is a relation between two categories that establishes that these categories are "essentially the same". There are numerous examples of categorical equivalences from many areas of mathematics. Establishing an equivalence involves demonstrating strong similarities between the mathematical structures concerned. In some cases, these structures may appear to be unrelated at a superficial or intuitive level, making the notion fairly powerful: it creates the opportunity to "translate" theorems between different kinds of mathematical structures, knowing that the essential meaning of those theorems is preserved under the translation.

In category theory, a coequalizer is a generalization of a quotient by an equivalence relation to objects in an arbitrary category. It is the categorical construction dual to the equalizer.

In mathematics, the category of topological spaces, often denoted Top, is the category whose objects are topological spaces and whose morphisms are continuous maps. This is a category because the composition of two continuous maps is again continuous, and the identity function is continuous. The study of Top and of properties of topological spaces using the techniques of category theory is known as categorical topology.

In mathematics, the category Ab has the abelian groups as objects and group homomorphisms as morphisms. This is the prototype of an abelian category: indeed, every small abelian category can be embedded in Ab.

In category theory, a branch of mathematics, a pushout is the colimit of a diagram consisting of two morphisms f : ZX and g : ZY with a common domain. The pushout consists of an object P along with two morphisms XP and YP that complete a commutative square with the two given morphisms f and g. In fact, the defining universal property of the pushout essentially says that the pushout is the "most general" way to complete this commutative square. Common notations for the pushout are and .

Category of groups

In mathematics, the category Grp has the class of all groups for objects and group homomorphisms for morphisms. As such, it is a concrete category. The study of this category is known as group theory.

This is a glossary of properties and concepts in category theory in mathematics.

In mathematics, a full subcategory A of a category B is said to be reflective in B when the inclusion functor from A to B has a left adjoint. This adjoint is sometimes called a reflector, or localization. Dually, A is said to be coreflective in B when the inclusion functor has a right adjoint.

References

  1. Tennison, B. R. (1975), Sheaf Theory, London Mathematical Society Lecture Note Series, Volume 20, Cambridge University Press, p. 74, ISBN   9780521207843 |volume= has extra text (help).