lain over

Verb

lie over (third-person singular simple present lies over, present participle lying over, simple past lay over, past participle lain over)

1. (intransitive) To be deferred to a future occasion.
2. (transitive, ring theory) 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

   Synonyms:

   lie above