The previous lecture in this series is here. The next lecture in this series is here.
We study rings of formal power series over a field in several variables. We first prove they are Noetherian, then use the Weierstrass preparation theorem to show they are unique factorization domains.
This video is part of a lecture course by Richard Borcherds from 2021.