A characterization of Prüfer \(v\)-multiplication domains in terms of linear equations (Q2199719): Difference between revisions

From the abstract:``We characterize Prüfer v-multiplication domains as integral domains which have the property that the existence of a generalized solution of any system of linear equations is equivalent to a weak equality of the determinantal ideals of the coefficient matrix and the augmented matrix of the system. In fact, we obtain a more general result for commutative rings of weak global \(\tau\)-dimension (in the sense of \textit{J. L. Bueso} et al. [Commun. Algebra 15, 1503--1518 (1987; Zbl 0618.16022)]) at most one, where \(\tau\) is a half-centered hereditary torsion theory''. The main results of this paper are the following: Theorem C. Let \(\tau\) be a half-centered hereditary torsion theory on \(R-mod\). Then the following statements are equivalent for \(R\). \((1)\) \(wgldim(R, \tau ) \leq 1\). \((2)\) A system (S): \(Ax = b\) of linear equations over \(R\) has a solution relative to \(\tau\) in \(R\) if and only if \(D_{i}(A)_{p}=D_{i}(A | b)_{p}\) for all \(p\in K (\tau)\) and for all \(i\). Theorem D. The following statements are equivalent for an integral domain \(R\). \((1)\) \(R\) is a \(PvMD\). \((2)\) A system (S): \(Ax = b\) of linear equations over \(R\) has a solution relative to \(w\) in \(R\) if and only if \(D_{i}(A)_{w} = D_{i}(A | b)_{w}\) for all \(i\).