Toda extensión finita es finitamente generada, pero no es cierto el recíproco (por ejemplo, para extensiones simples trascendentes).