Going up and going down
= Going up and going down
{wiki}
Going up and going down concern lifting inclusions of <prime ideals> through a <ring extension>. <Going-up theorem> lifts upward from a chosen lower prime for an <integral extension>. <Going-down theorem> lifts downward from a chosen upper prime under additional hypotheses, including an integrally closed base domain for integral extensions of domains.