April 20, 2025 Fields A field is a commutative ring with $0 \ne 1$ and all nonzero elements are invertible under multiplication.