K/kを体の拡大とし、σ: K → Kをk同型とします
Kを含む代数閉体Ωを取ったとき、σはΩからΩへのk同型に延長できますか?