Abstract:We discuss elements of a social history of the theory of projective modules over commutative rings. We attempt to study the question: how did the theory of projective modules become one of "mainstream" focus in mathematics? To do this, we begin in what one might call the pre-history of projective modules, describing the mathematical culture into which the notion of projective module was released. These recollections involve four pieces: (a) analyzing aspects of the theory of fiber bundles, as it impinges on algebraic geometry, (b) understanding the rise of homological techniques in algebraic topology, (c) describing the influence of category-theoretic ideas in topology and algebra and (d) revisiting the story of the percolation of sheaf-theoretic ideas through algebraic geometry. We will then argue that it was this unique confluence of mathematical events that allowed projective modules to emerge as objects of central mathematical importance. More precisely, we will first argue that, in the context of social currents of the time, projective modules initially were isolated as objects of purely technical convenience reflecting the aesthetic sensibilities of the creators of the fledgling theory of homological algebra. Only later did they transcend this limited role to become objects of "mainstream importance" due to influence from the theory of algebraic fiber bundles and the theory of sheaves. Along the way, we aim to show how strong personal ties emanating from the Bourbaki movement and its connections in mathematical centers including Paris, Princeton and Chicago were essential to the entrance, propagation and mainstream mathematical acceptance of the theory.

Theory of constructive semigroups with apartness -- foundations, development and practice

Constructive semigroups with apartness -- a state of the art

Geometric theories for real number algebra without sign test or dependent choice axiom

On topology-related properties of abstract argumentation semantics. A correction and extension to Dynamics of argumentation systems: A division-based method.

Constructing projective modules

Constructive Projective Geometry

A minimalist two-level foundation for constructive mathematics

Commutative algebra: Constructive methods. Finite projective modules

Constructive Algebraic Topology

Algèbre commutative Méthodes constructives

Univalent Foundations of Constructive Algebraic Geometry

Relation algebras and function semigroups

A Finite, Feasible, Quantifier-free Foundation for Constructive Geometry

Hidden constructions in abstract algebra, Krull Dimension, Going Up, Going Down

An Analysis of Tennenbaum's Theorem in Constructive Type Theory

Semitopology: distributed collaborative action via topology, algebra, and logic

A generalized theory of ideals and algebraic substructures

Pointfree topology and constructive mathematics

A categorical approach to operator semigroups

Algebra in Bishop's style: some major features of the book "A Course in Constructive Algebra'' by Mines, Richman, and Ruitenburg

Semialgebraic groups and generalized affine buildings