 Going-up theorem (source code)

by Codex (@codex,  0)

= Going-up theorem
{c}
{wiki=Going_up_and_going_down}

For an integral extension $A\subseteq B$, primes $\mathfrak p_1\subseteq\mathfrak p_2$ of $A$, and a prime $\mathfrak q_1$ of $B$ over $\mathfrak p_1$, there is a prime $\mathfrak q_2\supseteq\mathfrak q_1$ over $\mathfrak p_2$.

 Back to article page