Field isomorphism
= Field isomorphism
A field isomorphism is a bijective <field homomorphism>; its inverse is also a field homomorphism. For fields extending a specified field $K$, an isomorphism may be required to fix $K$ pointwise, a stronger requirement than an abstract field isomorphism.