Bourbaki

Exercise 13, § 7

Algebra, II, 403

Let E, F, G be three vector spaces and u:E→F,v:F→Gu : E \to F, v : F \to G two linear mappings. (a) Show that there exists a decomposition of E as a direct sum of Ker(u)\mathrm{Ker}(u) and two subspaces M, N such that Ker(v∘u)=M⊕Ker(u)\mathrm{Ker}(v \circ u) = M \oplus \mathrm{Ker}(u) and

Im(v∘u)=v(u(N)). \mathrm{Im}(v \circ u) = v(u(N)).
(b) dim⁡(Ker(u))≤dim⁡(Ker(v∘u))≤dim⁡(Ker(u))+dim⁡(Ker(v));\dim(\mathrm{Ker}(u)) \leq \dim(\mathrm{Ker}(v \circ u)) \leq \dim(\mathrm{Ker}(u)) + \dim(\mathrm{Ker}(v)); if Ker(u)\mathrm{Ker}(u) and Ker(v)\mathrm{Ker}(v) are finite-dimensional, show that dim⁡(Ker(v∘u))\dim(\mathrm{Ker}(v \circ u)) can take every integer value satisfying the above inequalities. (c) The following equalities hold:
rg(u)=rg(v∘u)+dim⁡(Im(u)∩Ker(v))rg(v)=rg(v∘u)+codim⁡F(Im(u)+Ker(v)). \begin{align*} \mathrm{rg}(u) &= \mathrm{rg}(v \circ u) + \dim(\mathrm{Im}(u) \cap \mathrm{Ker}(v)) \\ \mathrm{rg}(v) &= \mathrm{rg}(v \circ u) + \operatorname{codim}_F(\mathrm{Im}(u) + \mathrm{Ker}(v)). \end{align*}
If F is finite-dimensional, show that rg(v∘u)\mathrm{rg}(v \circ u) can take any integer value satisfying the inequality
sup⁡(0,rg(u)+rg(v)−n)≤rg(v∘u)≤inf⁡(rg(u),rg(v)). \sup(0, \mathrm{rg}(u) + \mathrm{rg}(v) - n) \leq \mathrm{rg}(v \circ u) \leq \inf(\mathrm{rg}(u), \mathrm{rg}(v)).

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.