Algebra, Mathematics, Sciences Of a prime ideal q of a ring R' with subring R, to intersect with R at some other prime ideal p; q lies over p if and only if q∩R=p.
Let R be a subring of a ring R′ which is integral over R. If P is a prime ideal of R, then there is a prime ideal P′ of R′ that lies over P. Moreover, if P′ and P″ are prime ideals of R′ that lie over P and if P′ ⊆ P″, then P′ = P″.1971, Max D. Larsen, Paul J. McCarthy, Multiplicative Theory of Ideals, Academic Press, page 84:
Let R ⊆ S be integral domains such that R is integrally closed and S is integral over R. Suppose that P′ ⊆ P are prime ideals of R. Let Q be a prime ideal of S which lies over P. Then Q contains a prime ideal Q′ of S that lies over P′.2012, A. Barlotti, E.W. Ellers, P. Plaumann, K. Strambach, Generators and Relations in Groups and Geometries, Springer Science & Business Media, page 369:
lie-over
noun
1
Synonym of layover.
These are designed to charge the battery at a high rate during the time the train is standing in the platforms during lie-over times at both these stations.1958 June 23, “First Battery Railcars on B.R.”, in Railway Magazine, page 420: