Similar submodules of projective modules
Abstract
We introduce a similarity relation between submodules of a module over a ring , extending the classical notion of similarity for right ideals. Focusing on (faithfully) projective modules, we establish a sharp lower bound for the number of maximal submodules: if is a maximal submodule of , then either is fully invariant or is similar to at least distinct maximal submodules, where is the eigenring of ; in particular, in the latter case. For projective modules, we construct a canonical one-to-one map from into . When is faithfully projective and is right Artinian, we prove that has finite length and decomposes into a direct sum of local summands. Conversely, if is a projective right -module with finite length, then has finite length with ; moreover, if is a faithfully projective -module, then ; conversely, if holds, then is slightly compressible. These results are applied to obtain lower bounds on the number of maximal one-sided ideals that are not two-sided, with explicit consequences for matrix rings over infinite algebras.
Cite
@article{arxiv.2604.03243,
title = {Similar submodules of projective modules},
author = {Alborz Azarang},
journal= {arXiv preprint arXiv:2604.03243},
year = {2026}
}