title: Grado de extensión de un cuerpo
text: # Grado de extensión de un cuerpo
  
  En matemática, concretamente en teoría de cuerpos, el grado de extensión de un cuerpo es una medida aproximada del «tamaño» de la extensión. El concepto juega un papel importante en muchas partes de las matemáticas, incluyendo el álgebra y la teoría de números — de hecho, en cualquiera en la que los cuerpos aparezcan regularmente —.
  
  # Grado de extensión de un cuerpo
  ## Definición del grado de una extensión
  
  Suponga que L:K es una extensión de cuerpos. Entonces L puede ser considerado como un espacio vectorial sobre K (el cuerpo de los escalares). Como todo espacio vectorial tiene base, podemos calcular la dimensión de $L$ como espacio vectorial sobre $K$, denotado por $\dim _{K}(L)$. Se denomina grado de la extensión $L:K$ a la dimensión de $L$ como $K$-espacio vectorial: $[L:K]=\dim _{K}(L)$.
  
  # Grado de extensión de un cuerpo
  ## Definición del grado de una extensión
  ### Teorema de transitividad del grado.
  
  Sea $L$ una extensión de $K$, y sea $E$ un subcuerpo de $L$ que es a su vez extensión de $K$. Entonces se cumple que $[L:K]=[L:E][E:K]$.
  * Demostración
  * Sea $\{l_{i}:i\in I\}$ una base del $E$-espacio vectorial $L$ (es decir, consideramos $L$ como un espacio vectorial sobre el cuerpo $E$, y obtenemos una base) y $\{e_{j}:j\in J\}$ una base del $K$-espacio vectorial $E$. Sea $l\in L$ un elemento arbitrario. Existirá una única combinación lineal (que será finita, nosotros consideramos aquí que los coeficientes de la combinación lineal son eventualmente nulos) de tal manera que $l=\sum _{i\in I}\alpha _{i}\cdot l_{i}$, siendo cada $\alpha _{i}\in E$. De la misma forma, existirá una única combinación lineal (cuyos coeficientes serán eventualmente nulos) de tal manera que tenemos que para cada $i\in I$ es $\alpha _{i}=\sum _{j\in J}\beta _{i,j}\cdot e_{j}$, siendo cada $\beta _{i,j}\in K$.
  * $l=\sum _{i\in I}\alpha _{i}\cdot l_{i}=\sum _{i\in I}(\sum _{j\in J}\beta _{i,j}\cdot e_{j})\cdot l_{i}=\sum _{i\in I}\sum _{j\in J}\beta _{i,j}(\cdot e_{j}\cdot l_{i})$.
  * Esto demuestra que $\{e_{j}\cdot l_{i}:j\in J,i\in I\}$ es un sistema generador del $K$-espacio vectorial $L$.
  * Supongamos ahora que tenemos una combinación lineal $0=\sum _{i\in I}\sum _{j\in J}\beta _{i,j}(\cdot e_{j}\cdot l_{i})=\sum _{i\in I}(\sum _{j\in J}\beta _{i,j}\cdot e_{j})\cdot l_{i}$. Como $\{l_{i}:i\in I\}$ es base del $E$-espacio vectorial $L$ y $\sum _{j\in J}\beta _{i,j}\cdot e_{j}\in E$ cualquiera que sea el $i\in I$, tenemos que ha de ocurrir que en cada $i\in I$ sea $\sum _{j\in J}\beta _{i,j}\cdot e_{j}=0$. Ahora bien, como $\{e_{j}:j\in J\}$ es base del $K$-espacio vectorial $E$, entonces ha de ser $b_{i,j}=0$, cualesquiera que sean el $i\in I$ y el $j\in J$. Así pues, $\{e_{j}\cdot l_{i}:j\in J,i\in I\}$ es una familia libre del $K$-espacio vectorial $L$, con lo cual es una base de $L$ como K-espacio vectorial, y su cardinal es $\dim _{K}(L)=\dim _{E}(L)\cdot \dim _{K}(E)$.
  
  # Grado de extensión de un cuerpo
  ## Extensiones algebraicas y trascendentes
  
  El grado de una extensión resulta muy útil para determinar si una extensión es algrebraica o trascendente.
  * Si una extensión L:K es trascendente, existirá al menos un $\alpha \in L\setminus K$ de manera que $\alpha$ sea un elemento trascendente sobre $K$. Así pues, $K(\alpha )\subset L$, luego $[L:K]=\dim _{K}(L)\geq \dim _{K}(K(\alpha ))$. Pero como $K(\alpha )\cong K(x)$ (por ser $\alpha$ trascendente sobre $K$), y por otro lado $K[x]\subset K(x)$ (con lo que $\dim _{K}(K[x])\leq \dim _{K}(K(x))$) y $\dim _{K}(K[x])=\infty$, resulta que $[L:K]=\dim _{K}(L)\geq \dim _{K}(K(\alpha ))=\dim _{K}(K(x))\geq \dim _{K}(K[x]))=\infty$.
  Concluimos que toda extensión trascendente tiene grado infinito, y que toda extensión de grado finito es algebraica. Ahora bien, puede ocurrir que una extensión de grado infinito sea algebraica.
  * Si $[L:K]=1$, será entonces $L=K$. Si tomamos un elemento $\alpha \in L\setminus K$ que sea algebraico sobre $K$, entronces existirá un polinomio mónico irreducible $p=m_{\alpha }^{K}$ de manera que $K(\alpha )\cong {\frac {K[x]}{(p)}}$. Si $\deg(p)=n$, entonces $\{1+(p),x+(p),...,x^{n-1}+(p)\}$ es una base de ${\frac {K[x]}{(p)}}$, con lo cual $[K(\alpha ):K]=\operatorname {dim} _{K}(K(\alpha ))=\operatorname {dim} _{K}({\frac {K[x]}{(p)}})=n=\deg(p)=\deg(m_{\alpha }^{K})$.