射影加群

しゃえいかぐん