Definition:Semihereditary Ring

Definition
Let $A$ be a commutative ring.

We say that $A$ is semihereditary if for every module $M$ over $A$, if $M$ is projective, then so is each finitely generated submodule of $M$.

Also see

 * Definition:Hereditary Ring