Extensión separable

Extensión separable

Extensión separable

En matemáticas, una extensión separable de un cuerpo K es un cuerpo L que contiene a K y que puede ser generado adjuntando a K un conjunto de elementos α, tales que son raíces de polinomios separables sobre K. En dicho caso, cualquier elemento β de L tiene asociado un polinomio mínimo que es separable sobre K.

La condición de separabilidad es importante en la teoría de Galois. Un cuerpo perfecto es aquel en que todas sus extensiones algebraicas son separables. Existe un criterio simple para ver si un cuerpo es perfecto: un cuerpo F es perfecto si y sólo si

  • F tiene característica 0, o
  • F tiene caracteríscia no nula p, y todo elemento de F es una raíz p-ésima de un elemento de F.

La segunda condición equivale a decir que el morfismo de Frobenius de F, x\mapsto x^p, es un automorfismo.

En particular, todo cuerpo de característica 0 y todo cuerpo finito es perfecto. Este hecho implica que la separabilidad puede ser supuesta en un gran número de contextos. Los efectos de la inseparabilidad (i.e. cuerpos de característica p infinitos) pueden ser vistos en el teorema del elemento primitivo, y en los productos tensoriales de cuerpos.

Dada una extensión finita de cuerpos L/K, existe un subcuerpo M de L que contiene K tal que L es una extensión separable de M. Cuando L = M la extensión L/K recibe el nombre de extensión inseparable pura.

Las extensiones inseparables puras aparecen en situaciones bastante naturales, por ejemplo en geometría algebraica en característica p. Si K es un cuerpo de característica p, y V una variedad algebraica sobre K de dimensión no nula, si consideramos el cuerpo de funciones K(V) y su subcuerpo K(V)p de potencias p-ésimas. Esta es siempre una extensión inseparable pura. Estas extensiones aparecen cuando uno estudia la multiplicación por p sobre una curva elíptica sobre un cuerpo de característica p.

En el contexto de cuerpos no perfectos, se introduce el concepto de clausura separable Ksep dentro de la clausura algebraica, la cual es la mayor extensión separable posible de K. Entonces la teoría de Galois es válida dentro de Ksep.

Obtenido de "Extensi%C3%B3n separable"

Wikimedia foundation. 2010.

Игры ⚽ Поможем написать реферат

Mira otros diccionarios:

  • Extension Séparable — Une extension algébrique L d un corps K est dite séparable si et seulement si le polynôme minimal de tout élément de L n admet que des racines simples. Ce critère est une hypothèse nécessaire pour établir un théorème important de la théorie de… …   Wikipédia en Français

  • Extension separable — Extension séparable Une extension algébrique L d un corps K est dite séparable si et seulement si le polynôme minimal de tout élément de L n admet que des racines simples. Ce critère est une hypothèse nécessaire pour établir un théorème important …   Wikipédia en Français

  • Extension séparable — Une extension algébrique L d un corps K est dite séparable si le polynôme minimal de tout élément de L n admet que des racines simples (dans une clôture algébrique de K). La séparabilité est une des propriétés des extensions de Galois. Toute… …   Wikipédia en Français

  • Extension De Galois — En mathématiques, une extension de Galois (parfois nommée extension galoisienne) est une extension de corps finie normale séparable. L ensemble des automorphismes de l extension possède une structure de groupe appelé groupe de Galois. Cette… …   Wikipédia en Français

  • Extension de galois — En mathématiques, une extension de Galois (parfois nommée extension galoisienne) est une extension de corps finie normale séparable. L ensemble des automorphismes de l extension possède une structure de groupe appelé groupe de Galois. Cette… …   Wikipédia en Français

  • Extension galoisienne — Extension de Galois En mathématiques, une extension de Galois (parfois nommée extension galoisienne) est une extension de corps finie normale séparable. L ensemble des automorphismes de l extension possède une structure de groupe appelé groupe de …   Wikipédia en Français

  • Extension Simple — En mathématiques et plus précisément en algèbre dans le cas de la théorie de Galois, une extension de corps L d un corps K est dite simple si et seulement s il existe un élément l de L tel que L est égal à K[l]. Une extension simple est finie si… …   Wikipédia en Français

  • Extension Quadratique — En mathématiques, et plus précisément en algèbre dans le cadre de la théorie de Galois, une extension quadratique est une extension de corps de dimension deux. Si K est un corps commutatif, souvent celui des nombres rationnels, alors une… …   Wikipédia en Français

  • Extension Normale — En mathématiques, une extension normale L de K est un cas particulier d extension de corps. Une extension est dite normale si et seulement si tout morphisme de corps laissant invariant K est un automorphisme de L. Cette propriété est utilisée… …   Wikipédia en Français

  • Extension De Corps — En mathématiques, plus particulièrement en algèbre, l extension d un corps K est un corps L qui contient K comme sous corps. Par exemple, , le corps des nombres complexes, est une extension de , le corps des nombres réels, lequel est lui même un… …   Wikipédia en Français

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”