Definition and Illustration
| Algebraic structures |
|---|
|
Group-like structures
Semigroup and Monoid Quasigroup and Loop Abelian group |
|
Ring-like structures
Semiring Near-ring Ring Commutative ring Integral domain Field |
|
Lattice-like structures
Semilattice Lattice Map of lattices |
|
Module-like structures
Group with operators Module Vector space |
|
Algebra-like structures
Algebra Associative algebra Non-associative algebra Graded algebra Bialgebra |
Intuitively, a field is a set F that is a commutative group with respect to two compatible operations, addition and multiplication, with "compatible" being formalized by distributivity, and the caveat that the additive identity (0) has no multiplicative inverse (one cannot divide by 0).
The most common way to formalize this is by defining a field as a set together with two operations, usually called addition and multiplication, and denoted by + and ·, respectively, such that the following axioms hold; subtraction and division are defined implicitly in terms of the inverse operations of addition and multiplication:
- Closure of F under addition and multiplication
- For all a, b in F, both a + b and a · b are in F (or more formally, + and · are binary operations on F).
- Associativity of addition and multiplication
- For all a, b, and c in F, the following equalities hold: a + (b + c) = (a + b) + c and a · (b · c) = (a · b) · c.
- Commutativity of addition and multiplication
- For all a and b in F, the following equalities hold: a + b = b + a and a · b = b · a.
- Existence of additive and multiplicative identity elements
- There exists an element of F, called the additive identity element and denoted by 0, such that for all a in F, a + 0 = a. Likewise, there is an element, called the multiplicative identity element and denoted by 1, such that for all a in F, a · 1 = a. To exclude the trivial ring, the additive identity and the multiplicative identity are required to be distinct.
- Existence of additive inverses and multiplicative inverses
- For every a in F, there exists an element −a in F, such that a + (−a) = 0. Similarly, for any a in F other than 0, there exists an element a−1 in F, such that a · a−1 = 1. (The elements a + (−b) and a · b−1 are also denoted a − b and a/b, respectively.) In other words, subtraction and division operations exist.
- Distributivity of multiplication over addition
- For all a, b and c in F, the following equality holds: a · (b + c) = (a · b) + (a · c).
A field is therefore an algebraic structure 〈F, +, ·, −, −1, 0, 1〉; of type 〈2, 2, 1, 1, 0, 0〉, consisting of two abelian groups:
- F under +, −, and 0;
- F \ {0} under ·, −1, and 1, with 0 ≠ 1,
with · distributing over +.
Read more about this topic: Field (mathematics)
Famous quotes containing the words definition and/or illustration:
“The physicians say, they are not materialists; but they are:MSpirit is matter reduced to an extreme thinness: O so thin!—But the definition of spiritual should be, that which is its own evidence. What notions do they attach to love! what to religion! One would not willingly pronounce these words in their hearing, and give them the occasion to profane them.”
—Ralph Waldo Emerson (1803–1882)
“Each truth that a writer acquires is a lantern, which he turns full on what facts and thoughts lay already in his mind, and behold, all the mats and rubbish which had littered his garret become precious. Every trivial fact in his private biography becomes an illustration of this new principle, revisits the day, and delights all men by its piquancy and new charm.”
—Ralph Waldo Emerson (1803–1882)