Rings

A ring is a set R with two binary operations, such that 1) is an abelian group 2) is associative () 3) distributes over ()

A ring is commutative if is commutative (). A ring is unitary if there is an identity for . (there exists such that ).

A note on notation: and parenthesis will be excluded if unambiguous.

Examples:

A division ring (or skew field) is a unitary ring R such that for all there exists .

A field is a commutative division ring. For example. are fields.

Proposition: Let R be a ring 1) for all 2) for all 3) if R is unitary: multiplicative identity 1 is unique and .

Proof: 1) so (because cancellation in (R,+)) so 2) so . so . 3) Let 1 and e be multiplicative identities. Then so the identity is unique. Also .

Zero divisor: let R be a ring, an element such that or . For example, so is a zero divisor.

Unit: let R be a unitary ring, is a unit if there exists . A division ring is unitary if every is a unit.

Proposition: if R is a unitary ring, then is a group.

Proof (non rigurous): 1 is the identity, R* is associative (due to ring axioms), and it is closed under inverses by definition, hence R* is a group.

Proposition: Let R be a unitary ring, . Then no element is both a unit and a zero divisor.

Proof: assume are nonzero such that xy = 0 and xv = 1 = vx. Then which is a contradiction. If instead yx = 0 then which is also a contradiction.

Proposition: let R be a ring. If a \in R is not a zero divisor then for all if ab = ac then b = c, if ba = ca, then b = c (proof is left as an exercise to the reader).

A commutative unitary ring whose only zero divisor is 0 is called an integral domain. For example, every field is an integral domain, is an integral domain and is both an integral domain and a field if n is prime.

Proposition: A finite integral domain is a field.

Proof: Let R be an integral domain. Pick . Then defined by is injective. Since and both are finite, the map is surjective. Then there exists an such that .