非有限生成射影模

_

nonfinitely generated projective module