6
$\begingroup$

Characterize all finite dimensional algebras (may not be commutative) over a field $K$ without nilpotent elements.

My condition: Let $A$ be any algebra (may not be finite dimensional), then it's easy to prove that $A$ has no nilpotent elements iff the equation $x^2=0$ has a unique solution (the trivial solution).

But is there a more explicit characterization of these finite dimensional algebras?

  • 1
    Rings that have no nonzero nilpotent elements are usually called *reduced rings*. There is a [short wiki article](http://en.wikipedia.org/wiki/Reduced_ring) on them.2012-09-06

1 Answers 1

8

Suppose that $A$ is a finite dimensional associative algebra with $1$ which has no nilpotent elements.

The Jacobson radical $J(A)$ of $A$ is then zero, because $J(A)$ is a nilpotent ideal of $A$, so its elements are themselves nilpotent. This implies that $A$ is a semisimple algebra and Wedderburn's theorem tells us then that $A$ is isomorphic to a finite direct product of matrix algebras $\prod_{i=1}^rM_{n_i}(D_i)$ for some $n_1,\dots,n_r\geq1$ and some finite dimensional division $K$-algebras $D_1,\dots,D_r$.

Now, if $n>1$, then $M_n(D)$ has non-zero nilpotents whatever $D$ is, so we must have $n_1=\cdots=n_r=1$.

We thus conclude that $A$ is a direct product of finitely many finite dimensional division $K$-algebras.

(If we assume further that $K$ is algebraically closed, then there are no non-trivial finite dimensional division $K$-algebras and we must have $A=K\times\cdots\times K$.)

  • 0
    @all Didn't find the result I remembered, but found two interesting results anyway: Kaplansky: "A compact dual ring has identity." Hirano, Poon & Tsutsui: "If $R$ is commutative, and $R^2=R$ and all ideals are weakly prime, then $R$ has an identity."2012-09-06