Diferencia entre revisiones de «Extensión separable»
Contenido eliminado Contenido añadido
mSin resumen de edición |
m Pequeñas correcciones WP:CEM. |
||
Línea 8:
La segunda condición equivale a decir que el [[Endomorfismo de Frobenius|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
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'''.
|