You are on page 1of 2

Extensin separable

En matemticas, una extensin separable de un cuerpo 2 Enlaces externos


K es un cuerpo L que contiene a K y que puede ser ge-
nerado adjuntando a K un conjunto de elementos , tales Hazewinkel, Michiel, ed. (2001), separable exten-
que son races de polinomios separables sobre K. En di- sion of a eld k, Encyclopaedia of Mathematics (en
cho caso, cualquier elemento de L tiene asociado un ingls), Springer, ISBN 978-1556080104
polinomio mnimo que es separable sobre K.
La condicin de separabilidad es importante en la teora
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 slo si

F tiene caracterstica 0, o
F tiene caracterstica no nula p, y todo elemento de
F es una raz p-sima de un elemento de F.

La segunda condicin equivale a decir que el morsmo de


Frobenius de F, x 7 xp , es un automorsmo.
En particular, todo cuerpo de caracterstica 0 y todo
cuerpo nito es perfecto. Este hecho implica que la sepa-
rabilidad puede ser supuesta en un gran nmero de con-
textos. Los efectos de la inseparabilidad (i.e. cuerpos de
caracterstica p innitos) pueden ser vistos en el teorema
del elemento primitivo, y en los productos tensoriales de
cuerpos.
Dada una extensin nita de cuerpos L/K, existe un sub-
cuerpo M de L que contiene K tal que L es una extensin
separable de M. Cuando L = M la extensin L/K recibe
el nombre de extensin inseparable pura.
Las extensiones inseparables puras aparecen en situacio-
nes bastante naturales, por ejemplo en geometra alge-
braica en caracterstica p. Si K es un cuerpo de caracters-
tica p, y V una variedad algebraica sobre K de dimensin
no nula, si consideramos el cuerpo de funciones K(V) y su
subcuerpo K(V)p de potencias p-simas. Esta es siempre
una extensin inseparable pura. Estas extensiones apare-
cen cuando uno estudia la multiplicacin por p sobre una
curva elptica sobre un cuerpo de caracterstica p.
En el contexto de cuerpos no perfectos, se introduce
el concepto de clausura separable K sep dentro de la
clausura algebraica, la cual es la mayor extensin sepa-
rable posible de K. Entonces la teora de Galois es vlida
dentro de K sep .

1 Vase tambin
Polinomio separable

1
2 3 ORIGEN DEL TEXTO Y LAS IMGENES, COLABORADORES Y LICENCIAS

3 Origen del texto y las imgenes, colaboradores y licencias


3.1 Texto
Extensin separable Fuente: https://es.wikipedia.org/wiki/Extensi%C3%B3n_separable?oldid=67410153 Colaboradores: Cookie, Yu-
rikBot, Wewe, Eskimbot, Ricard Delgado Gonzalo, CEM-bot, Gullo, Loveless, PipepBot, Raulshc, DumZiBoT, Luckas-bot, Jerowiki,
BendelacBOT, Elvisor, Addbot y Annimos: 2

3.2 Imgenes

3.3 Licencia del contenido


Creative Commons Attribution-Share Alike 3.0