Special properties of differential inverse power series rings
Abstract
In this paper, we continue to study the differential inverse power series ring R[[x−1;δ]], where R is a ring equipped with a derivation δ. We characterize when R[[x−1;δ]] is a local, semilocal, semiperfect, semiregular, left quasi-duo, (uniquely) clean, exchange, right stable range one, abelian, projective-free, I-ring, respectively. Furthermore, we prove that R[[x−1;δ]] is a domain satisfying the ACC on principal left ideals if and only if so does R. Also, for a piecewise prime ring (PWP) R we determine a large class of the differential inverse power series ring R[[x−1;δ]] which have a generalized triangular matrix representation for which the diagonal rings are prime. In particular, it is proved that, under suitable conditions, if R has a (flat) projective socle, then so does R[[x−1;δ]]. Our results extend and unify many existing results.
Communicated by André Leroy
- Differential inverse power series ring
- local
- semilocal
- semiperfect I-ring
- clean
- quasi-duo
- projective-free ring
- ascending chain conditions for principal one-sided ideals
- semicentral idempotent
- generalized triangular matrix representation
- piecewise prime ring
- (principally) quasi-Baer ring
- triangulating dimension
- (flat) projective socle ring