MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

## When do primes lift uniquely (provided they lift at all)?

Given a ring $R$, a prime ideal $\mathfrak{p}$ of $R$, and an extension ring $S$ (the algebra map $R\to S$ is injective), are there any nontrivial sufficient conditions for the induced map $Spec(S) \to Spec(R)$ to be injective as a map of topological spaces (completely disregarding any of our sheaf structure)? That is, every prime that lifts lifts to a unique prime? If this problem is intractable as-is, I can add more conditions, so please don't add answers unless they are actual answers.

-
 If R--->S is strict epimorhism which is surjective map.Then Spec(S)-->Spec(R) is a closed immersion(as closed subvariety) – Shizhuo Zhang Feb 5 2010 at 2:04 A strict epimorphism of rings is surjective, no? – Harry Gindi Feb 5 2010 at 2:18 Is "strict epimorphism" synonymous with "surjection"? If not, could somebody define the former for me? – Anton Geraschenko♦ Feb 5 2010 at 3:10 Haha, I think it's another incarnation of radiciel but flipped around. – Harry Gindi Feb 5 2010 at 5:13 It seems to me that there is a disconnect between the title and the body of the question. "When do primes lift uniquely?" seems to be asking "When is it the case that for every prime ideal p of R, there is exactly one prime ideal of S lying over p?" which is a wordier way of asking when the map on spectra is bijective. This is why some people are responsing with radiciel/purely inseparable extensions. On the other hand, in the body it seems to simply be asking for the map on spectra to be injective, which e.g. as VA points out occurs much more commonly... – Pete L. Clark Feb 5 2010 at 5:44

Rather than listing various non-trivial sufficient conditions, let me give you a reference. Search EGA for the word "radiciel" (or start reading at Definition 3.5.4 of EGA I). A morphism of schemes $X\to Y$ is said to be radiciel (or universally injective) if for every field $K$, the induced map on $K$-points $X(K)\to Y(K)$ is injective. This generalizes the notion of a purely inseparable field extension.

-
Are these as functors of points? – Harry Gindi Feb 5 2010 at 3:03
Yes. Sorry if that was unclear. – Anton Geraschenko Feb 5 2010 at 3:05
Oh no, it was clear. Is there a nice translation of this into an algebraic condition? – Harry Gindi Feb 5 2010 at 3:06
Yes. Look in EGA or in the stacks project. – Emerton Feb 5 2010 at 3:13
I pretty much wasted 4-5 hours trying to avoid a direct check. I feel like a total idiot. – Harry Gindi Feb 5 2010 at 6:14
If $S/R$ is purely inseparable then the primes will lift uniquely.