Diferencia entre revisiones de «Extensión separable»
Contenido eliminado Contenido añadido
Sin resumen de edición |
mSin resumen de edición |
||
Línea 8:
La segunda condición equivale a decir que el [[Morfismo de Frobenius]] de ''F'', <math>x\mapsto x^p</math>, 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 numero de contextos. Los efectos de la inseparabilidad (i.e. cuerpos de característica ''p'' infinitos) pueden ser vistos en el [[
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'''.
| |||