Special properties of differential inverse power series rings

Abstract

In this paper, we continue to study the differential inverse power series ring [Formula: see text], where [Formula: see text] is a ring equipped with a derivation [Formula: see text]. We characterize when [Formula: see text] is a local, semilocal, semiperfect, semiregular, left quasi-duo, (uniquely) clean, exchange, right stable range one, abelian, projective-free, [Formula: see text]-ring, respectively. Furthermore, we prove that [Formula: see text] is a domain satisfying the [Formula: see text] on principal left ideals if and only if so does [Formula: see text]. Also, for a piecewise prime ring (PWP) [Formula: see text] we determine a large class of the differential inverse power series ring [Formula: see text] which have a generalized triangular matrix representation for which the diagonal rings are prime. In particular, it is proved that, under suitable conditions, if [Formula: see text] has a (flat) projective socle, then so does [Formula: see text]. Our results extend and unify many existing results.