Definition:Semihereditary Ring

From ProofWiki
Jump to: navigation, search

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