射影被覆
P をゼロでない射影加群とする。 射影加群 P がある既約加群の射影被覆である必要十分条件は、 P のゼロでないすべての商加群が直既約であることである。