Classifying \(E\)-algebras over Dedekind domains. (Q858729): Difference between revisions

A ring \(R\) is an `\(E\)-ring' if \(R\) is isomorphic to the endomorphism ring of its underlying additive group via the map that sends an element \(r\in R\) to left multiplication by \(r\). Since right multiplication also provides endomorphisms, it is easy to see that \(E\)-rings must be commutative. The ring \(R\) is called a `generalized \(E\)-ring' if some isomorphism, not necessarily left multiplication, exists between \(R\) and its endomorphism ring. Recently, there have been several constructions of noncommutative generalized \(E\)-rings. Thus, the class of generalized \(E\)-rings properly contains the \(E\)-rings. This paper investigates generalized \(E\)-rings that are not cotorsion-free -- rings that contain a copy of the \(p\)-adic integers for some prime \(p\). The authors work in the more general setting of algebras over Dedekind domains. Let \(R\) be a Dedekind domain. An algebra \(A\) over \(R\) is called a `generalized \(E(R)\)-algebra' if \(A\) is isomorphic as an algebra to its own endomorphism algebra. In the sequel, the ring \(R\) is fixed and \(E(R)\)-algebra is abbreviated as \(E\)-algebra. For an algebra \(A\), let \(\mathbb{P}'\) denote the set of primes \(P\) of \(R\) for which \(A\) contains a submodule isomorphic to \(J_P\), the algebra of \(P\)-adic integers. The set \(\mathbb{P}'\) is called the set of relevant primes. The following results describe generalized \(E\)-algebras (that are not cotorsion-free) ``modulo cotorsion-free submodules''. Theorem 2.6. If \(A\) is a generalized \(E\)-algebra, then for each relevant prime \(P\) in \(\mathbb{P}'\), \(A\) has the form \(A=A_P\oplus X_P\), where \(A_P=J_P\) and the complement \(X_P\), which is \(P\)-cotorsion-free, is unique. Moreover, \(X_P\) is itself a generalized \(E\)-algebra. Corollary 2.7. If \(A\) is a generalized \(E\)-algebra with a finite set \(\mathbb{P}'\) of relevant primes, then \(A\) is an extension of a cotorsion-free ideal \(C\), which is itself an \(E\)-algebra, by the algebra \(\prod_{P\in\mathbb{P}'}J_P\). Theorem 2.10. If \(A\) is a reduced, torsion-free generalized \(E\)-algebra, then \(A\) is an extension of a cotorsion-free ideal \(X\) by a subalgebra \(C\) of \(\prod_{P\in\mathbb{P}'}J_P\) such that \(C\) contains an isomorphic copy of \(\bigoplus_{P\in\mathbb{P}'}J_P\). Moreover, 1. \(X\) is the intersection of a family of generalized \(E\)-algebras. 2. \(C\) contains the identity of \(\prod_{P\in\mathbb{P}'}J_P\) and is hence an \(E\)-algebra. The final result provides a partial converse for Theorem 2.10. The construction shows the existence of many non-splitting \(E\)-algebras. Theorem 2.13. Let \(R\) be a Dedekind domain with prime spectrum \(S\) and let \(\mathbb{P}'\) be an infinite proper subset of \(S\). Suppose \(P_0\in S\setminus\mathbb{P}'\) and \(\lambda\) is a cardinal with \(\lambda^{\aleph_0}=\lambda\). Then, provided that \(R_{P_0}\) is not a complete discrete valuation domain, there exists a generalized \(E\)-algebra \(A\) of cardinality \(\lambda\) such that \(A\) is an extension of a cotorsion-free ideal by a subalgebra \(B\), with \(\bigoplus_{P\in\mathbb{P}'}J_P\leq B\leq\prod_{P\in\mathbb{P}'}J_P\). In this situation, \(A\) does not split.