Bourbaki

Exercise 4, § 2

Algebra, II, p. 183

Bourbaki marks this one as harder than the rest.

a) Let E, E’ be two A-modules, N a submodule of E, N’ a submodule of E’, such that E is projective, and that E/N and E’/N’ are isomorphic. Now prove that there exists an exact sequence

0⟶N→uE⊕N′→vE′⟶0. 0 \longrightarrow N \xrightarrow{u} E \oplus N' \xrightarrow{v} E' \longrightarrow 0.

(Observe that there exists a homomorphism f:E→E′f : E \to E' such that f(N)⊂N′f(N) \subset N', which gives by passing to the quotients an isomorphism E/N→E′/N′E/N \to E'/N'; define u and v in a manner analogous to that used for the exact sequence (29) of II, p. 17.) b) Deduce from a) that if E’ is projective, E⊕N′E \oplus N' and E′⊕NE' \oplus N are isomorphic. c) Let 0→Em→Em−1→⋯→E1→E0→00 \to E_m \to E_{m-1} \to \cdots \to E_1 \to E_0 \to 0 be an exact sequence of A-modules, such that E0,E1,…,Em−2E_0, E_1, \ldots, E_{m-2} are projective. Now prove that the A-modules ⨁h≥0Em−2h\bigoplus_{h \geq 0} E_{m-2h} and ⨁h≥0Em−2h+1\bigoplus_{h \geq 0} E_{m-2h+1} are isomorphic (with the convention that Ei={0}E_i = \{0\} for i<0i < 0).

Solution

No solution has been written yet.

Machine translation of the English, by gpt-5-6-mini. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.