Absolute \(E\)-modules (Q626723)

For a ring \(R\) with 1, a right \(R\)-module \(M\) is called an \(E\)-module if all the homomorphisms between the abelian groups \(R_\mathbb Z\) and \(M_\mathbb Z\) are \(R\)-homomorphisms, i.e., \(\Hom_\mathbb Z(R,M)=\Hom_R(R,M)\). \(R\) is an \(E\)-ring when this definition is satisfied for \(M=R\). A property of a structure is called absolute if it is preserved under generic extensions of the given universe (of set theory), and under forcing, in particular. The author continues studies on \(E\)-rings perpetuated by his own work and his collaborators as well as other authors. The results obtained in the paper are under the following assumptions: (I) \(R\) is a commutative ring with a family of at least four distinct primes and any \(R\)-algebra \(A\) is assumed to be \(p\)-reduced, for all those primes \(p\). (II) \(R\) is \(p\)-reduced for an infinite family of primes \(p\). The main theorem is as follows: For every infinite cardinals \(\kappa\leq\lambda\) strictly smaller than \(KE(\omega)\) (the first Kurepa-Erdős cardinal), there is an absolute \(E\)-ring \(R\) (which is a domain) of prescribed cardinality \(|R|=\kappa\). In addition, if \(A\) is any countably generated free \(R\)-algebra that satisfies (I) and (II), then there is an absolute family \(M_U\), \(U\subseteq\lambda\) of \(A\)-rigid \(E\)-modules over \(R\) with \(|M_U|=\lambda\), for all \(U\subseteq\lambda\).