Commutative rings with identity

Abbreviation: CRng₁

Definition

A commutative ring with identity is a ring with identity R = (R, + ,−,0,·,1 ) such that · is commutative:   x·y = y·x.

Morphisms

Let R and S be commutative rings with identity. A morphism from R to S is a function h : R→S that is a homomorphism: h(x + y) = h(x) + h(y)  and  h(x·y) = h(x)·h(y)  and  h(1) = 1.

Remark: It follows that h(0) = 0 and h(−x) = −h(x).

Some results

0 is a zero for ·: 0·x = x and x·0 = 0.

Examples

(Z, + ,−,0,·,1), the ring of integers with addition, subtraction, zero, multiplication, and one.

Properties

Finite members

Subclasses

Superclasses