射影加群 (しゃえいかぐん) — projective module | Kumi Dictionary