next up previous contents
Next: Examples of rings Up: MT2002 Algebra Previous: The first isomorphism theorem   Contents

Rings: definition and basic properties

We now give an introduction to another type of algebraic structure, called ring. The exposition here will be faster. The emphasis is on the definition of a ring and a field, understanding the few basic examples, and realising that the concepts of a subring, homomorphism and quotient can be defined in a similar way to groups.

A set $R$\ with two operations $+$\ and $\cdot$\ defined on it
is a {...
x(y+z)=xy+xz,\ (x+y)z=xz+yz.

We will see a number of examples of rings in the next section. First we are going to list some basic consequences of the axioms. We note that many basic properties involving $+$ (such as $x+0=0+x=x$, $x+(-x)=0$ and $-(-x)=x$) follow from the definition of a group and Theorem 2.8.

The following hold in any ring $R$:
\item[\rm (i)]
...-x)y=x(-y)=-(xy)$\ and $(-x)(-y)=xy$\ for all $x,y\in R$.

$x0=x(0+0)=x0+x0\Rightarrow x0=0$.
\par (ii)
$xy+(-x)y=(x+(-x))y=0y=0\Rightarrow (-x)y=-(xy)$;

Prove that for all $x,y,z,t\in R$\ we have

Edmund F Robertson

11 September 2006