Absolute \(E\)-rings (Q610672): Difference between revisions

A ring \(R\) with 1 is called an \(E\)-ring if \(\text{End}_{\mathbb Z}R\) is ring isomorphic to \(R\) under the canonical homomorphism, it is an absolute \(E\)-ring if it remains an \(E\)-ring in every generic extension of the universe. The following are the main results: 1. If \(\lambda\) is an infinite cardinal smaller than the first \(\omega\)-Erdős cardinal, then \(R\) is an absolute \(E\)-ring of cardinality \(\lambda\). Moreover \(\mathbb Z[X]\subseteq R\subseteq\mathbb Q[X]\) with \(X\) a family of \(\lambda\) commuting free variables. 2. All purified principal ideals of \(R\) are fully invariant under the action of \(\text{End}_{\mathbb Z}R\).