Semisimple

A Semisimple Module is one in which each Submodule is a Direct Summand . In particular, a ''semisimple'' Representation is ''completely reducible'', i.e., is a direct sum of Irreducible Representation s (under a Descending Chain Condition ). One speaks of an Abelian Category as being ''semisimple'' when every object has the corresponding property.

A ''semisimple ring'' or '' Semisimple Algebra '' is one that is semisimple as a module over itself.

A ''semisimple'' Matrix (or Linear Transformation of Finite-dimensional Vector Space s) is one for which every Invariant Subspace has an invariant complement. This is equivalent to the Minimal Polynomial having only Irreducible Factors with multiplicity one. Over a Perfect Field , this amounts to saying that the matrix has simple roots in the algebraic closure (or any larger algebraically closed field), i.e., it becomes Diagonalizable over the algebraic closure. Thus, over an algebraically closed field, “semisimple” and “diagonalizable” are synonymous for matrices.

A '' Semisimple Lie Algebra '' is a Lie Algebra which is a direct sum of Simple Lie Algebra s. A Lie algebra $g$ is simple if its dimension is larger than one and if it does not contain any nontrivial ideals. This means that if $I \subset g$ is such that {Link without Title} \in I for any $y\in g$ if $x\in I$ , then $I$ is either zero or the whole Lie algebra.

A connected Lie Group is called ''semisimple'' when its Lie algebra is; and the same for Algebraic Group s. Every finite dimensional representation of a semisimple Lie algebra, Lie group, or algebraic group in Characteristic 0 is semisimple, i.e., completely reducible, but the converse is not true. (See Reductive Group .) Moreover, in characteristic ''p''>0, semisimple Lie groups and Lie algebras have finite dimensional representations that are not semisimple. An element of a semisimple Lie group or Lie algebra is itself ''semisimple'' if its image in every finite-dimensional representation is semisimple in the sense of matrices.

A Linear Algebraic Group ''G'' is called ''semisimple'' if the Radical of the Identity Component ''G⁰'' of ''G'' is trivial. ''G'' is semisimple if and only if ''G'' has no nontrivial connected abelian normal subgroup.

An Abelian Category ''A'' is said to be ''semisimple'' if every Short Exact Sequence splits in ''A''. For example, the Representation categories of Compact Group s are semisimple abelian.

Information About