Namespaces
Variants
Actions

Difference between revisions of "Ring"

From Encyclopedia of Mathematics
Jump to: navigation, search
(TeX)
(links)
 
(One intermediate revision by the same user not shown)
Line 1: Line 1:
 
{{TEX|done}}
 
{{TEX|done}}
A set $R$ on which two binary algebraic operations are defined: addition and multiplication, the set being an [[Abelian group|Abelian group]] (the additive group of the ring) with respect to addition, and the multiplication is related to the addition by the distributive laws:
+
A set $R$ on which two binary algebraic operations are defined: addition and multiplication, the set being an [[Abelian group]] (the additive group of the ring) with respect to addition, and the multiplication is related to the addition by the [[distributive law]]s:
  
 
$$a(b+c)=ab+ac,\quad(b+c)a=ba+ca,$$
 
$$a(b+c)=ab+ac,\quad(b+c)a=ba+ca,$$
  
where $a,b,c\in R$. In general no restriction is imposed on multiplication, that is, $R$ is a [[Groupoid|groupoid]] (called the multiplicative groupoid of the ring) with respect to multiplication.
+
where $a,b,c\in R$. In general no restriction is imposed on multiplication, that is, $R$ is a [[magma]] (called the multiplicative system of the ring) with respect to multiplication.
  
A non-empty subset $A\subset R$ is called a subring of $R$ if $A$ itself is a ring with respect to the operations defined on $R$, that is, $A$ must be a subgroup of the additive group of $R$ and a subgroupoid of the multiplicative groupoid of this ring. Clearly, the ring itself and the zero subring consisting of just the zero element are subrings of a given ring. The (set-theoretic) intersection of subrings of a ring is a subring. The join of a family of subrings $A_\alpha$, $\alpha\in I$, of a ring $R$ is the intersection of all subrings that contain all $A_\alpha$. The set of all subrings of a given ring is a [[Lattice|lattice]], $S(R)$, with respect to the operations of intersection and join of subrings. The set of ideals (cf. [[Ideal|Ideal]]) of this ring forms a sublattice of $S(R)$.
+
A non-empty subset $A\subset R$ is called a subring of $R$ if $A$ itself is a ring with respect to the operations defined on $R$, that is, $A$ must be a subgroup of the additive group of $R$ and a subgroupoid of the multiplicative groupoid of this ring. Clearly, the ring itself and the zero subring consisting of just the zero element are subrings of a given ring. The (set-theoretic) intersection of subrings of a ring is a subring. The join of a family of subrings $A_\alpha$, $\alpha\in I$, of a ring $R$ is the intersection of all subrings that contain all $A_\alpha$. The set of all subrings of a given ring is a [[lattice]], $S(R)$, with respect to the operations of intersection and join of subrings. The set of ideals (cf. [[Ideal]]) of this ring forms a sublattice of $S(R)$.
  
Concerning the various directions in the theory of rings, see [[Rings and algebras|Rings and algebras]]; [[Associative rings and algebras|Associative rings and algebras]]; [[Non-associative rings and algebras|Non-associative rings and algebras]].
+
Concerning the various directions in the theory of rings, see [[Rings and algebras]]; [[Associative rings and algebras]]; [[Non-associative rings and algebras]].
  
  

Latest revision as of 17:54, 3 January 2016

A set $R$ on which two binary algebraic operations are defined: addition and multiplication, the set being an Abelian group (the additive group of the ring) with respect to addition, and the multiplication is related to the addition by the distributive laws:

$$a(b+c)=ab+ac,\quad(b+c)a=ba+ca,$$

where $a,b,c\in R$. In general no restriction is imposed on multiplication, that is, $R$ is a magma (called the multiplicative system of the ring) with respect to multiplication.

A non-empty subset $A\subset R$ is called a subring of $R$ if $A$ itself is a ring with respect to the operations defined on $R$, that is, $A$ must be a subgroup of the additive group of $R$ and a subgroupoid of the multiplicative groupoid of this ring. Clearly, the ring itself and the zero subring consisting of just the zero element are subrings of a given ring. The (set-theoretic) intersection of subrings of a ring is a subring. The join of a family of subrings $A_\alpha$, $\alpha\in I$, of a ring $R$ is the intersection of all subrings that contain all $A_\alpha$. The set of all subrings of a given ring is a lattice, $S(R)$, with respect to the operations of intersection and join of subrings. The set of ideals (cf. Ideal) of this ring forms a sublattice of $S(R)$.

Concerning the various directions in the theory of rings, see Rings and algebras; Associative rings and algebras; Non-associative rings and algebras.


Comments

In many contexts it is tacitly assumed that the ring contains a unit element, denoted by $1$, and subrings are taken to be subrings with the same unit. In this case the set of ideals is not a sublattice of $S(R)$.

How to Cite This Entry:
Ring. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Ring&oldid=32563
This article was adapted from an original article by O.A. Ivanova (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article