Going down for flat extensions
Statement
Suppose is a flat extension i.e. is a subring of a commutative unital ring and is flat as a -module. Then, if are prime ideals of , and contracts to , there exists such that , and contracts to .
References
- Book:Eisenbud, Page 239