English Dictionary

Every projective module over a ring is a direct summand of some free module, which simplifies many homological arguments.

環上の任意の射影加群はある自由加群の直和因子であり、多くのホモロジー論における議論を単純化する。