English

Equivalent generating vectors of finitely generated modules over commutative rings

Commutative Algebra 2020-12-11 v2

Abstract

Let RR be a commutative ring with identity and let MM be an RR-module which is generated by μ\mu elements but not fewer. We denote by SLn(R)\operatorname{SL}_n(R) the group of the n×nn \times n matrices over RR with determinant 11. We denote by En(R)\operatorname{E}_n(R) the subgroup of SLn(R)\operatorname{SL}_n(R) generated by the the matrices which differ from the identity by a single off-diagonal coefficient. Given nμn \ge \mu and G{SLn(R),En(R)}G \in \left\{\operatorname{SL}_n(R),\operatorname{E}_n(R)\right\}, we study the action of GG by matrix right-multiplication on Vn(M)\operatorname{V}_n(M), the set of elements of MnM^n whose components generate MM. Assuming that MM is finitely presented and that RR is an elementary divisor ring or an almost local-global coherent Pr\"ufer ring, we obtain a description of Vn(M)/G\operatorname{V}_n(M)/G which extends the author's earlier result on finitely generated modules over quasi-Euclidean rings.

Keywords

Cite

@article{arxiv.2012.03060,
  title  = {Equivalent generating vectors of finitely generated modules over commutative rings},
  author = {Luc Guyot},
  journal= {arXiv preprint arXiv:2012.03060},
  year   = {2020}
}

Comments

33 pages, no figure. Minor changes: fix a couple of embarrassing typos

R2 v1 2026-06-23T20:45:11.966Z