Field (mathematics): Difference between revisions
imported>Ragnar Schroder (→Formal definition of a field: rewording) |
imported>Ragnar Schroder (→Informal description and definition: rewording) |
||
| Line 17: | Line 17: | ||
Dealing with other sets, both finite and infinite, we often notice this behavior. Obvious examples are <math>\mathbb{R}</math>, the set of real numbers and <math>\mathbb{C}</math>, the set of [[complex number|complex numbers]]. | Dealing with other sets, both finite and infinite, we often notice this behavior. Obvious examples are <math>\mathbb{R}</math>, the set of real numbers and <math>\mathbb{C}</math>, the set of [[complex number|complex numbers]]. | ||
Less obvious examples are Z<sub>2</sub>, the set {0,1} under addition and multiplication [[modular arithmetic|modulo]] 2. Other examples are Z<sub>3</sub> and Z<sub>5</sub>, ... , Z<sub>p</sub> | Less obvious examples are Z<sub>2</sub>, the set {0,1} under addition and multiplication [[modular arithmetic|modulo]] 2. Other examples are Z<sub>3</sub> and Z<sub>5</sub>, ... , Z<sub>p</sub>. In general, any set {0,1,...,p-1} under addition and multiplication modulo p, for any prime p, is a field. | ||
All these sets, and others where the three conditions listed above are fullfilled, are known as ''fields'' by mathematicians. | All these sets, and others where the three conditions listed above are fullfilled, are known as ''fields'' by mathematicians. | ||
Revision as of 04:50, 13 December 2007
In mathematics, field theory usually refers to a subdiscipline of abstract algebra that studies fields, which are mathematical constructs that generalize on the familiar concepts of real number arithmetic.
The terms field and field theory carry other meanings in other areas of mathematics, notably in calculus and mathematical physics.
This article deals with exclusively with fields and field theory as the terms are used in abstract algebra.
Informal description and definition
When dealing with , the set of rational numbers, we notice several things:
- The rational numbers form what mathematicians call a commutative group under addition.
- When we exclude the number 0, they form a group under multiplication as well.
- For any triplet , the expressions a(b+c) and ab+ac always have the same value.
Dealing with other sets, both finite and infinite, we often notice this behavior. Obvious examples are , the set of real numbers and , the set of complex numbers.
Less obvious examples are Z2, the set {0,1} under addition and multiplication modulo 2. Other examples are Z3 and Z5, ... , Zp. In general, any set {0,1,...,p-1} under addition and multiplication modulo p, for any prime p, is a field.
All these sets, and others where the three conditions listed above are fullfilled, are known as fields by mathematicians.
It's important to notice that neither the field elements nor the binary operations necessarily have to be anything closely resembling numbers. It's sufficient that the actual system under study can be conceptualized into a structure that satisfies the formal definition of a field:
Formal definition of a field
A field consists of a set F, along with a binary operation + on F such that F is a commutative group with an identity element 0; and another binary operation on F\{0} such that F\{0} is a commutative group. Also, for any , we must have that
The first binary operation is usually called addition and the second one multiplication.
See also
Related topics
References
External links
- Field at MathWorld