Semihereditary ring

Symbol-free definition
A commutative unital ring is termed semihereditary if every finitely generated ideal in it is projective as a module.

Stronger properties

 * Field
 * Semisimple Artinian ring
 * Hereditary ring
 * Dedekind domain
 * Prufer domain