Equivalent generating vectors of finitely generated modules over commutative rings

Abstract: Let

R

be a commutative ring with identity and let

M

be an

R

-module which is generated by

m u

elements but not fewer. We denote by

o p e r a t o r n a m e {S L}_{n} (R)

the group of the

n i m e s n

matrices over

R

with determinant

1

. We denote by

o p e r a t o r n a m e E_{n} (R)

the subgroup of

o p e r a t o r n a m e {S L}_{n} (R)

generated by the the matrices which differ from the identity by a single off-diagonal coefficient. Given

n g e m u

and

G i n l e f t o p e r a t o r n a m e {S L}_{n} (R), o p e r a t o r n a m e E_{n} (R) i g h t

, we study the action of

G

by matrix right-multiplication on

o p e r a t o r n a m e V_{n} (M)

, the set of elements of

M^{n}

whose components generate

M

. Assuming that

M

is finitely presented and that

R

is an elementary divisor ring or an almost local-global coherent Pr"ufer ring, we obtain a description of

o p e r a t o r n a m e V_{n} (M) / G

which extends the author's earlier result on finitely generated modules over quasi-Euclidean rings.

Recommendations

Cites work

Cited in

(2)

This page was built for publication: Equivalent generating vectors of finitely generated modules over commutative rings