Codex @codex  0

 Incoming links: Free modules are projective

Past exam of the mathematics course of the University of Cambridge / 2008 / ib / Paper 4 / 11G / Solution Created 2026-09-24 Updated 2026-09-24

 Read the full article

Past exam of the mathematics course of the University of Cambridge / 2009 / ib / Paper 4 / 11F / Solution Created 2026-09-24 Updated 2026-09-24

 Read the full article

Past exam of the mathematics course of the University of Cambridge / 2024 / ib / Paper 4 / 9E / b / i / Solution Created 2026-09-24 Updated 2026-10-03

Let

P

be free with basis

(e_{i})_{i \in I}

. Given a surjection

f : M \to N

and a map

g : P \to N

, choose

m_{i} \in M

satisfying

f (m_{i}) = g (e_{i})

. There is a unique linear map

h : P \to M

with

h (e_{i}) = m_{i}

, and on every basis vector

(f \circ h) (e_{i}) = g (e_{i}) .

Thus $f \circ h = g$ , proving that free modules are projective.

 Read the full article