On the nilpotency and decomposition of Lie-type algebras. (Q942051): Difference between revisions
From MaRDI portal
ReferenceBot (talk | contribs) Changed an Item |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1134/s0001434607090040 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2045277975 / rank | |||
Normal rank |
Latest revision as of 10:41, 30 July 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