Definition 2
Tag 0E0Y, permanent. Cite it as [Bourbaki, Tag 0E0Y].
Algebra, chapter X, § 8. Dimension homologique
We call the homological dimension of and denote by the supremum in of the set of integers for which there exist two -modules M and N such that .
We have , if . We shall see below that if is principal and is not a field, and that, if K is a commutative field
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.