Diferencia entre revisiones de «Extensión separable»
Contenido eliminado Contenido añadido
m robot Añadido: it:Estensione separabile |
m Correcciones menores, (WP:CEM) |
||
Línea 12:
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 [[cuerpo|subcuerpo]] ''K''(''V'')<sup>''p''</sup> de potencias ''p''esimas. Esta es siempre una extensión inseparable pura. Estas extensiones aparecen cuando uno estudia la multiplicación por ''p'' sobre una [[curvas elípticas|curva
En el contenxto de cuerpos no perfectos, se introduce el concepto de '''clausura separable''' ''K''<sup>sep</sup> 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 ''K''<sup>sep</sup>.
| |||