Please help collecting examples of finite/infinite rings satisfying different conditions about units/zero divisors (Added question 4)

1) This is true for all fields, like $\mathbb{R}$, $\mathbb{C}$, $\mathbb{Q}$ and $\mathbb{Z}/2\mathbb{Z}$ and all finite-dimensional algebras over these fields. Finite dimensional algebras covers matrix rings, and lots more besides.

2) This is exactly the condition that defines division rings, and the zero ring which is not a division ring. A division ring with a commutative product is called a field and I gave plenty of examples of fields above.

3) $(\mathbb{Z}/2\mathbb{Z})$ and $(\mathbb{Z}/2\mathbb{Z}) \times (\mathbb{Z}/2\mathbb{Z})$ and $(\mathbb{Z}/2\mathbb{Z}) \times (\mathbb{Z}/2\mathbb{Z}) \times (\mathbb{Z}/2\mathbb{Z})$ etc. I think that these and the zero ring are the only finite rings that meet this condition.

Response to edit

4) The ring of polynomials over the real numbers. Also the ring of continuous function from the real numbers to the real numbers; the function $x \rightarrow x$ is not a unit and not a zero divisor.


1/2) Every field has this property; as part of the definition of a field every non-zero element is a unit. $\mathbb{Q}[x]/(p_n(x))$ where $p_n(x)$ is an irreducible polynomial of degree $n$ gives an infinite non-isomorphic family. As an example of an infinite ring where nonzero elements are zero divisors or units and where both occur take $n \times n$ matrices over some infinite field ($\mathbb{Q},\mathbb{R},\mathbb{C}$ for example).*

3) Check out http://en.wikipedia.org/wiki/Boolean_ring. These have the property that all elements $x$ are idempotent meaning $x^2=x$. But then $x(x-1)=0$ so every element besides $1$ is a zero divisor.


The rings $\mathbb{Q}$, $\mathbb{R}$,$\mathbb{C}$ (these are also fields) and $\mathbb{H}$ (the quaternions) are infinite examples of 2).

For 1) and 3) you can consider the subrings of $M(2,\mathbb{R})$ formed by the matrices of the form: $$ D=\begin{bmatrix}a&0\\0&b\end{bmatrix} \qquad T=\begin{bmatrix}a&c\\0&b\end{bmatrix} \qquad U=\begin{bmatrix}0&c\\0&0\end{bmatrix} $$ The matrices $D$ and $T$ form two non isomorphic rings, The matrices $U$ are a ring without unity that is not isomorphic to $D$-ring and $T$-ring.

You can see that matrices of the form $\begin{bmatrix}0&0\\0&b\end{bmatrix}$ are zero divisors in $D$-ring and in the $T$-ring and you can easely see that there are invertible elements in these rings.

The ring of matrices $U$ has no invertible elements, all its elements are zero divisors.

Finally, You can construct similar exemples in $M(n;\mathbb{K})$ for any field $\mathbb{K}$, and all are not isomorphic.