@MageManager 一つ補足しておくと、体論では別の体に埋め込んだり、埋め込まれたものを同一視して含むと言ったり、微妙な言い回しが多いですこれには理由があって、最小分解体にしろ代数的閉包にしろ、自然な取り方が存在しない、という微妙な問題があるからです。体上の同型という奇妙な定義もその延長線上にあります