¿Si $A\subseteq B$ donde $A,B$ son dominios conmutativos y $B$ son un módulo de #% finitamente generados %#% es $A$ una extensión finita del campo?
Sé que esta extensión es algebraica y cada elemento del Frac $\operatorname{Frac}(A)\subseteq \operatorname{Frac}(B)$ satisface un polinomio monic con coeficientes en $(B)$. No sé cómo probar esta extensión es finita y no se dan cuenta de cualquier contraejemplos.