Want site search autocompletion? See here Encountering 429 Too Many Requests errors when browsing the site? See here
Let f : R → S {\displaystyle f:R\to S} be a homomorphism of commutative unital rings. Then f {\displaystyle f} is a finite morphism if and only if f {\displaystyle f} is finitely generated and integral.
