Notes on algebra, probability theory, and linear algebra
A field $K$ is a commutative ring with identity $1\neq 0$ such that every nonzero element has a multiplicative inverse.
Equivalently:
A field is a world of pure scalars.
Its elements can be:
A field is the algebraic setting where arithmetic behaves almost as cleanly as ordinary rational, real, or complex arithmetic.
It is true that in a field:
But the two operations play different roles.
Addition combines quantities.
Multiplication scales, compares, and forms ratios.
Distributivity connects them:
\(a(b+c)=ab+ac.\) So multiplication is not just another addition. It acts on the additive world by scaling.
For fixed nonzero $a\in K$, the map
\(x\mapsto ax\) is an invertible additive map.
It satisfies
\(a(x+y)=ax+ay,\) and its inverse is
\(x\mapsto a^{-1}x.\) Thus:
A nonzero field element is an invertible scale transformation of the additive structure.
This is one of the best ways to understand fields.
Fields model scalars, not general transformations.
Scalars are scale factors. Applying scale $a$ and then scale $b$ gives the same result as applying $b$ and then $a$:
\(ab=ba.\) This is very different from matrices, where multiplication represents composition of transformations and order usually matters.
So:
| Structure | Multiplication means | Usually commutative? |
|---|---|---|
| Field | scalar scaling | yes |
| Matrix ring | composition of linear transformations | no |
Equations like
\(ax=b\) with $a\neq 0$ have the unique solution
\(x=a^{-1}b.\)
Fields are the natural coefficient systems for vector spaces.
Gaussian elimination, bases, dimension, coordinates, and solving linear systems all rely on the ability to divide by nonzero coefficients.
In a field, every nonzero quantity can be used as a unit of comparison.
This makes ratios meaningful:
\(\frac{a}{b}=ab^{-1}, \qquad b\neq 0.\)
In a general ring:
Example: in $\mathbb Z$, the equation
\(2x=1\) has no integer solution.
So $\mathbb Z$ is a ring, but not a field.
\(\mathbb Q\) is the smallest familiar field containing the integers.
\(\mathbb R\) is the standard field for geometry, analysis, and classical linear algebra.
\(\mathbb C\) is algebraically richer and essential in many areas of mathematics and physics.
For prime $p$,
\(\mathbb F_p=\mathbb Z/p\mathbb Z\) is a field.
Finite fields are central in coding theory, cryptography, combinatorics, and number theory.
A ring has addition and multiplication.
A field is a ring where multiplication by nonzero elements is fully reversible and commutative.
This makes fields ideal as coefficient systems. The next structure, vector spaces, uses fields as external systems of scalars.