07/10/01 03:32:37
>>12
拡大体E/Fの部分環の意味がよくわからないんだけど。
Fを含むEの部分環のことを言うの？勝手にとったEの部分環Sが
Fを含むことがわかれば君の言うとおりでいいと思うけど。
F(u)=F[u]を使ったらダメなのかな？
E/Fが有限次拡大だから、Sの任意の元uはF上代数的。
よってF(u)=F[u]。
したがって、uが零元でない限り、uの逆元はF[u]に含まれる。
FはSに含まれていて、uはSの元だったから、
F[u]の意味から、F[u]はSの部分環。よって、uの逆元はSにある。