Open main menu

Commalg β

Projective module

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

Contents

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