for any reduced commutative $f$-ring with identity and bounded inversion, we show that a condition which is obviously necessary for the socle of the ring to coincide with the socle of its bounded part, is actually also sufficient. the condition is that every minimal ideal of the ring consist entirely of bounded elements. it is not too stringent, and is satisfied, for instance, by rings of conti...

For any reduced commutative $f$-ring with identity and bounded inversion, we show that a condition which is obviously necessary for the socle of the ring to coincide with the socle of its bounded part, is actually also sufficient. The condition is that every minimal ideal of the ring consist entirely of bounded elements. It is not too stringent, and is satisfied, for instance, by rings of ...

A frame $L$ is called {it coz-dense} if $Sigma_{coz(alpha)}=emptyset$ implies $alpha=mathbf 0$. Let $mathcal RL$ be the ring of real-valued continuous functions on a coz-dense and completely regular frame $L$. We present a description of the socle of the ring $mathcal RL$ based on minimal ideals of $mathcal RL$ and zero sets in pointfree topology. We show that socle of $mathcal RL$ is an essent...

Finite Frobenius rings have been characterized as precisely those finite rings satisfying the MacWilliams extension property, by work of Wood. In the present note we offer a generalization of this remarkable result to the realm of Artinian rings. Namely, we prove that a left Artinian ring has the left MacWilliams property if and only if it is left pseudo-injective and its finitary left socle em...

We discuss analogs of Faber’s conjecture for two nested sequences of partial compactifications of the moduli space of smooth curves. We show that their tautological rings are one-dimensional in top degree but do not satisfy Poincaré duality. The structure of the tautological ring of the moduli space of stable curves is predicted by the Faber conjecture, which states that R(Mg,n) is Gorenstein w...