## Elementary proof of Krull’s intersection theorem

When doing my 3rd-year project, I found I needed a classical theorem in commutative algebra called Krull’s Intersection Theorem. It turned out to be very useful; I used it in three proofs involving formal power series, and it also gave me some intuition for DVRs. However, despite being an intuitive result, the proofs I found … Continue reading “Elementary proof of Krull’s intersection theorem”