トップページ⇒math
1001コメント325KB

代数学総合スレッド Part4

■ このスレッドは過去ログ倉庫に格納されています
0001132人目の素数さん2007/08/25(土) 09:00:00
代数に関する話題全般のスレッドです。

代数学総合スレッド
http://science.2ch.net/test/read.cgi/math/1011536232/
代数学総合スレッド Part2
http://science3.2ch.net/test/read.cgi/math/1045779496/
代数学総合スレッド part3
http://science6.2ch.net/test/read.cgi/math/1116279106/
0002132人目の素数さん2007/08/25(土) 09:02:00
。
0003132人目の素数さん2007/08/25(土) 09:55:25
。
0004132人目の素数さん2007/08/25(土) 12:27:36
メコスジ君総合スレッドPart69
0005にょにょ ◆yxpks8XH5Y 2007/08/25(土) 15:14:53
Cinco!
0006132人目の素数さん2007/08/25(土) 15:54:28
1+2+3=6
0007(´・ω・`) 2007/08/26(日) 19:11:51
過疎でふね
0008132人目の素数さん2007/08/29(水) 04:52:19
シャファレビッチ「代数学とはなにか」を頭から読もうとして撃沈
0009132人目の素数さん2007/08/29(水) 17:53:33
>>8
パラパラと掻い摘んで読んで、断片的にイケるようになってから
通読に挑戦した方がいいよ?
0010132人目の素数さん2007/08/29(水) 17:56:29
あれは、辞書みたいなものだからなあ。
結構いろんなところで他の場所の例とかを引き合いに出してたり
するので、頭から順番に読むタイプの本ではないし、読み物にも
あんまり向かないかな。
0011132人目の素数さん2007/08/31(金) 15:20:22
雰囲気を感じる本だと前書きかなんかに書いてあったはず
0012132人目の素数さん2007/09/28(金) 14:17:17
Fは体で、EはFの有限次の拡大体とする。このとき、拡大体E/Fの部分環は全て
部分体となることを示せ。
この問題が分からないのですが、どう考えればいいのでしょうか。

とりあえず、Eの部分環が部分体になる、ということは任意の部分環Sとかおいて
その任意の元が逆元を持つことが言えればいい、というのは分かるんですが。
ただ、通常の場合は体Eの部分環は、整域とはなるけど部分体とは必ずしもならない。
つまり、この問題では部分環が体Fを含んでいる、というあたりが鍵になっては
いそうな気がするけれど…イマイチ糸口がつかめません。

いっそのこと、代数的な場合はF(u)=F[u]とかで済ませてもいいのだろうか…。

長々とすみません。
0013132人目の素数さん2007/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にある。

0014132人目の素数さん2007/10/02(火) 10:50:37
余り本とかに書かれていないんだけど、
0^0って普通どういう扱いになるの。
0になるの。
それとも1になるの。
0015132人目の素数さん2007/10/02(火) 11:13:10
>>14
x^y の極限の意味なら無条件には決定できない。
単に 0^0 と言って問題にするときは
この意味で言うことが多いだろう。

x^x や x^0 の極限の意味なら 1。
自分がどのような意味で言ってるかだ。
0016132人目の素数さん2007/10/02(火) 11:26:20
>>14
あんまり知らないんだけど、
普通0^0は数としては定義されてないよ。
だけど極限値を考えれば1になる。
極限操作についての議論はそんなに簡単ではなかったと思う。
■ このスレッドは過去ログ倉庫に格納されています