In algebra, the theorem of transition is said to hold between commutative rings if[1][2]
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 .[2]