First time here? Check out the FAQ!
Finiteness of extension of rings Recall that an extension of commutative unital rings R \subseteq S is finite, when S is