Example 2
Tag 00A3, permanent. Cite it as [Bourbaki, Tag 00A3].
Algebra, VIII, p. 151, § 9. Radical
Let A be a principal ideal domain that is not a field, and let K be its field of fractions. As a K-module, K is without radical. Let us prove that the radical of K, viewed as an A-module, is equal to K; equivalently, we must prove that every A-linear mapping from K to a simple A-module S is zero. By VII, §4, No. 8, p. 25, we may assume that S is equal to , where is an irreducible element of A. We have for every because .
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.