Please note, due to essential maintenance online transactions will not be possible between 09:00 and 13:00 BST, on Monday 20th January 2020 (04:00-08:00 EDT). We apologise for any inconvenience.
Let B be a ring with unity, A a imitai subring of the centre Cof B. Suppose further that B is A-integral. (That is, every element of B satisfies a monic polynomial with coefficients in A.) Under these assumptions, Hoechsmann  showed that "contraction to A" is a mapping from:
In this note we show that, under additional assumptions, a noncommutative version of the rest of the Cohen-Seidenberg "going up theorem" can be established.