A field is a commutative ring with in which every nonzero element is invertible, so . Equivalently, its only ideals are and . There are no zero divisors. Examples include , , , and the finite field for each prime .