Abstract Algebra/Rings

From Wikibooks, open books for an open world
Jump to: navigation, search

This section builds upon and expands the theory covered in the previous chapter on groups. The reader is strongly advised to master the material presented in the sections up to and including Products and Free Groups before continuing.


The standard motivation for the study of rings is as a generalization of the set of integers \mathbb{Z} with addition and multiplication, in order to study integer-like structures in a more general and less restrictive setting. However, we will also present the following motivation for the study of rings, based on the theory of Abelian groups.

Let G and H be Abelian groups. Then the set \mathrm{Hom}_{\mathrm{Ab}}(G,H) (Please don't pay much attention to the subscript for now.) of group homomorphisms \phi\,:\, G\rightarrow H naturally forms an abelian group in the following way. If \phi,\psi\in \mathrm{Hom}_{\mathrm{Ab}}(G,H), define (\phi+\psi)(g)=\phi(g)+\psi(g) for all g\in G. It should be obvious where each addition is taking place. In particular, we can consider the set \mathrm{End}_{\mathrm{Ab}}(G)=\mathrm{Hom}_{\mathrm{Ab}}(G,G) of endomorphisms of G. That is, the set of homomorphisms from G to itself. This set is obviously a group from the above discussion, but it is also closed under composition. By endowing the set \mathrm{End}_{\mathrm{Ab}}(G) with the operations of addition, +, and composition, \circ, we note that it has the following properties:

i) It is an Abelian group under addition.
ii) It is a monoid under multiplication.
iii) Addition distributes over composition.

Indeed, for the third property, note that if \phi,\psi,\xi\in\mathrm{End}_{\mathrm{Ab}}(G) and g\in G, then \phi\circ(\psi+\xi)(g)=(\phi\circ\psi+\phi\circ\xi)(g) and (\phi+\psi)\circ\xi(g)=(\phi\circ\xi+\psi\circ\xi)(g). The following material is a generalization of this situation.

Introduction to Rings[edit]

Definition 1: A ring (R,+,\cdot) is a set R with two binary operations + and \cdot that satisfies the following properties:

For all a,b,c\in R,

i) (R,+) is an abelian group.
ii) (R,\cdot) is a monoid.

The definition of ring homomorphism does not include the existence of 1.

iii) \cdot is distributive over +:
1) a\cdot(b+c)=(a\cdot b)+(a\cdot c)
2) (a+b)\cdot c=(a\cdot c)+(b\cdot c)

We will denote the additive identity in a ring by 0_R or 0 if the ring is understood. Similarily, we denote the multiplicative identity by 1_R or 1 when the ring is understood. We'll often use juxtaposition in place of \cdot, i.e., ab\, for a\cdot b.

Remark 2: Some authors do not require their rings to have a multiplicative identity element. We will call a ring without an idenitity a rng. Pseudo-rings is another term used for rings without unity. Authors who do not require a multiplicative identity usually call a ring a ring with unity. Unless otherwise stated, we will assume that 0\neq 1 in our rings. A major part of noncommutaive ring theory was developed without assuming every ring has an identity element.

Example 3: The reader is already familiar with several examples of rings. For instance \mathbb{Z},\mathbb{Q},\mathbb{R} and \mathbb{C} with the usual addition and multiplication operations. We have a familiy of finite rings given by the sets \mathbb{Z}_n for integer n\geq 2 with addition and multiplication defined modulo n. Finally we have an example of a rng given by the sets n\mathbb{Z} for integer n\geq 2 with the usual addition and multiplication. The reader is invited to confirm the ring axioms for these examples.

Let us now prove some very basic properties about rings. This is analogous to what we did for groups when we first introduced them.

Theorem 4: Let R be a ring, and let a,b,c\in R. Then the following are true:

  1. If a + b = a + c, then b = c.
  2. The equation a + x = b has a unique solution.
  3. -(-a) = a
  4. 0a = 0
  5. (-a)b = -(ab)
  6.  (-a)(-b) = ab

Proof: (1), (2), and (3) all strictly concern addition, and are all previous results from (R,+) being a group. The other three parts all concern both addition and multiplication (since 0 and - are additive concepts), so as a proof strategy we expect to use the distributive law in some way to link the two operations. For (4), observe that 0a + 0a = (0 + 0)a = 0a = 0a + 0. But then by (1), 0a=0. For (5), Note that (-a)b + ab = (-a + a)b = 0b = 0. For (6) note that (-a)(-b) + -(ab) = (-a)(-b) + (-a)b = -a(-b + b) = -a0 = 0.

Remark 5: Take another look at the examples in Example 3. Notice that for all those rings, multiplication is a commutative opration. However, the axioms say nothing about this. Thus we should expect to find counter-examples to this.

Definition 6: A ring is called commutative if multiplication is commutative.

Example 7: An example of a non-commutative ring is the set {M}_n(\mathbb{R}) of n\times n square matrices with real coefficients under standard addition and multiplication of matrices, where n\geq 2 is an integer. The reader can easily check this for n=2 and conclude that it holds for all other n (why?).

Theorem 8: A ring has a unique multiplicative identity.

Proof: During our brief discussion of monoids earlier, we showed that in any monoid the identity is unique. Since a ring sans addition is a monoid, this applies here.

Example 9: The singleton set \{*\} with addition and multiplication defined by *+*=* and *\cdot *=* is a ring, called the trivial ring or the zero ring. Note that in the trivial ring, 0=1. The reader is invited to show that 0=1 in a ring if and only if it is the trivial ring.

If the reader has tried to construct some of the rings =\mathbb{Z}_n, he/she may have realised that certain non-zero elements have product zero. We formalize this concept as follows.

Definition 10: Let R be a ring and a\in R \setminus \{0\}. a is called a left(resp.right)-zero-divisor if there exists a b\in R such that ab=0 (ba=0).

Lemma 11: Let R be a ring with a\in R. Define the function \rho_a\,:\, R\rightarrow R given by \rho_a(r)=ar for all r\in R. Then \rho_a is injective if and only if a is not a left-zero-divisor.

Proof: Assume a is not a left-zero-divisor, and assume we have ab=\rho_a(b)=\rho_a(c)=ac for some b,c\in R. This implies ab-ac=a(b-c)=0, giving b=c since a is not a left-zero-divisor, so \rho_a is injective. Conversely, assume a is a left-zero-divisor. Then there exists a b\in R such that b\neq 0 and \rho_a(b)=ab=0=a0=\rho_a(0), so \rho_a is not injective.

Remark 12: Thus, multiplication by a is left-cancellative if and only if a is not a zero-divisor. The reader is invited to state and prove the equivalent lemma for right-zero-divisors.

Example 13: \mathbb{Z},\mathbb{Q},\mathbb{R},\mathbb{C} are all examples of commutative rings without zero divisors. These rings motivate the next definition.

Definition 14: Let R be a commutative ring without zero divisors. Then R is called an integral domain.

Just like Definition 14, the majority of special types of rings will be motivated by properties of \mathbb{Z}.

Example 15:

  1. The set \mathrm{Hom}_{\mathrm{Set}}(\mathbb{R},\mathbb{R}) of functions on \mathbb{R} with pointwise addition and multiplication is a ring.
  2. More generally, if R is a ring, the set \mathrm{Hom}_{\mathrm{Set}}(R,R) of functions from R to itself is also a ring.
  3. The set \mathrm{Hom}_{\mathrm{Set}}(R,R) with function composition for multiplication is not a ring since the statement f\circ(g+h) = f\circ g + f\circ h is not true in general.
  4. The set of integrable functions on the real numbers, L^1, is a rng under pointwise addition and multiplication given by convolution: (f*g)(t) = \int_\mathbb{R} f(\tau)g(t-\tau) d\tau. This rng is important to the study of linear systems and differential equations. If the reader has enough calculus under his/her belt, he/she reader is invited to show that it does not have an identity, and that it is commutative.
  5. The set of Gaussian integers \mathbb{Z}\left[i\right]=\left\{a+bi|a,b\in\mathbb{Z}\right\} with standard addition and multiplication is a ring.

Definition 16: Let R be a ring. An element a \in R is a unit and is invertible if there is an element b \in R such that ab=ba = 1. The set of all units is denoted by R^*.

Exercise 17: Prove that R^* is a group under multiplication.

Exercise 18:: Show that a zero-divisor is not a unit.

Theorem 19: (Cancellation Law for Integral Domains): Let R be an integral domain, and let a,b,c\in R be nonzero. Then ab = ac if and only if b = c.

Proof: Evidently ab = ac if b=c. To see the other direction, we rearrange the equality as ab - ac = 0. But then a(b-c) = 0. Since a is nonzero, and R contains no zero divisors, it must be the case that b-c = 0, which is to say that b=c.

Definition 20: A ring R is a division ring or skew field if all non-zero elements are units, i.e. if it forms a group under multiplication with its nonzero elements.

Definition 21: A field is a commutative division ring. Alternatively, a field F is a ring where (F - {0},\cdot) is an abelian group under multiplication. As another alternative, a field is an integral domain where all non-zero elements are invertible.

As stated before, integral domains are easy to work with because they are so close to being fields. In fact, the next theorem shows just how close the two are:

Theorem 22: Let R be a finite integral domain. Then R is a field.

Proof: Let a\in R be nonzero and let S = \left\{ab| b\in R\right\}. Clearly S is a subset of R. From the cancellation law, we can see that |S| = |R| (since if two elements ab and ac are equal, then b=c). But then S=R. So then there must be some b such that ab=1. So a is a unit.

Of course proving that a set with two operations satisfy all of the ring axioms can be tedious. So, just as we did for groups, we note that if we're considering a subset of something that's already a ring, then our job is easier.

Definition 23: A subring S of a ring R is a subset of R that is also a ring (under the same two operations as for R) and 1_S=1_R. We denote "S is a subring of R" by S\leq R. Note many mathematicians do not require rings or subrings to have an identity.

Theorem 24: Let S\neq\emptyset be a subset of a ring R. Then S\leq R if and only if for all a,b\in S,

  1. a-b\in S,
  2. ab\in S,
  3. 1\in S.

Example 25:

  1. \mathbb{Z} \leq \mathbb{Q} \leq \mathbb{R} \leq \mathbb{C}.
  2. The trivial ring \left\{0\right\} is a subring of every ring.
  3. The set of Gaussian integers \mathbb{Z}\left[i\right] is a subring of the complex numbers \mathbb{C}.