A ring is von Neumann regular if every element has an element with . In a commutative ring, this is . An arbitrary direct product of rings whose factors are fields has this property by taking inverses in each nonzero coordinate. Every localization at a prime ideal of a commutative von Neumann regular ring is a field.