1 Commutative Rings With Identity: 1.1 The Definition
1 Commutative Rings With Identity: 1.1 The Definition
1 Commutative Rings With Identity: 1.1 The Definition
1.1.3 Notation
½
ab for a·b
We write
a − b for a + (−b).
1
1.1.4 Comments
Informally, in a commutative ring with identity we can add, subtract, multiply, and we have
an identity. Our laws are satisfied in Z and capture (we hope) the algebraic essence of the
integers. (What we have not attempted to build in is the ‘order’ enjoyed by the integers.)
Note that the Axioms (A1)–(A4) tell us that our commutative ring with identity A is
under addition an abelian group. We don’t propose to repeat work done in the first year
Groups course; for example we will use without fuss such facts as ‘the zero element is unique’.
In a similar vein we will not repeat work done in the first year Analysis I course; much
of what we did when we investigated the real numbers from an axiomatic point of view
can be used here too. For example, we don’t mean to fuss at all when we use facts like
(b + c) · a = b · a + c · a.
We will also follow the practice we have learned in Groups and Vector Spaces: all zero
elements will be denoted by 0, and all identity elements by 1.
1.1.5 An example
We will deal with examples later, but here is an example rather different in flavour from the
integers Z. For A take the set of diagonal n × n matrices with real entries; for the operations
take the usual matrix operations. Then we have a commutative ring with identity.
Definition 4. Let A be a commutative ring with identity, and let a ∈ A. The elements a′ of
a commutative ring with identity A are called an associate of a if for some unit u ∈ A we
have that a′ = ua.
2
1.2.1 Integral Domains
We can now define this important class of rings.
1.2.2 Fields
Even more specialised are the fields.
Definition 6. We say that the commutative ring with an identity is a field if 1 6= 0 and
every non-zero element is a unit.
3
1.4 Subrings
Definition 7. Let A be a commutative ring with identity. A subset B ⊆ A is said to be
a subring [more properly, a sub-(commutative ring with identity)] if is a commutative ring
with identity under the same operations.
Proposition 1.4.1 (Test for Subringhood). Let A be a commutative ring with identity. Then
B ⊆ A is a sub-(commutative ring with identity) if and only if
(i) 0 ∈ B;
(ii) if a, b ∈ B then (a − b) ∈ B;
(iii) 1 ∈ B;
(iv) if a, b ∈ B then ab ∈ B.
Proof. The proof is just as for groups or vector spaces; these criteria guarantee that the
operations restrict to operations on B and then the fact that the axioms which hold for all
elements of A certainly hold in B.
Note 1. Note that if by ‘ring’ we mean, as most authors do, a system satisfying our axioms
(A1)–(A4) and (M2) and (D), then there are many subrings of Z: for each d ∈ Z the set
dZ := {dr | r ∈ Z} is a sub-ring, but has no identity. It is therefore sometimes important to
adopt the tedious ‘sub-(commutative ring with identity)’ language.
To continue the application: why is the commutative ring with identity {0}, which is a
subset and a commutative ring with identity, not a sub-(commutative ring with identity) of
Z?
Proposition 1.5.1. Let A1 and A2 be commutative rings with identity. Then the set
A1 × A2 := {(x1 , x2 ) | xi ∈ Ai , i = 1, 2} is a commutative ring with identity under the
coordinatewise operations:
Proof. Trivial.
Proposition 1.6.1. Let A be a commutative ring with identity. Then the set of sequences
n o
(ak )∞
k=0 : ak ∈ A, only a finite number of the entries ak non-zero
(ii) −(ak )∞ ∞
k=0 := (−ak )k=0 ;
(iii) (ak )∞ ∞ ∞
k=0 + (bk )k=0 := (ak + bk )k=0 ;
Proof. It is easy to check that the set is closed under the operations. The addition axioms
are trivial. For this ‘convolution’ multiplication the axioms are slightly tedious to check, but
not difficult.
What has this got to do with polynomials in X? Well, write X := (0, 1, 0, . . . 0), and note
that X 2 = (0, 0, 1, 0, . . . ) and so on. With that in place we then recover all polynomials: for
example, (a0 , a1 , a2 , a3 , 0, 0, . . . ) = a0 + a1 X + a2 X 2 + a3 X 3 .
With this choice of name X for (0, 1, 0, 0, . . . ) we call this new ring A[X]. If we called
(0, 1, 0, . . . ) by the name Y we’d call the new ring A[Y ].
We can repeat the process, and manufacture for example R[X][Y ], which we usually
abbreviate to R[X, Y ]. The study of real plane curves is essentially the study of this ring.
2
Well, almost every. . .