Direct products of modules whose endomorphism rings have at most two maximal ideals (Q2344288)

Let \(R\) be an associative ring with identity, Mod-\(R\) the category of all right \(R\)-modules, \(\mathfrak{C}\) a full subcategory of Mod-\(R\), with class of objects consisting of indecomposable right \(R\)-modules and \(\mathcal{P}\) a completely prime ideal of \(\mathfrak{C}\). Two objects \(A\) and \(B\) of \(\mathfrak{C}\) are said to belong to the same \(\mathcal{P}\) class (written \([A]_{\mathcal{P}}=[B]_{\mathcal{P}}\)) if there exist morphisms \(f:A \rightarrow B\) and \(g:B \rightarrow A\) such that \(f \notin \mathcal{P}(A,B)\) and \(g \notin \mathcal{P}(B,A)\). The full subcategory \(\mathfrak{C}\) of Mod-\(R\) is said to satisfy the condition (DSP) (direct summand property) if \(A \oplus B \cong C \oplus D\), where \(a, B, C \in \mathit{Ob}(\mathfrak{C})\), implies that \(D \in \mathit{Ob}(\mathfrak{C})\). The above concepts were introduced in [the second author and \textit{P. Příhoda}, Algebr. Represent. Theory 14, No. 3, 545--570 (2011; Zbl 1259.16004)] and used to prove the weak Krull-Schmidt theorem, which states that under certain restrictions on two completely prime ideals \(\mathcal{P}\) and \(\mathcal{Q}\) of \(\mathfrak{C}\), \(U_{1} \oplus \ldots \oplus U_{n} \cong V_{1} \oplus \ldots \oplus V_{m}\) (for \(U_{i}, V_{j}\) objects in \(\mathfrak{C}\)) if and only if \(n=m\) and there exist two permutations \(\alpha\) and \(\beta\) of \(\{1, \ldots , n\} \) such that \([U_{i}]_{\mathcal{P}}=[V_{\alpha(i)}]_{\mathcal{P}}\), and \([U_{i}]_{\mathcal{Q}}=[V_{\beta(i)}]_{\mathcal{Q}}\) for every \(i=1, \ldots , n\). The paper under review now shows that under similar conditions on the completely prime ideals \(\mathcal{P}\) and \(\mathcal{Q}\) and on the class \(\mathfrak{C}\), with the additional requirement that \(\mathfrak{C}\) has DSP, a sufficient condition for the isomorphism of direct product of two families \(\{U_{i} ~ | ~i \in I\}\) and \(\{V_{j} ~ | ~j \in J\}\) of objects in \(\mathfrak{C}\) may be obtained. This forms the main theorem of the paper. The converse, however, is shown not to be true, except under certain conditions in the case of slender modules. The main result is applied to obtain results on biuniform modules, uniserial and quasi-small modules, cyclically presented modules and kernels of morphisms between indecomposable injective modules.