Properties of a certain product of submodules (Q765419)

Let \(R\) be a commutative ring with identity and \(M\) an \(R\)-module. Let \(R(M)\) denote Nagata's idealization of \(M\). For any submodules \(K_1,\ldots ,K_n\) of \(M\), the authors defined a \(R(M)\)-module structure on the set \[ K_1K_2\ldots K_n:=\{(1,k_1,k_2,\ldots, k_n)|k_i\in K_i \;\;\text{for all} \;\;1\leq i\leq n\} \] and call it product of \(K_i\)'s. They especially investigated the \(R(M)\)-module \(M^n:=M\ldots M\). They proved that \(M\) is projective (resp. flat) if and only if the \(R(M)\)-module \(M^n\) is projective (resp. flat). Also, they showed that if \(M\) is secondary representable, then the \(R(M)\)-module \(M^n\) is secondary representable too.