22/03/31 14:54:58.35 RyhsBaxO.net
石田信著『代数学入門』
この本での部分体の定義はやはり
それ自身体になるような F の部分集合のこと
というものです。
「
ここでつぎの注意をしておこう。 S を環 R の部分環とする。このとき、 S は加法群としての R の部分群だから、 S の零元は R の零元 0 と一致し、
また S の元 c の S での（加法の）逆元は c の R での逆元 -c と一致する（1-7節参照）。さらに K が体 F の部分体のときは、 K^* = K - {0} は
乗法群としての F^* = F - {0} の部分群だから、 K の単位元は F の単位元 e と一致し、また K の元 c ≠ 0 の K での（乗法の）逆元は c の F での
逆元 c^{-1} と一致する（1-7節参照）。
」
統一感があって、気持ちがいいですね。