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 .