Structural results on lifting, orthogonality and finiteness of idempotents (Q2063007): Difference between revisions

In this paper, the authors prove several results pertaining to ideals which are liftings of idempotents. In particular, \begin{itemize} \item every ideal in the nilradical is a lifting of idempotents, \item if \(I \subseteq J\) and Max\((R/J) \rightarrow \text{Max}(R/I)\) is surjective then \(I\) is a lifting of idempotents if \(J\) is, \item if \(I\) is a lifting of idempotents and \(J\) is regular, then \(I+J\) is a lifting of idempotents, \item every ideal is a lifting of idempotents if and only if \(R\) is a clean ring, \item if \(R\) is complete with respect to the \(I\)-adic topology, then \(I\) is a lifting of idempotents, \item if \(I\) and \(J\) are not coprime, \(I\) is a lifting of idempotents and \(R/J\) has no nontrivial idempotents, then \(I \cap J\) is a lifting of idempotents. \end{itemize} In addition, they also prove \(|R| \leq |\text{Spec}(R)|\) for Boolean rings and discuss instances when equality holds. There are also several nice results regarding primitive and orthogonal idempotents. A short appendix includes a proof of the Chinese Remainder Theorem using their results. The paper includes several concrete examples some which clarify why converses of some of their results do not hold.