Tensor powers of modules over finitely generated abelian groups

Valuations and their generalizations for commutative rings (13A18) Vector and tensor algebra, theory of invariants (15A72) Exterior algebra, Grassmann algebras (15A75) Group rings of infinite groups and their modules (group-theoretic aspects) (20C07) Homological methods in group theory (20J05) Abelian groups (20K99)

Review text

Let R be a commutative Noetherian ring with unity, G a finitely generated abelian group, and M a finitely generated RG-module. In this paper the authors provide a necessary and sufficient condition for a tensor power \(\otimes^ k_ RM\) to be a finitely generated RG-module under the diagonal action of G. The paper uses a generalization of an invariant that was introduced earlier by \textit{R. Bieri} and \textit{R. Strebel} [Proc. Lond. Math. Soc., III. Ser. 41, 439-464 (1980; Zbl 0448.20029)]. For any commutative ring S, denote by V(S) the set of all real valuations of S (in the sense of Bourbaki). Let \(\kappa\) : RG\(\to A=RG/Ann_{RG}M\) be the natural projection. For \(\nu\in V(R)\), define \(\Delta_ M^{\nu}(G)=\{\omega \circ \kappa |\) \(G\in Hom(G,{\mathbb{R}}):\omega\in V(A)\) and \(\omega \circ \kappa | R=\nu \}\). A subset \(\Delta\subseteq Hom(G,{\mathbb{R}})\) is said to be k-tame if, for \(\chi_ 1,...,\chi_ k\in \Delta\), \(\chi_ 1+...+\chi_ k=0\) implies \(\chi_ 1=...=\chi_ k=0\). Theorem: \(\otimes^ k_ RM\) is finitely generated if and only if \(\Delta_ M^{\nu}(G)\) is k-tame for all discrete, nonnegative \(\nu\in V(R)\).

Recommendations

Cites work

Cited in

(10)

This page was built for publication: Tensor powers of modules over finitely generated abelian groups

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