Theorem of transition
In algebra, the theorem of transition is said to hold between commutative rings if
Given commutative rings such that dominates and for each maximal ideal of such that is finite, the natural
inclusion is a faithfully flat ring homomorphism if and only if the theorem of transition holds between.
