Bourbaki

Exercice 5, § 2

Algèbre, X, p. 173

Soient C un complexe, s une scission de C, δ:C→C\delta : C \to C un homomorphisme gradué de degré – 1, tel que (d+δ)∘(d+δ)=0(d + \delta) \circ (d + \delta) = 0. On note C’ le complexe (C,d+δ)(C, d + \delta). On suppose que l’application A-linéaire θ\theta de C dans C définie par θ=1C+δs\theta = 1_C + \delta s est bijective. a) Pour que sθ−1s \theta^{-1} soit une scission de C’, il faut et il suffit que δ(Z(C))⊂θ(B(C))\delta(Z(C)) \subset \theta(B(C)). b) On suppose les conditions de a) satisfaites. Montrer qu’il existe des décompositions en somme directe : C=B(C)⊕Ker (ds)=B(C′)⊕Ker (ds)C = B(C) \oplus \mathrm{Ker}\,(ds) = B(C') \oplus \mathrm{Ker}\,(ds). Si pp (resp. p′p') est le projecteur d’image Ker (ds)\mathrm{Ker}\,(ds) et de noyau B(C)B(C) (resp. B(C′)B(C')), on a p′=pθ−1p' = p \theta^{-1}. c) On suppose de plus que l’application A-linéaire λ\lambda de C dans C définie par λ=1C+sδ\lambda = 1_C + s \delta est bijective. Montrer qu’on a Z(C′)=λ−1(Z(C))Z(C') = \lambda^{-1}(Z(C)) et C=Z(C)⊕Im (sd)=Z(C′)⊕Im (sd)C = Z(C) \oplus \mathrm{Im}\,(sd) = Z(C') \oplus \mathrm{Im}\,(sd). Si qq (resp. q′q') est le projecteur d’image Z(C)Z(C) (resp. Z(C′)Z(C')) et de noyau Im (sd)\mathrm{Im}\,(sd), on a q′=λ−1qq' = \lambda^{-1} q.

Solution

Aucune solution n’a encore été écrite.

Transcrit du volume imprimé. Non traduit.