Example

Tag 0024, permanent. Cite it as [Bourbaki, Tag 0024].

Algebra, VIII, p. 30, § 2. The Structure of Modules of Finite Length

Suppose that the ring A is a principal ideal domain. The indecomposable finitely generated A-modules are the A-modules isomorphic to either A or $A/p^nA$ , where $p$ is an irreducible element of A and $n$ an integer $>0$ (VII, §4, No. 8, p. 24, Proposition 8).

Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

VII, §4, No. 8, p. 24, Proposition 8 not in this corpus