finitely generated semisimple projective module

• 有限生成半单投射模