Dejemos que kk sea un campo algebraicamente cerrado. Sea KK sea un campo de extensión de kk de grado de trascendencia finito sobre kk . Intuitivamente, me parece que KK no puede ser cerrado algebraicamente. ¿Hay alguna prueba de este hecho o un contraejemplo?
Respuesta
¿Demasiados anuncios?Pongamos un ejemplo sencillo.
k(t)k(t) no es algebraicamente cerrado. Por ejemplo, no tiene √t√t . (tiene trdeg 1)
El cierre algebraico ¯k(t)¯¯¯¯¯¯¯¯¯k(t) de k(t)k(t) tiene un grado de trascendencia finito (es decir, 1). Esto se deduce de la definición de grado de trascendencia, ya que por supuesto ¯k(t)/k(t)¯¯¯¯¯¯¯¯¯k(t)/k(t) es algebraico.