אנגלית ⇄ סינית +

finitely generated projective modules
.טֶכנו	有限生成射影模