Property: (right/left) coherent
Definition: (right coherent) Every finitely generated right ideal is finitely presented
Reference(s):
- S. Glaz. Commutative coherent rings. (2006) @ (whole book)
- S. Glaz. Commutative coherent rings: historical perspective and current developments. (1992) @ (whole article)
- T. Lam. Lectures on modules and rings. (2012) @ Section 4G
Metaproperties:
This property has the following metaproperties
- Morita invariant
- passes to matrix rings
- passes to $eRe$ for any full idempotent $e$
- passes to localizations
- stable under finite products
This property
does not have the following metaproperties
- passes to polynomial rings
(Counterexample: $R_{ 104 }$)
- passes to quotient rings
(counterexample needed)