In these notes, we introduce a new class of algebraic structures, called rngs and rings, whose study is collectively called ring theory. Rngs and rings are more complicated than groups because their definition involves not one, but two binary operations.
Definition: Rng
A rng (pronounced as “rung”) is an algebraic structure ⟨R;0,−,+,⋅⟩ consisting of:
a set R, called the underlying set;
a distinguished element 0∈R, called the zero element;
a unary operation −:R→R, written as x↦−x, called negation;
a binary operation +:R×R→R, written as (x,y)↦x+y, called addition;
a binary operation ⋅:R×R→R, written as (x,y)↦x⋅y, called multiplication;
satisfying the following requirements:
Additive structure: ⟨R;0,−,+⟩ is an abelian group.
Associativity: (x⋅y)⋅z=x⋅(y⋅z) for all x,y,z∈R.
Left distributivity: x⋅(y+z)=(x⋅y)+(x⋅z) for all x,y,z∈R.
Right distributivity: (x+y)⋅z=(x⋅z)+(y⋅z) for all x,y,z∈R.
The key ingredient in the definition of a rng is distributivity, which establishes a link between two different binary operations. We begin our study of rngs by proving a simple (but important) result to demonstrate the utility of the distributive property.
Multiplying by Zero Yields Zero
Theorem: To do.
Proof: To do. □
Definition: Zero Rng
The zero rng is the rng ⟨{0};0,−,+,⋅⟩ consisting of a single element 0. The negation, addition, and multiplication operations in the zero rng are defined by −0=0+0=0⋅0=0.
Definition: Trivial Rng, Nontrivial Rng
A rng is trivial if its underlying set contains only one element.
A rng is nontrivial if its underlying set contains more than one element.
Definition: Commutative Rng
A commutative rng is a rng ⟨R;0,−,+,⋅⟩ that satisfies the following additional requirement:
Commutativity: x⋅y=y⋅x for all x,y∈R.
The word “commutative” in the term “commutative rng” emphasizes that the multiplication operation is commutative. By definition, the addition operation is always commutative in every rng.
Definition: Ring
A ring is an algebraic structure ⟨R;0,1,−,+,⋅⟩ consisting of:
a set R, called the underlying set;
a distinguished element 0∈R, called the zero element;
a distinguished element 1∈R, called the identity element;
a unary operation −:R→R, written as x↦−x, called negation;
a binary operation +:R×R→R, written as (x,y)↦x+y, called addition;
a binary operation ⋅:R×R→R, written as (x,y)↦x⋅y, called multiplication;
satisfying the following requirements:
Rng structure: ⟨R;0,−,+,⋅⟩ is a rng.
Identity: 1⋅x=x⋅1=x for all x∈R.
Zero Divisors and Inverses
Every rng R has a distinguished element 0R. The rng axioms specify what happens when 0R is fed into the operations of addition and multiplication, but they leave unspecified when 0R is produced as an output. This is the topic that we will study in this section.
The equation x+y=0R is familiar territory—this simply means that x and y are additive inverses, i.e., x=−y. On the other hand, the equation xy=0R is far more interesting. In the familiar rngs of grade-school arithmetic, including Z, Q, R, and C, the equation xy=0 implies that x=0 or y=0. However, when we study rngs in general, it turns out to be possible for two nonzero elements to multiply into zero. This situation is completely foreign and allows bizarre things to happen in general rngs that have no analogue in Z, Q, R, or C. In fact, this phenomenon is so dangerous that mathematicians have assigned it a cautionary name.
Definition: Zero Divisor, Left/Right/Two-Sided Zero Divisor
Let R be a rng.
An element a∈R is a left zero divisor if there exists x∈R such that ax=0R.
An element b∈R is a right zero divisor if there exists x∈R such that xb=0R.
An element of R is a zero divisor if it is a left zero divisor or a right zero divisor.
An element of R is a two-sided zero divisor if is it both a left zero divisor and a right zero divisor.
The name “zero divisor” is a rather unfortunate historical convention. We will later learn a definition of the word “divides” under which every element of a rng divides 0R. (You may have already learned this definition if you have previously studied number theory.) You need to remember that, in the context of rng theory, the phrase “zero divisor” is not synonymous with “divides 0R.”
Zero divisors are so pernicious that mathematicians have concocted a series of names for rings in which they don’t exist. Note that these names apply to rings, not rngs.
Definition: Domain
A domain is a nontrivial ring in which the product of any two nonzero elements is itself nonzero.
In other words, a domain is a ring that does not contain any (left or right) zero divisors except 0R itself. The most well-studied domains happen to be commutative rings, so there is a special term for a commutative domain.
Definition: Integral Domain
An integral domain is a nontrivial commutative ring in which the product of any two nonzero elements is itself nonzero.
When we pass from rngs to rings, we gain the new distinguished element 1R. This prompts us to ask when 1R is produced as an output of addition or multiplication. Again, the equation x+y=1R is rather uninteresting, since it means nothing more than y=1R−x. However, the equation xy=1R merits further investigation. In Q, R, or C, this would simply mean that x and y are inverses, i.e., x=y−1; but in a general ring, it is not guaranteed that every nonzero element has an inverse.
x is left-invertible if there exists ℓ∈R such that ℓx=1R. We call such an element ℓ a left inverse of x.
x is right-invertible if there exists r∈R such that xr=1R. We call such an element r a right inverse of x.
x is invertible (or two-sided invertible) if there exists y∈R such that xy=yx=1R. We call such an element y an inverse (or two-sided inverse) of x, and we write y=x−1 to denote this relationship.
Note that the terms “zero divisor” and “invertible” have opposite usage conventions. When we call something a “zero divisor” without further clarification, we mean that it is a left or right zero divisor; but when we call something “invertible” without further clarification, we mean “two-sided invertible.”
In addition, the terms “zero divisor” and “invertible” also have opposite emotional connotations. When we learn that an element of a rng is a zero divisor, we must put ourselves on high alert and remember that the usual laws of arithmetic might not apply (i.e., xy=0 does not imply x=0 or y=0). In contrast, when we learn that an element of a ring is invertible, we can breathe a sigh of relief and divide with impunity. In fact, invertible elements are so useful that we give them another special name.
Definition: Unit, Group of Units, R×
Let R be a ring. An element u∈R is a unit if there exists an element v∈R such that uv=vu=1R. The set of all units in R is denoted by R×, and is called the group of units of R.
In other words, R× is the set of elements of R that have a (two-sided) inverse. We call R× the group of units because it is group under the ring’s multiplication operation. In particular, we always have 1R∈R×, and if u,v∈R×, then u−1∈R× (since its inverse is u) and uv∈R× (since its inverse is v−1u−1). For example, Z×={±1} and Q×=Q∖{0}.
Just like domains and integral domains, mathematicians have also concocted names for rings in which every element is invertible. (Actually, it’s too much to ask that every element be invertible, since 0R is never invertible in any nontrivial ring R, but we can ask that every nonzero element be invertible.)
Definition: Division Ring, Skew Field
A division ring (or skew field) is a nontrivial ring in which every nonzero element is invertible.
In other words, a ring R is a division ring if R×=R∖{0R}. Like domains, the most well-studied division rings happen to be commutative, so there is a special term for a commutative division ring.
Definition: Field
A field is a nontrivial commutative ring in which every nonzero element is invertible.
Under Construction
Definition: Associate Elements in a Ring
Let R be a ring. We say that two elements a,b∈R are associates if there exist u,v∈R× such that a=ubv.
Note that, in a commutative ring, this condition simplifies to a=ub. In standard algebra textbooks, this definition is usually only stated for commutative rings.
Associatedness is an Equivalence Relation
Theorem: In any ring R, the binary relation of “associatedness” is an equivalence relation on R.
Proof: We need to verify that associatedness is reflexive, symmetric, and transitive. Let a,b,c∈R and u,v,x,y∈R×.
Reflexivity: a=1Ra1R.
Symmetry: If a=ubv, then b=u−1av−1.
Transitivity: If a=ubv and b=xcy, then a=(ux)c(yv). □
This shows that every ring can be partitioned into associate classes. Note that R× is the associate class of 1R, and {0R} is its own associate class.
Definition: Principal Ideal, Generator
Let R be a commutative ring, and let r∈R. The principal ideal generated by r, denoted by ⟨r⟩, is the subset of R containing all multiples of r.
⟨r⟩:={rx:x∈R}
An ideal I⊴R is principal if there exists an element r∈R such that I=⟨r⟩. In this case, we call r a generator of I.
Note that a principal ideal may have more than one generator. For example, the ideal of even numbers in Z has two generators, ⟨2⟩=⟨−2⟩. Of course, these two generators are quite closely related, since 2 and −2 differ only in sign. The following theorem shows that this is a general phenomenon in the absence of zero divisors.
Two Generators of the Same Ideal in an Integral Domain are Associates
Theorem: Let R be an integral domain. If two elements a,b∈R generate the same ideal ⟨a⟩=⟨b⟩, then a and b are associates.
Proof: If ⟨a⟩=⟨b⟩={0}, then a=b=0, and we are done, since 0 is certainly associate to itself. Otherwise, a and b are both nonzero. The hypothesis ⟨a⟩=⟨b⟩ implies that a∈⟨b⟩ and b∈⟨a⟩. Thus, there exist r,s∈R such that a=rb and b=sa. It follows that a=rsa, or equivalently, (1−rs)a=0. Since R is an integral domain and a=0, we must have 1−rs=0, which shows that r and s are both units in R. We therefore conclude from the defining condition a=rb that a and b are associates. □
In a commutative ring with zero divisors, it can even be the case that a single principal ideal has multiple generators which are not associate to each other. [TO DO: Add an example.]
Definition: Principal Ideal Domain (PID)
A principal ideal domain, also known as a PID, is an integral domain in which every ideal is principal.
Definition: Divides, Divisibility Relation, a∣b
Let R be a commutative rng, and let a,b∈R. We say that adividesb, denoted by a∣b, if there exists an element q∈R such that b=qa. This binary relation ∣⊆R×R is called the divisibility relation on R.
The divisibility relation ∣ is always reflexive in a ring, but can fail to be reflexive in a rng. Note that 0 does not divide any element of a rng except 0, but every element of a rng divides 0.
Divisibility is Transitive
Theorem: The divisibility relation on any rng is transitive.
Proof: Let R be a rng, and let a,b,c∈R. If a∣b and b∣c, then there exist x,y∈R sch that b=xa and c=yb. It follows that c=yxa, which proves that a∣c. □
Definition: Prime Element
Let R be a commutative ring. An element p∈R is prime if p∈/R×∪{0} and for all a,b∈R, if p∣ab, then p∣a or p∣b.
The prime elements of the commutative ring Z are precisely the usual prime numbers 2,3,5,7,… and their negatives.
Definition: Irreducible Element
Let R be a ring. An element r∈R is irreducible if r∈/R× and for all a,b∈R, if r=ab, then a∈R× or b∈R×.
Note that, while the notion of an irreducible element is defined in any ring, the notion of a prime element is only defined in a commutative ring.
Definition: Characteristic, charR
Let R be a ring. The characteristic of R, denoted by charR, is the smallest positive integer n such that