The Lying Over Theorem states that if a ring homomorphism is surjective, then any prime ideal of the target ring lying over a prime ideal of the source ring has a corresponding prime ideal that lies beneath it in the source ring. This theorem is crucial for understanding how the properties of rings are preserved under localization and plays a significant role in the study of local rings.
congrats on reading the definition of Lying Over Theorem. now let's actually learn it.