Topologically semiperfect topological rings (Q6151715)

The authors deal with topological rings \(R\), which are assumed to be associative, unital, right linear (\(R\) has a base of neighbourhoods of zero consisting of open right ideals of \(R\)), complete (the natural completion map from \(R\) to its completion, i.e., to the projective limit of the collection \(\{R/U: U\) is an open subgroup of \(R\}\), is surjective) and separated (the same natural completion map is injective). Let us list some of the many results of the paper. Let \(R\) be a topological ring with a countable base of open neighbourhoods of zero. Then 1) \(R\) is topologically semiperfect (i.e., \(R\), viewed as a topological right \(R\)-module, decomposes as a direct product of topological \(R\)-modules with local endomorphism rings) if and only if every finitely generated discrete right \(R\)-module has a projective cover in the category of right \(R\)-modules; 2) every projective contramodule decomposes as a coproduct of projective covers of simple contramodules.\par Let \(R\) be a topologically semiperfect topological ring, \(\mathcal H\) its topological Jacobson radical (i.e., the intersecton of all open maximal right ideals of \(R\)) and \({\mathcal G}=R/{\mathcal H}\) the related topological quotient ring. Then any finite orhtogonal family of primitive idempotents in \(\mathcal G\) can be lifted module \(\mathcal H\) to a finite orthogonal family of local idempotents in \(R\).