Semisimple algebra

From Wikipedia, the free encyclopedia

In ring theory, a branch of mathematics, a semisimple algebra is an associative artinian algebra over a field which has trivial Jacobson radical (only the zero element of the algebra is in the Jacobson radical). If the algebra is finite dimensional this is equivalent to saying that it can be expressed as a Cartesian product of simple subalgebras.

Definition

The Jacobson radical of an algebra over a field is the ideal consisting of all elements that annihilate every simple left-module. The radical contains all nilpotent ideals, and if the algebra is finite-dimensional, the radical itself is a nilpotent ideal. A finite dimensional algebra is then said to be semisimple if its radical contains only the zero element.

An algebra A is called simple if it has no proper ideals and A² = {ab | a, b ∈ A} ≠ {0}. As the terminology suggests, simple algebras are semisimple. The only possible ideals of a simple algebra A are A and {0}. Thus if A is not nilpotent, then A is semisimple. Because A² is an ideal of A and A is simple, A² = A. By induction, Aⁿ = A for every positive integer n, i.e. A is not nilpotent.

Any self-adjoint subalgebra A of n × n matrices with complex entries is semisimple. Let Rad(A) be the radical of A. Suppose a matrix M is in Rad(A). Then M*M lies in some nilpotent ideals of A, therefore (M*M)^k = 0 for some positive integer k. By positive-semidefiniteness of M*M, this implies M*M = 0. So M x is the zero vector for all x, i.e. M = 0.

If {A_i} is a finite collection of simple algebras, then their Cartesian product ∏ A_i is semisimple. If (a_i) is an element of Rad(A) and e₁ is the multiplicative identity in A₁ (all simple algebras possess a multiplicative identity), then (a₁, a₂, ...) · (e₁, 0, ...) = (a₁, 0..., 0) lies in some nilpotent ideal of ∏ A_i. This implies, for all b in A₁, a₁b is nilpotent in A₁, i.e. a₁ ∈ Rad(A₁). So a₁ = 0. Similarly, a_i = 0 for all other i.

It is less apparent from the definition that the converse of the above is also true, that is, any finite dimensional semisimple algebra is isomorphic to a Cartesian product of a finite number of simple algebras. The following is a semisimple algebra that appears not to be of this form. Let A be an algebra with Rad(A) ≠ A. The quotient algebra B = A ⁄ Rad(A) is semisimple: If J is a nonzero nilpotent ideal in B, then its preimage under the natural projection map is a nilpotent ideal in A which is strictly larger than Rad(A), a contradiction.

Characterization

Let A be a finite dimensional semisimple algebra, and

$\{0\}=J_{0}\subset \cdots \subset J_{n}\subset A$

be a composition series of A, then A is isomorphic to the following Cartesian product:

$A\simeq J_{1}\times J_{2}/J_{1}\times J_{3}/J_{2}\times ...\times J_{n}/J_{{n-1}}\times A/J_{n}$

where each

$J_{{i+1}}/J_{i}\,$

is a simple algebra.

The proof can be sketched as follows. First, invoking the assumption that A is semisimple, one can show that the J₁ is a simple algebra (therefore unital). So J₁ is a unital subalgebra and an ideal of J₂. Therefore one can decompose

$J_{2}\simeq J_{1}\times J_{2}/J_{1}.$

By maximality of J₁ as an ideal in J₂ and also the semisimplicity of A, the algebra

$J_{2}/J_{1}\,$

is simple. Proceed by induction in similar fashion proves the claim. For example, J₃ is the Cartesian product of simple algebras

$J_{3}\simeq J_{2}\times J_{3}/J_{2}\simeq J_{1}\times J_{2}/J_{1}\times J_{3}/J_{2}.$

The above result can be restated in a different way. For a semisimple algebra A = A₁ ×...× A_n expressed in terms of its simple factors, consider the units e_i ∈ A_i. The elements E_i = (0,...,e_i,...,0) are idempotent elements in A and they lie in the center of A. Furthermore, E_i A = A_i, E_iE_j = 0 for i ≠ j, and Σ E_i = 1, the multiplicative identity in A.

Therefore, for every semisimple algebra A, there exists idempotents {E_i} in the center of A, such that

E_iE_j = 0 for i ≠ j (such a set of idempotents is called central orthogonal),
Σ E_i = 1,
A is isomorphic to the Cartesian product of simple algebras E₁ A ×...× E_n A.

Classification

The Artin–Wedderburn theorem completely classifies semisimple algebras: they are isomorphic to a product $\prod M_{{n_{i}}}(D_{i})$ where the $n_{i}$ are some integers, the $D_{i}$ are division rings, and $M_{{n_{i}}}(D_{i})$ means the ring of $n_{i}\times n_{i}$ matrices over $D_{i}$ . This product is unique up to permutation of the factors.

References

Springer Encyclopedia of Mathematics

This article is issued from Wikipedia. The text is available under the Creative Commons Attribution/Share Alike; additional terms may apply for the media files.