Ads
related to: initial ring
Search results
Results From The WOW.Com Content Network
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.
In Ring, the category of rings with unity and unity-preserving morphisms, the ring of integers Z is an initial object. The zero ring consisting only of a single element 0 = 1 is a terminal object. In Rig, the category of rigs with unity and unity-preserving morphisms, the rig of natural numbers N is an initial object.
The ring of integers Z is an initial object in Ring. The zero ring is a terminal object in Ring. The product in Ring is given by the direct product of rings. This is just the cartesian product of the underlying sets with addition and multiplication defined component-wise.
For every ring R, there is a unique ring homomorphism Z → R. This says that the ring of integers is an initial object in the category of rings. For every ring R, there is a unique ring homomorphism from R to the zero ring. This says that the zero ring is a terminal object in the category of rings.
Ring theory studies the structure of rings; their representations, or, in different language, modules; special classes of rings (group rings, division rings, universal enveloping algebras); related structures like rngs; as well as an array of properties that prove to be of interest both within the theory itself and for its applications, such as ...
A ring or module may be related to its associated graded ring or module through the initial form map. Let M be an R-module and I an ideal of R.