# Definition:Semihereditary Ring

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$.