Field (mathematics): Difference between revisions
imported>Jitse Niesen (→Characteristic of a field: language) |
mNo edit summary |
||
(8 intermediate revisions by 5 users not shown) | |||
Line 1: | Line 1: | ||
{{subpages}} | {{subpages}} | ||
''Fields'' are algebraic structures that generalize on the familiar concepts of real number arithmetic. The set of rational numbers, the set of real numbers and the set of complex numbers are all ''fields'' under the usual addition and multiplication operations. | |||
The | The term ''field'' carries other meanings in other areas of mathematics, notably in [[calculus]] and [[mathematical physics]]. This article deals exclusively with fields as used in abstract algebra. | ||
This article deals exclusively with fields | |||
==Informal description and definition== | ==Informal description and definition== | ||
When dealing with <math>\mathbb{Q}</math>, the set of [[rational number | When dealing with <math>\mathbb{Q}</math>, the set of [[rational number]]s, we notice several things: | ||
*The rational numbers form what mathematicians call | *The rational numbers form what mathematicians call an [[abelian group]] under addition. | ||
*When we exclude the number 0, they form | *When we exclude the number 0, they form an [[abelian group]] under multiplication as well. | ||
*For any triplet <math>a,b,c</math>, we have that <math> a ( b + c ) = a b + a c</math> - both calculations yield the same answer. | *For any triplet <math>a,b,c</math>, we have that <math> a ( b + c ) = a b + a c</math> - both calculations yield the same answer. | ||
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]]. | ||
All these sets, and others where the three conditions listed above are fulfilled, are known as ''fields''. | |||
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 number]] p, is a field. | |||
It's important to notice that neither the field elements nor the binary operations necessarily have to be anything closely resembling numbers. It | It's important to notice that neither the field elements nor the binary operations necessarily have to be anything closely resembling numbers. It is 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== | ==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 such that F\{0} is a commutative group. | 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 such that F\{0} is a commutative group with identity element 1. [[Distributivity]] of ''*'' over ''+'' holds: that is, for any <math>a,b,c \in F</math>, we have that <math>a * (b + c ) = a * b + a * c </math>. | ||
The first binary operation is usually called ''addition'' and the second one ''multiplication''. | The first binary operation is usually called ''addition'' and the second one ''multiplication''. | ||
Line 51: | Line 48: | ||
==External links== | ==External links== | ||
*[http://mathworld.wolfram.com/Field.html Field] at MathWorld | *[http://mathworld.wolfram.com/Field.html Field] at MathWorld[[Category:Suggestion Bot Tag]] |
Latest revision as of 07:01, 16 August 2024
![](http://s9.addthis.com/button1-share.gif)
Fields are algebraic structures that generalize on the familiar concepts of real number arithmetic. The set of rational numbers, the set of real numbers and the set of complex numbers are all fields under the usual addition and multiplication operations.
The term field carries other meanings in other areas of mathematics, notably in calculus and mathematical physics. This article deals exclusively with fields as 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 an abelian group under addition.
- When we exclude the number 0, they form an abelian group under multiplication as well.
- For any triplet , we have that - both calculations yield the same answer.
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.
All these sets, and others where the three conditions listed above are fulfilled, are known as fields.
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 number p, is a field.
It's important to notice that neither the field elements nor the binary operations necessarily have to be anything closely resembling numbers. It is 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 such that F\{0} is a commutative group with identity element 1. Distributivity of * over + holds: that is, for any , we have that .
The first binary operation is usually called addition and the second one multiplication.
Characteristic of a field
The characteristic of a field is the smallest natural number such that (where there are ones on the right-hand side). If such a natural number does not exist, then the characteristic of a field is taken to be 0. If the characteristic of a field is nonzero, it is a prime number because otherwise, the number , where the number of ones is a proper divisor of the characteristic, would not have an inverse.
See also
Related topics
References
External links
- Field at MathWorld