|
⇤ ← Revision 1 as of 2026-02-16 02:50:24
Size: 536
Comment: Initial commit, incomplete
|
Size: 1343
Comment: Properties
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 17: | Line 17: |
| The multiplication must also feature these properties: | The addition operation must also feature these properties: * commutivity: ''a + b = b + a'' * associativity: ''(a + b) + c = a + (b + c)'' * There exists a value satisfying an identity property: ''a + 0 = a''. * invertibility: ''a + (-a) = 0'' The multiplication operation must also feature these properties: * commutivity: ''ab = ba'' * associativity: ''(ab)c = a(bc)'' * There exists a value satisfying an identity property: ''a1 = a''. * invertibility: Formally, because zero is excluded, it is said that ''∀ a ∈ F \ {0} aa^-1^ = 1''. Lastly there js a distributivity property: ''(a + b)c = ac + bc''. ---- == Commutative Rings == There are many sets which satisfy some but not all properties of a field. For example, the set of integers does not contain multiplicative inverses. It is instead a '''commutative ring'''. |
Fields
Fields are sets that are closed under addition and multiplication.
Contents
Description
A field is a set for which a pair of binary operations are defined: addition and mutliplication.
The field must be closed under both operations; that is, addition is a map as F + F -> F and multiplication is a map as F × F -> F.
The addition operation must also feature these properties:
commutivity: a + b = b + a
associativity: (a + b) + c = a + (b + c)
There exists a value satisfying an identity property: a + 0 = a.
invertibility: a + (-a) = 0
The multiplication operation must also feature these properties:
commutivity: ab = ba
associativity: (ab)c = a(bc)
There exists a value satisfying an identity property: a1 = a.
invertibility: Formally, because zero is excluded, it is said that ∀ a ∈ F \ {0} aa-1 = 1.
Lastly there js a distributivity property: (a + b)c = ac + bc.
Commutative Rings
There are many sets which satisfy some but not all properties of a field. For example, the set of integers does not contain multiplicative inverses. It is instead a commutative ring.