finite-dimensional algebrashomomorphic imagesinverse limit of algebraspro-nilpotent algebrassolvable Lie algebras
Other special types of modules and ideals in commutative rings (13C13) Ideals in associative algebras (16D25) Jacobson radical, quasimultiplication (16N20) Nil and nilpotent radicals, sets, ideals, associative rings (16N40) Nonassociative algebras satisfying other identities (17A30) Solvable, nilpotent (super)algebras (17B30) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30)
Abstract: It is shown that any finite-dimensional homomorphic image of an inverse limit of nilpotent not-necessarily-associative algebras over a field is nilpotent. More generally, this is true of algebras over a general commutative ring k, with "finite-dimensional" replaced by "of finite length as a k-module". These results are obtained by considering the multiplication algebra M(A) of an algebra A (the associative algebra of k-linear maps A -> A generated by left and right multiplications by elements of A), and its behavior with respect to nilpotence, inverse limits, and homomorphic images. As a corollary, it is shown that a finite-dimensional homomorphic image of an inverse limit of finite-dimensional solvable Lie algebras over a field of characteristic 0 is solvable. Examples are given showing that infinite-dimensional homomorphic images of inverse limits of nilpotent algebras can have properties far from those of nilpotent algebras; in particular, properties that imply that they are not residually nilpotent. Several open questions and directions for further investigation are noted.
Recommendations
- Continuity of homomorphisms on pro-nilpotent algebras
- scientific article; zbMATH DE number 2032333
- scientific article; zbMATH DE number 4170981
- Homomorphisms of progenerator modules
- On Homomorphic Images of Special Jordan Algebras
- Homomorphic images of finite subdirectly irreducible unary algebras
- Homomorphisms of algebras
- scientific article; zbMATH DE number 3966462
- scientific article; zbMATH DE number 219793
- Classification of finite-dimensional nilpotent Hom-Lie algebras
Cites work
- A Problem on Inverse Mapping Systems
- An example of a simple radical ring
- Continuity of homomorphisms on pro-nilpotent algebras
- Homomorphisms on infinite direct product algebras, especially Lie algebras
- Hopfian and co-Hopfian objects
- Hopfian rings and Hopfian modules
- scientific article; zbMATH DE number 49937 (Why is no real title available?)
- scientific article; zbMATH DE number 1236965 (Why is no real title available?)
- scientific article; zbMATH DE number 1278464 (Why is no real title available?)
- scientific article; zbMATH DE number 1339096 (Why is no real title available?)
- scientific article; zbMATH DE number 195199 (Why is no real title available?)
- scientific article; zbMATH DE number 896973 (Why is no real title available?)
- scientific article; zbMATH DE number 3234475 (Why is no real title available?)
- scientific article; zbMATH DE number 3351862 (Why is no real title available?)
- scientific article; zbMATH DE number 3196329 (Why is no real title available?)
- Linear maps on \(k^{I}\), and homomorphic images of infinite direct product algebras
- On almost nilpotent-by-abelian Lie algebras
- On Inverse Systems with Trivial Limits
- Shorter Notes: An Empty Inverse Limit
- The Lie theory of connected pro-Lie groups. A structure theory for pro-Lie algebras, pro-Lie groups, and connected locally compact groups
- Three examples on hopficity in torsion-free abelian groups
Cited in
(8)- On the quotients of the inverse limit of finite dimensional Lie algebras
- Continuity of homomorphisms on pro-nilpotent algebras
- Homomorphic images of finite subdirectly irreducible unary algebras
- scientific article; zbMATH DE number 4069138 (Why is no real title available?)
- On the Goldman-Millson theorem for \(A_\infty\)-algebras in arbitrary characteristic
- Homomorphisms on infinite direct product algebras, especially Lie algebras
- Linear maps on \(k^{I}\), and homomorphic images of infinite direct product algebras
- Integro-derivation Dzhumadildaev algebras: from the algebra of polynomials
This page was built for publication: Homomorphic images of pro-nilpotent algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q351797)
