体の同型写像 - iPhoneアプリ作成のために

二つの体K,K'があったとする。この体同士の写像fがあったとする。

写像が全単射で代数的な構造が移した先でも成り立つ

f(a+b)=f(a)+f(b), f(ab)=f(a)f(b),f(0)=0,f(1)=1

とき、この写像を同型写像(isomorphism)と呼び、この同型写像で結ばれた二つの体を同型（isomorphic）と呼ぶ。

---