On 2-absorbing multiplication modules over pullback rings (Q2304153)

In this article, all rings are commutative with identity and all modules are unitary. The author classifies indecomposable 2-absorbing multiplication modules with finite-dimensional top over pullbacks of two Dedekind domains. The notation and the setting are those of [\textit{L. S. Levy}, J. Algebra 71, 50--61 (1981; Zbl 0508.16008)]. Let $\overline{R}$ be a field and $v_i\colon R_i\to \overline{R}$ $(i=1,2)$ be two onto homomorphisms of two local Dedekind domains $R_i$. Let $R = \{\,(r_1, r_2) \in R_1 \oplus R_2 \mid v_1(r_1) = v_2(r_2)\,\}$ be the pullback, so that $R$ is a ring which is not a domain. The ideal $P=P_1\times P_2$ is a maximal ideal of $R$. An $R$-module $S$ is said to be a separated module if there exist $R_i$-modules $S_i$ such that $S$ is an $R$-submodule of the $R_1\times R_2$-module $S_1 \oplus S_2$. Equivalently, $S$ is separated if it is a pullback of $S/P_iS\to S/PS$ $(i=1,2)$ for two $R_i$-modules, so $S \subseteq (S/P_1S) \oplus (S/P_2S)$. Also, $S$ is separated if and only if $P_1S \cap P_2S = 0$. An $R$-module $M$ is called 2-absorbing if, for $a, b \in R$ and $m \in M$, $abm \in N$ implies that $abM=0$ or $am=0$ or $bm=0$. The author extends to the class of 2-absorbing multiplication modules results given in [\textit{S. E. Atani} and \textit{F. Farzalipour}, Colloq. Math. 114, No. 1, 99--112 (2009; Zbl 1157.13007)]. A classification is given, firstly describing all indecomposable separated 2-absorbing multiplication $R$-modules and then, using the list of separated 2-absorbing multiplication modules, showing that non-separated indecomposable 2-absorbing multiplication $R$-modules with finite-dimensional top are factor modules of finite direct sums of separated indecomposable 2-absorbing multiplication $R$-modules.