**To which extent all infinite commutative unital rings $R$
with the following property have been classified?<p>
Every $R$-module cannot be equal to a union of finite number of its proper submodules.**

I will classify these rings without assuming commutativity. I claim 

**Thm.**
The following are equivalent for a ring $R$.

1. There is an infinite $R$-module $M$  that is the union of finitely many proper submodules.

2. $R$ has a proper ideal of finite index.

3. $R$ has a nontrivial finite quotient.<p>

It is easy to see that Items 2 and 3 are equivalent, 
so I will only discuss their relationship to Item 1.<p>


[3 implies 1]
Suppose that $S=R/I$ is a finite nontrivial quotient of $R$.
By restriction of scalars, $S\oplus S$ is a (non-cylic) left $R$-module,
so $S\oplus S = M_1+\cdots + M_n$ for some finite $n$ and for proper (cyclic) submodules $M_i\leq S\oplus S$. Now the infinite module $(S\oplus S)\oplus S^{\omega}$ can be written as the finite sum  $\sum_{i=1}^n(M_i\oplus S^{\omega})$ of proper submodules. \\\\\\ 

[1 implies 2]
Suppose that $R$ has an infinite module $M$ that is a finite union of proper submodules, $M=\sum_{i=1}^n M_i$. I now employ an old and famous result of B. H. Neumann which asserts that if a group $G$ is a union of finitely many cosets of subgroups, say $G = \cup_{i=1}^n a_iH_i$, then one can discard all cosets of subgroups of infinite index and the remaining union still covers $G$. In particular, since modules have underlying group structure, the representation $M=\sum_{i=1}^n M_i$ forces some $M_i$ to have finite group-index in $M$. That is, $M/M_i$ is a finite nontrivial $R$-module. Now the annihilator of $M/M_i$ is a proper ideal of $R$ that has finite index. \\\\\\



[Neumann, B. H. Groups covered by permutable subsets. J. London Math. Soc. 29, (1954). 236–248.][1]




 


  [1]: https://londmathsoc.onlinelibrary.wiley.com/doi/abs/10.1112/jlms/s1-29.2.236