The Going Down Theorem

Idea: for \(A\) a normal domain and \(f: A\to B\) an integral extension, \(f^\sharp: \operatorname{Spec}B\to \operatorname{Spec}A\) is an open map. # Statements

Pasted image 20220114184615.png

Proof