Bourbaki

Exercise 29, § 2

Commutative Algebra, III, 245

Let AA be a commutative ring, mm an ideal of AA such that ⋂n>0mn=0\bigcap_{n > 0} m^n = 0 and cc is an element of AA which is not a divisor of 0. Show that the transporters qn=mn:Acq_n = m^n : Ac are open under the mm-adic topology and have zero intersection. If AA is strictly linearly compact with the mm-adic topology (Exercise 22(b)), (qn)(q_n) is a fundamental system of neighbourhoods of 0 in AA for this topology.

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.