Teorema d'isomorfisme d'extensió

De testwiki
Salta a la navegació Salta a la cerca

En teoria de cossos, una branca de les matemàtiques, el teorema d'isomorfisme d'extensió és un teorema important sobre l'extensió d'un isomorfisme entre cossos a un cos més gran.

Enunciat

El teorema afirma que donat un cos qualsevol F, una extensió algebraica de cos E de F i un isomorfisme ϕ que va surjectivament de F al cos F, ϕ es pot estendre a un isomorfisme τ d'E surjectivament a l'extensió algebraica E de F (un subcòs de la clausura algebraica de F).

La demostració del teorema d'isomorfism d'extensió requereix donar com a vàlid el lema de Zorn.

Bibliografia

  • D.J. Lewis, Introduction to algebra, Harper & Row, 1965, Cap.IV.12, p.193.