A Krull-Schmidt theorem for infinite products of modules. (Q402679)

Let \(R\) be a slender commutative principal ideal domain, \(A\) an algebra over \(R\), and \((M_i)_{i\in I}\) and \((N_k)_{k\in K}\) two non-measurable families of indecomposable \(A\)-modules which are finitely generated as \(R\)-modules. Assume that: (i) there are at most countably many mutually isomorphic modules in each of the two families; (ii) the modules \(M_i\) are strongly indecomposable, i.e. the rings \(\text{End}_A(M_i)\) are local; (iii) there is an isomorphism \(\prod_{i\in I}M_i\cong\prod_{k\in K}N_k\). The main result of the paper shows that there exists a bijection \(\varphi\colon I\to K\) such that \(M_i\cong N_{\varphi(i)}\) as \(A\)-modules.