Bourbaki

Example

Tag 053Y, permanent. Cite it as [Bourbaki, Tag 053Y].

Commutative Algebra, chapter VII, § 4. Modules over integrally closed Noetherian domains

If A=ZA = \mathbf{Z}, the divisor group of AA is identified with the multiplicative group Q+∗\mathbf{Q}_+^* of rational numbers > 0. For every finite commutative group T, χ(T)\chi(T) is the order of T; the above corollary shows that the order of the group Coker⁡(f)\operatorname{Coker}(f) is equal to the absolute value of det⁡(U)\det(U) (cf. Algebra, Chapter VII, § 4, no. 7, Corollary 3 to Theorem 3).

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Cites

Transcribed from the printed volume. Not translated.