[Schemes IV] 48 Hours More (Fiber Product/Base Change/Separated Morphism/Proper Morphism)

This note seems to be the most important one so far. We will deal with the very important technique (some people call it as "the art") of base change, and its applications to morphism of schemes. In the end, we will deduce an interesting result on the ring of regular functions on a reduced algebraic variety.