A module P over a ring R is projective if it is a direct summand of a free module; equivalently P has the lifting property that every surjection M → N and map P → N lifts to a map P → M. Projectivity is a homological condition equivalent to Ext1_R(P,−) = 0.

Principle

Projective modules split surjections: maps from projectives factor through surjective maps, reflecting a freeness-like capacity to lift relations and make exact sequences split when P sits as a summand.

Demonstration

Z is projective as a Z-module (in fact free of rank 1). Over a local ring, every finitely generated projective module is free, so projectivity there reduces to a classical basis condition; by contrast Z/2Z is not projective as a Z-module.

Misapplication

Assuming every projective module is free without ring hypotheses; over nonlocal, nonprincipal rings there exist projective modules that are not free. Also equating projective with injective confuses dual homological roles.

Consequence

Projective modules simplify homological algebra: they admit projective resolutions of length zero in their position, kill Ext^1 and allow splitting of short exact sequences in which they appear as a summand, easing classification and lifting problems.

Reversal

Nonprojective modules cannot always lift maps through surjections and may produce nontrivial extensions measured by Ext groups; problems requiring splitting or lifting become obstructed and require longer resolutions.

Boundary

Projectivity is strictly stronger than flatness in general and unrelated to finite generation unless specified; many finiteness or geometric statements require additionally finitely generated or finitely presented projectivity.

Semantic Tension

Tension between 'projective' as an abstract homological condition and concrete 'free' intuition: over some rings the notions coincide, while over others interesting nonfree projectives exist that carry subtle arithmetic or geometric information.

Synthesis

Projectivity means being a direct summand of a free module, equivalently possessing the lifting property for surjections; it furnishes modules that split exact sequences and make homological obstructions vanish at first order.