English

Similar submodules of projective modules

Rings and Algebras 2026-04-07 v1 Representation Theory

Abstract

We introduce a similarity relation between submodules of a module MM over a ring RR, 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 NN is a maximal submodule of MM, then either NN is fully invariant or NN is similar to at least 1+S1+|S| distinct maximal submodules, where SS is the eigenring of NN; in particular, Max(M)1+S3|{\rm Max}(M)|\geq 1+|S|\geq 3 in the latter case. For projective modules, we construct a canonical one-to-one map from Max(M){\rm Max}(M) into Maxr(EndR(M)){\rm Max}_r({\rm End}_R(M)). When MM is faithfully projective and EndR(M){\rm End}_R(M) is right Artinian, we prove that MM has finite length and decomposes into a direct sum of local summands. Conversely, if MM is a projective right RR-module with finite length, then EEE_E has finite length with (EE)(MR)\ell(E_E)\leq \ell(M_R); moreover, if MM is a faithfully projective RR-module, then (EE)=(MR)\ell(E_E)=\ell(M_R); conversely, if (EE)=(MR)\ell(E_E)=\ell(M_R) holds, then MM 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.

Keywords

Cite

@article{arxiv.2604.03243,
  title  = {Similar submodules of projective modules},
  author = {Alborz Azarang},
  journal= {arXiv preprint arXiv:2604.03243},
  year   = {2026}
}
R2 v1 2026-07-01T11:53:10.831Z