Bourbaki

Exercise 10, § 8

Algebra, X, p. 203

We suppose that A is integral; let K be its field of fractions. An ideal a of A is said to be invertible if there exist elements x1,...,xnx_1, ..., x_n of K such that xia⊂Ax_i a \subset A for 1≤i≤n1 \leq i \leq n and ∑ixia=A\sum_{i} x_i a = A. a) Now prove that every invertible ideal is of finite type. b) Now prove that a nonzero ideal of A is an a-module projective if and only if it is invertible. c) Let a be an invertible ideal of A, D an a-module divisible. Exercise prove that ExtAi(A/a,D)=0\mathrm{Ext}_A^i (A/a, D) = 0 for i≥1i \geq 1.

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.