Finite generation of Lie algebras associated with associative algebras (Q2255062): Difference between revisions
From MaRDI portal
Changed an Item |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Identities in rings with involutions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lie Simplicity of a Special Class of Associative Rings II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5569204 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4112071 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5622399 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Jordan pairs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A taste of Jordan algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some Remarks on Affine Rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3947798 / rank | |||
Normal rank |
Latest revision as of 16:53, 9 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Finite generation of Lie algebras associated with associative algebras |
scientific article |
Statements
Finite generation of Lie algebras associated with associative algebras (English)
0 references
6 February 2015
0 references
A Lie algebra \(L\) over a field \(\mathbb F\) is an \(\mathbb F\)-vector space together with a bilinear map \([\;,\;] : L \times L \to L\), denoted by \((x, y) \mapsto [x, y]\) and called the bracket of \(x\) and \(y\) such that the following axioms are satisfied: {\parindent=6mm \begin{itemize}\item[(i)] \([x, x] = 0\), \item[(ii)] \( [x, [y, z]] + [y, [z, x]] + [z, [x, y]] = 0\) (Jacobi identity), \end{itemize}} for every \(x, y, z\) in \(L\). Any associative \(\mathbb F\)-algebra \(R\) gives rise to: {\parindent=6mm \begin{itemize}\item[{\(\bullet\)}] A Lie algebra \(R^{-}\) with Lie bracket \([x,y]:=xy-yx\), for all \(x, y \in R\). \item[{\(\bullet\)}] If the algebra \(R\) is equipped with an involution \(* :R\to R\) then the space of the skew-symmetric elements \(K=Skew(R,*)\) can be seen as a subalgebra of the Lie algebra \(R^-\). \end{itemize}} In the paper under review the authors proved that if \(R\) is a finitely generated associative \(\mathbb F\)-algebra with an idempotent \(e\) such that \(ReR=R(1-e)R=R\), then the Lie algebra \([R, R]\) is finitely generated. Moreover, if \(R\) is a \(\mathbb F\)-algebra with an involution \(* :R\to R\) and an idempotent \(e\) such that \(ee^*=e^*e=0\) and \(ReR=R(1-e-e^*)R=R\), then the Lie algebra \([K, K]\) is finitely generated. In both cases the authors also show that the idempotent condition can not be dropped.
0 references
associative algebra
0 references
Lie subalgebra
0 references
finitely generated
0 references