Bourbaki

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 ff 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 A/(π)A/(\pi ), where π\pi is an irreducible element of A. We have f(x)=f(πxπ)=πf(xπ)=0f(x) =f(\pi \frac{x}{\pi})=\pi f(\frac{x}{\pi})= 0 for every x∈Kx\in K because πS=0\pi S = 0.

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

Transcribed from the printed edition, 2023, Springer Nature. Not translated.