Property: (right/left) hereditary
Definition: (right hereditary) All right ideals are projective
Reference(s):
- T. Lam. Lectures on modules and rings. (2012) @ Sections 2E, 2G, 4H, 7E
Metaproperties:
This property has the following metaproperties
- Morita invariant
- passes to matrix rings
- passes to eRe for any full idempotent e
This property
does not have the following metaproperties
- passes to quotient rings
(Counterexample: R49 is a homomorphic image of R27)
- passes to subrings
(Counterexample: R6 is a subring of R101)