Projective module

From Commalg
Jump to: navigation, search

This article defines a property of a module over a commutative unital ring

Definition

Symbol-free definition

A module over a commutative unital ring is said to be projective if it satisfies the following equivalent conditions:

Relation with other properties

Stronger properties

Weaker properties

Related properties