A ring of **left global dimension zero** is a ring $R$ for which every left $R$-module is projective. These are also known as **semisimple** rings of the Wedderburn-Artin theory fame, which says that these rings are precisely the finite direct products of full matrix rings over division rings. Note the subtle detail that “semisimple” is used here instead of “left semisimple” because left semisimple is the same thing as right semsimple.

In the commutative world, the story for *Krull* dimension zero is not so simple. For example, every finite commutative ring has Krull dimension zero. Indeed, if $R$ is a ring with Krull dimension greater than zero, then there would exist two distinct primes $P\subset Q$ so that $R/P$ is an integral domain that is not a field. Thus, $R$ is infinite, as every finite integral domain is a field.

The story becomes simpler if we require $R$ to have no nilpotent elements: i.e., that $R$ is **reduced**. In this case, a commutative ring is reduced and of Krull dimension zero if and only if every principal ideal is idempotent. Every principal ideal being idempotent means that for every $x\in R$ there is an $a\in R$ such that $xax = x$. Rings, commutative or not, satisfying this latter condition are called **von Neumann regular**. So:

**Theorem.**A commutative ring has Krull dimension zero and is reduced if and only if it is von Neumann regular.