¿Qué significa F(a)(b) en el contexto de los campos de extensión?

Question

Entiendo que F(a) es el subcampo más pequeño que contiene tanto a F como a. ¿Cuál es la definición de F(a)(b)? Se supone que tengo que demostrar que es igual a F(a,b), pero sin saber cómo se define F(a)(b), no sé por dónde empezar.

Answer 1

Sea $K=F(a)$ . Entonces $F(a)(b)=K(b)$ . Una notación algo más clara podría ser $(F(a))(b)$ pero algunos autores desprecian la sobrecarga de paréntesis.