Groups, Rings and Fields
Groups
A group G, denoted by {G, . }, is a set of elements with a binary operation
denoted by . that associates to each ordered pair (a, b) of elements in G an
element (a . b) in G, such that the following axioms are obeyed:
Abelian Group:
Rings
A ring R, denoted by {R, +, *}, is a set of elements with two binary
operations, called addition and multiplication, such that for all a, b, c in R
the following axioms are obeyed.
Commutative Ring
Integral Domain
Fields
A field F, sometimes denoted by {F, +, x}, is a set of elements with two
binary operations, called addition and multiplication, such that for
all a, b, c in F the following axioms are obeyed.
(A1–M6) F is an integral domain; that is, F satisfies axioms A1 - A5 and
M1 - M6.
(M7) Multiplicative inverse: For each a in F, except 0, there is an
element
a-1 in F such that aa-1 = (a-1)a = 1.
In essence, a field is a set in which we can do addition, subtraction, multi
plication, and division without leaving the set. Division is defined with the
following rule: a/b = a(b-1).
Groups, Rings and Fields
Types of Fields