On the simultaneous basis property in Prüfer domains (Q1307430)

A pair \((F,G)\) of \(n\times n\) and \(n\times m\) matrices over the commutative ring \(R\) is called a system over \(R\). A system \((F,G)\) over \(R\) is said to be reachable if the \(R\)-module generated by the columns of the matrix \([G, FG,\ldots,F^{n-1}G]\) is \(R^n\). A system \((F,G)\) over \(R\) is called pole assignable if for any \(r_1,r_2,\ldots, r_n\in R\) there exists a matrix \(K\) over \(R\) such that the characteristic polynomial of the matrix \(F+GK\) is \((z-r_1)(z-r_2)\cdots(z-r_n)\). The ring \(R\) is said to have the PA-property if each reachable system over \(R\) is pole assignable. The content of a matrix \(G\) over \(R\) is the ideal of \(R\) generated by the entries of \(G\). \(G\) is called a matrix with unit content if its content is \(R\). The commutative ring \(R\) is said to have the UCS-property if for each \(n\times m\) matrix with unit content there exists a matrix \(V\) such that \(GV\) is a vector with unit content and all \(2\times 2\) minors of \(GV\) are zero. A Dedekind domain \(D\) is said to have the simultaneous basis property (SB-property) if for any two finitely generated torsion-free modules \(N\subseteq M\) over \( D\) there exist fractional ideals \(J_1,\ldots,J_m\), integral ideals \(A_1\supseteq \ldots\supseteq A_n\) and elements \(x_1,\ldots,x_m\in M\) with \(M=\sum_{i=1}^m J_i x_i\), \(N=\sum_{k=1}^nA_kJ_kx_k\) (direct sums) and \(n\leq m\). This property can be generalized to Prüfer domains [see e.g. \textit{J. Brewer, D. Katz} and \textit{W. Ullery} [J. Algebra 106, 265-286 (1987; Zbl 0611.13016)]. The main results of the paper are the following: (1) If \(D\) is a Prüfer domain such that any proper invertible integral ideal of \(D\) is contained in a nonemtpy finite set of finitely generated maximal ideals then \(D\) has the SB-property; (2) In any commutative ring the UCS-property implies the PA-property. These results are used to answer two problems partially: Does every Prüfer domain have the PA-property? Is every Bézout domain an elementary divisor domain?