Linear maps on \(k^{I}\), and homomorphic images of infinite direct product algebras (Q713403): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2000984834 / rank | |||
Normal rank |
Revision as of 20:35, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Linear maps on \(k^{I}\), and homomorphic images of infinite direct product algebras |
scientific article |
Statements
Linear maps on \(k^{I}\), and homomorphic images of infinite direct product algebras (English)
0 references
29 October 2012
0 references
In this interesting paper, the authors show that if \(\dim _{k}(V)\) is not too large, then \(\ker (g)\) must contain elements \((u_{i})_{i\in I}\) with all but finitely many components \(u_{i}\) nonzero where \(k\) is an infinite field, \(I\) is an infinite set, \(V\) is a \(k\)-vector-space, and \(g:\) \( k^{i}\rightarrow V\) is a \(k\)-linear map. They use these results to prove that every homomorphism from a direct product \(\prod_{I}A_{i}\) of not necessarily assocative algebras \(A_{i}\) onto an algebra \(b,\) where \(\dim _{k}(B)\) is not too large is the sum of a map factoring through the projection of \(\prod_{I}A_{i}\) onto the product of finitely many of the \(A_{i}\), and a map into the ideal \(\{b\in B\left| bB=Bb=\{0\}\right. \}\subseteq B\). Moreover, the authors mention the detailed consequences in the case that \(A_{i}\) are Lie algebras and point out that the above result is also obtained with the field \(k\) replaced by a commutative valuation ring.
0 references
linear map
0 references
measurable cardinals
0 references
homomorphisms on infinite direct products of nonassociative algebras
0 references
simple Lie algebras
0 references
solvable Lie algebras
0 references
nilpotent Lie algebras
0 references