Homogeneous maps and divisorial ideals (Q1270048)

By \(R\) is denoted an associative ring with identity and all modules are unital. Given an \(R\)-module \(V\), an \(R\)-homogeneous map \(f:V\to V\) is a function that is linear on all cyclic submodules of \(V\). For each positive integer \(n\), by \(PF_n\) are denoted the integral domains with the property that for each homogeneous map \(f:R^n\to R^n\) and for each cyclic submodule \(C\subseteq R^n\), there exists a linear map \(\sigma:R^n\to R^n\) such that \(f|_C=\sigma|_C\). Let \(R\) be a commutative integral domain with field of fractions \(Q\), let \(J\) be a nonzero fractional ideal and denote \(J^{-1}=\{q\in Q|qJ\subseteq R\}\). Then \(J\) is said to be divisorial if \((J^{-1})^{-1}=J\). The author gives a general technique to construct homogeneous maps and shows that \(R\in PF_n\) if and only if all nonzero ideals generated by \(n\) elements are divisorial. Also it is considered the case when \(R^n\) is replaced by a finitely generated torsionfree module. Finally, the author proves that \(PF_2=PF_n\) for all \(n\in\{2,3,4,\dots\}\), if \(R\) is a Cohen-Macaulay domain.