##  [Failure of Projectivity](/failure-projectivity-0) 

 Definition

The property that an object is not projective: it does not satisfy the universal lifting/splitting property and therefore fails to split some extensions or to admit certain homotopy‑lifting maps.

 

 

 

 

 

 





## Principle

Principle

Projective objects permit lifts against epimorphisms and split exact sequences; failure of projectivity means that there exist surjections and diagrams for which no lift exists, often detected by nonzero Ext^1 with appropriate coefficients.

 

 

 

 

 





## Demonstration

Demonstration

As a concrete example, Z/pZ is not a projective Z‑module, so there exist surjections of Z‑modules for which no section into Z/pZ exists. More structurally, a module that is not a direct summand of a free module exhibits failure of projectivity.

 

 

 

 

## Misapplication

Misapplication

Assuming 'nonprojective' implies pathological behavior in every context or conflating nonprojectivity with lack of any lifting in all diagrams ignores nuance: some lifting problems may still have solutions for special epimorphisms or after base change.

 

 

 

 

 





## Consequence

Consequence

Recognizing failure of projectivity forces use of projective resolutions, derived functors, or alternative techniques (flat covers, injective dualizations) to analyze extension and lifting problems; it signals where naive algebraic constructions need homological repair.

 

 

 

 

## Reversal

Reversal

Projectivity (or being a direct summand of a projective) guarantees lifts and splits that remove the failure: every extension by a projective summand splits and Ext^1 with a projective argument vanishes.

 

 

 

 

 





## Boundary

Boundary

This notion is meaningful in categories with a concept of projective object (abelian categories, module categories); it does not translate verbatim to nonabelian contexts where lifting is encoded differently. It excludes issues that are solely about flatness or injectivity.

 

 

 

 

 





## Semantic Tension

Semantic Tension

There is tension between projectivity and flatness: flat modules preserve exactness of tensor but need not split extensions, while projective modules split extensions but may be rare in geometric contexts; conflating them blurs different failure modes.

 

 

 

 

 





## Synthesis

Synthesis

Failure of Projectivity is the recognition that an object lacks the split/lifting property, a homological shortcoming detected by Ext and resolved by passing to resolutions or alternative homological tools; it precisely characterizes where simple algebraic constructions break down.