Bourbaki

Exercise 9, § 5

Commutative Algebra, II

Bourbaki marks this one as harder than the rest.

a) Let A be a ring, (fi)i∈I(f_i)_{i \in I} a finite family of elements of A generating the ideal A, M an A-module. Suppose that in each of the AfiA_{f_i}-modules MfiM_{f_i} an element ziz_i is given, such that, for i≠ji \neq j, the canonical images of ziz_i and zjz_j in MfifjM_{f_i f_j} are equal. Now prove that there exists one and only one z∈Mz \in M such that, for every ii, the canonical image of z in MfiM_{f_i} is equal to ziz_i. (Remark that, for every integer k>0k > 0, there exists a family (gi)i∈I(g_i)_{i \in I} of elements of A such that ∑igifik=1\sum_i g_i f_i^k = 1).

b) Let A be a ring, P a projective a-module of rank 1. Now prove that the ring EndA(P)\mathrm{End}_A(P) is canonically isomorphic to A (use th. 3).

c) Let A be a ring, P a projective a-module of rank n. For every endomorphism u of P, there corresponds canonically to ∧nu\wedge^n u, by virtue of b), an element det⁡(u)∈A\det(u) \in A, called the determinant of u, such that det⁡(u∘v)=(det⁡u)(det⁡v)\det(u \circ v) = (\det u)(\det v) for two endomorphisms u, v of A. The characteristic polynomial of u is called the element χu(T)=det⁡(T.1−u)\chi_u(T) = \det(T.1 - u) of A[T]A[T] (cf. n° 3, prop. 4); now prove that χu\chi_u is a monic polynomial of degree n and that one has χu(u)=0\chi_u(u) = 0 (use a), and § 3, n° 3, th. 1). Deduce that, in order that u be bijective, it is necessary and sufficient that det⁡(u)\det(u) be invertible in A. If A is an integral ring, χu(T)=∏i=1n(T−αi)\chi_u(T) = \prod_{i=1}^n (T - \alpha_i) the decomposition into linear factors of χu\chi_u in an algebraically closed extension of the field of fractions of A, one has χq(u)(T)=∏i=1n(T−q(αi))\chi_{q(u)}(T) = \prod_{i=1}^n (T - q(\alpha_i)) for every polynomial q∈A[T]q \in A[T]. Generalize analogously prop. 14 of Alg., chap. VII, § 5, n° 6.

Solution

No solution has been written yet.

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