Dada una extensión de un anillo (conmutativo con la unidad), ¿es posible dar una noción "buena" de "grado de la extensión"? Por "bueno", estoy pensando en un grado que nos permita, por ejemplo, definir extensiones de anillos finitos y generalizar de alguna manera la correspondencia de Galois entre extensiones de campo y subgrupos del grupo de Galois.
Supongo que se puede llamar a una extensión del anillo $A\subset B\ $ finito si $B$ está finitamente generada como $A$ -y el grado sería el número mínimo de generadores, pero ¿basta esta noción para enunciar un teorema de correspondencia?
Gracias de antemano.