On the nilpotency and decomposition of Lie-type algebras. (Q942051): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 02:41, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the nilpotency and decomposition of Lie-type algebras. |
scientific article |
Statements
On the nilpotency and decomposition of Lie-type algebras. (English)
0 references
3 September 2008
0 references
Let \(G\) be a semigroup acting on a set \(M\). Consider a \(G\)-graded algebra \(B\) over a field \(k\), not necessarily associative, and an \(M\)-graded space \(V\). A Lie-type representation of \(B\) in \(V\) is a linear map \(\rho\) from \(B\) into the endomorphism algebra of \(V\) such that \(\rho(B_\alpha)V_\gamma\subseteq V_{\alpha\gamma}\), and there exists scalars \(\lambda,\mu\in k\) such that \(\rho(ab)v=\lambda\rho(a)\rho(b)v+\mu\rho(b)\rho(a)v\) for homogeneous elements \(a,b\in B\) and \(v\in V\). The aim of the paper is to prove an analog of Engel's theorem for nilpotent Lie algebras. Suppose that \(B\) has finite dimension and \(\rho(x)\) is nilpotent for any homogeneous element \(x\in B\). Then the associative algebra generated by all elements \(\rho(x)\) is nilpotent. If \(V\) has finite dimension then there exists a base in \(V\) in which matrices of all operators \(\rho(x)\), \(x\in B\), are strictly upper triangular. In particular, if \(B\) is a Lie-type left \(B\)-module then \(B\) is nilpotent if and only if each operator of left multiplication on \(B\) is nilpotent. Suppose that \(V=B\) and \(\rho(x)\) is the operator of left multiplication by \(x\). The author introduces an analog of the Killing form. It is shown that if \(G\) is a well-ordered group then a finite dimensional algebra \(B\) is semisimple if and only if the form is non-degenerate. In this case \(B\) is a direct sum of simple homogeneous ideals.
0 references
graded algebras
0 references
Engel theorem
0 references
semisimple algebras
0 references
modules of Lie type
0 references
Killing forms
0 references
semisimplicity
0 references