On modules of linear transformations

DOI10.1016/J.LAA.2013.12.002MaRDI QIDQ2442285zbMATH OpenOpenAlexFDO

Authors M. Rahimi-Alangi, Bamdad R. Yahaghi

Publication date 2 April 2014

Published in Linear Algebra and its Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1508.00072

zbMATH Keywords

bimodules of linear homomorphismsdivision ringsfinitely generated submodulesvector spaces

Mathematics Subject Classification ID

Linear transformations, semilinear transformations (15A04) Algebraic systems of matrices (15A30) Bimodules in associative algebras (16D20) Endomorphism rings; matrix rings (16S50)

Abstract: Let $D$ be a division ring, $mathcalV$ and $mathcalW$ vector spaces over $D$, and $mathcalL(mathcalV,mathcalW)$ the $mathcalL(mathcalW)$-$mathcalL(mathcalV)$ bimodule of all linear transformations from $mathcalV$ into $mathcalW$. We prove some basic results about certain submodules of $mathcalL(mathcalV,mathcalW)$. For instance, we show, among other results, that a right submodule (resp. left submodule) of $mathcalL(mathcalV,mathcalW)$ is finitely generated whenever its image (resp. coimage) is finite-dimensional.

Review text

Let \({\mathcal V}\) and \({\mathcal W}\) be right vector spaces over a fixed division ring. The set \({\mathcal L}({\mathcal V})\) of all linear endomorphisms on \({\mathcal V}\) is a ring while the set \({\mathcal L}({\mathcal V},{\mathcal W})\) of all linear transformations from \({\mathcal V}\) into \({\mathcal W}\) is a natural \({\mathcal L}({\mathcal W})\)-\({\mathcal L}({\mathcal V})\) bimodule. The main results investigate finitely generated left \({\mathcal L}({\mathcal W})\)-submodules and finitely generated right \({\mathcal L}({\mathcal V})\)-submodules of \({\mathcal L}({\mathcal V},{\mathcal W})\) in terms of spans of images and intersections of kernels. It is shown, for example, that if the span of images of operators in a given right \({\mathcal L}({\mathcal V})\)-submodule \({\mathcal I}\subseteq {\mathcal L}({\mathcal V},{\mathcal W})\) has finite dimension then \({\mathcal I}\) is finitely generated. Similar conclusions are derived if the intersection of kernels of operators in a left \({\mathcal L}({\mathcal W})\)-submodule \({\mathcal I}\subseteq {\mathcal L}({\mathcal V},{\mathcal W})\) has finite codimension. The paper concludes with the classification of \({\mathcal L}({\mathcal W})\)-\({\mathcal L}({\mathcal V})\) bimodules in terms of a rank function.

Recommendations

• scientific article; zbMATH DE number 4055820
• scientific article; zbMATH DE number 4045948
• Simple modules over End(V_D) with prescribed annihilator
• Finitary groups and rings
• scientific article; zbMATH DE number 61956

Cites work

• Factorization of Operators on Banach Space
• scientific article; zbMATH DE number 193191 (Why is no real title available?)
• scientific article; zbMATH DE number 3458752 (Why is no real title available?)
• scientific article; zbMATH DE number 1314876 (Why is no real title available?)
• scientific article; zbMATH DE number 3085223 (Why is no real title available?)
• Introduction to cardinal arithmetic
• Majorization, range inclusion, and factorization for bounded linear operators
• On Majorization, Factorization, and Range Inclusion of Operators on Hilbert Space
• On one-sided ideals of rings of continuous linear operators
• On one-sided ideals of rings of linear transformations
• Proof of the well-ordering of cardinal numbers

Cited in

(6)

• On modules of continuous linear mappings
• On nest modules of matrices over division rings
• scientific article; zbMATH DE number 3876025 (Why is no real title available?)
• A note on linear transformations over integral domains
• Simple modules over End(V_D) with prescribed annihilator
• Actions between sets. Arbitrarily graded linear modules

This page was built for publication: On modules of linear transformations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2442285)