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

代数学総合スレッド Part4

レス数が1000を超えています。これ以上書き込みはできません。
0001１３２人目の素数さん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/
0951１３２人目の素数さん2009/01/04(日) 12:34:39
>>948
「死ぬの？」系のレスってなんだかいやされるよなぁ。
なんでだろ。
でもイデアルと部分環が同値なら名前が同じである必要はないのが分からない人っているものなんだな。
教養でちゃんと勉強して記号論とかもかじった方がいいぜ。
0952１３２人目の素数さん2009/01/04(日) 19:31:41
>>951
君には今井の称号を授けよう。
0953１３２人目の素数さん2009/01/05(月) 00:15:02
>>951
> 「死ぬの？」系のレスってなんだかいやされるよなぁ。

そうか？
おまえだけじゃないのか？
0954１３２人目の素数さん2009/01/06(火) 12:00:01
一年百三十四日三時間。
0955１３２人目の素数さん2009/01/06(火) 23:28:11
age
0956１３２人目の素数さん2009/01/07(水) 21:38:56
わかスレの536がわかる方がいらっしゃいましたら教えて下さい。
0957１３２人目の素数さん2009/01/20(火) 19:58:12
nを奇数、a1,...,anを互いに異なる整数としたとき
多項式f(x)=1+Π[i=1,...,n](x-ai)はZ[x]上で既約であることを示せ

という問題はどうやって証明するのでしょうか
0958１３２人目の素数さん2009/01/20(火) 20:20:45
>>957
f(X)=PQ degP<degQ と分解したとする。
P^2-1はf-1で割り切れる。(a_iでの値に着目）
deg(P^2-1)<deg(f-1) なので
P^2=1。
0959１３２人目の素数さん2009/01/20(火) 20:28:16
>>958
解けました。ありがとうございます！
0960１３２人目の素数さん2009/01/21(水) 01:23:39
体k上の２変数多項式環をk[x, y] とする．ここで、p をp + 1 が4 の倍数となる素数とし，
k = Z/pZ とする．このときJ = (y, x＾2 + 1) は素イデアルであることを示せ．

この問題がわかりません。
だれか分る方、教えてください。
0961１３２人目の素数さん2009/01/21(水) 01:28:09
k[x,y]/J = k[√(-1)] は整域
0962１３２人目の素数さん2009/01/21(水) 01:30:12
ただ、整域と一言で〆てもなぁ。

変数多項式環なんだから結局は砧麺麭覆じゃん。
整域だけだと単なるオランウータンビーツになる気が・・・。

痲璽彙螺禰じゃないんだからｗ

0963１３２人目の素数さん2009/01/21(水) 01:40:26
　　　　　 .l''',!　　　　 .r-、　　　　　 .,､〟　　　　　　　.l''',!　　　　 ./ｰ､,,,_　　　　 .r-，
　　 .广''''″.¨ﾞﾞ!　 .,,,丿 {,,､､，　　.ｖ-lﾞ .!-ｒ/i､　　广''''″.¨ﾞﾞ!　　　.!､,　　lﾞ　　　　 | .｝　,,
　　 .ﾞl---， ぃ"　 .|　　　　 .|　　 .|　　 _,,{ﾞl .ヽ　 ヽ--i､ .ぃ"　　.,,,,,,,,二ｉ"　　 .,..-" .ヽl、ﾞl
　　 r---┘.―'i､　"',! ./ﾆﾆﾆ、　 ￣| .Ｌ,,,,,ﾞl,,i´ .r---┘.―'i､　 .|　　　 :,!　　 |　　　　.l　.|、
　　 |＿＿　._,,,,｝　　ﾉ .| |　　 lﾞ　　.／　　　ﾞ'i､　.|＿＿　._,,,,｝　　"''''ﾂ ./　　　"''ﾄ .|ﾞi､ ||、ﾞl
　　　.,―-" |　　　 .ﾉ .lﾞ `"ﾞﾞﾞ'"　 ,i´,〟lﾞﾞ^'i､ |　　.,―-" |　　　　 ../　 `i､　　　 lﾞ ,lﾞ |　|.ﾞl.,ﾉ
　　 .lﾞ .,,,,,,　.＼　　.lﾞ .lﾞ ,，　　　 .lﾞ .|.｝ |　　| .|　 / .,,,,,,　.＼　　 ../　.,.i､ |　　　 lﾞ .lﾞ .| .,! .゛
　　 |　し,,lﾞ .、 ﾞ,!　,lﾞ ,lﾞ.i".ﾞﾞ'''''"!　ﾞl .″.|.,!'''゛ lﾞ　 | .lﾞ,,,,lﾞ .、 ﾞ,!　,/｀／ .| ."'ﾞﾞl　./ .lﾞr┘,lﾞ
　　 .ﾞl,＿_.,/｀∪　 ﾞ〃 .`ｰ--丿　.ﾞ'--ヽ{,,,.／　 .ﾞl,,＿_,,/｀∪　.ﾞl.,i´　 .!,_,,,／ .lﾞ../ |__.,i´
0964１３２人目の素数さん2009/01/21(水) 02:08:47
>>961
レス、ありがとうございます。
ところでどうして
k[x,y]/J = k[√(-1)]
となるのでしょうか？
初歩的な質問ですみません。
0965１３２人目の素数さん2009/01/21(水) 02:16:21
>>964
f(x,y) ∈ J <=> f(x,y) = 0 mod J

だから。
0966１３２人目の素数さん2009/01/21(水) 03:33:31
>>965
重ね重ねすみません。
＞p をp + 1 が4 の倍数となる素数とし
この条件をどこに使ったんでしょうか？
0967１３２人目の素数さん2009/01/21(水) 03:43:05
要るか？
0968１３２人目の素数さん2009/01/21(水) 07:29:17
要るに決まってるだろ。
0969１３２人目の素数さん2009/01/25(日) 03:09:46
環入門の本を読んでいるのですが教えてくれる友人がしばらく海外にいってしまっているのでみなさんの力を貸してください。
普遍性：環準同型ｆ:Ｒ→Ａで、任意のｓ∈Ｓに対してｆ(ｓ)がＡの単元となるものに対して環準同型ｇ:Ｓ-１→Ａでｆ＝ｇοΦとなるものが一意的に存在することを示せ。(Φ：Ｒ∋ｒ→ｒ/1∈Ｓ-1Ｒ)
0970１３２人目の素数さん2009/01/25(日) 08:44:58
記号をちゃんと書いて下され
0971１３２人目の素数さん2009/01/25(日) 08:49:03
申し訳ありません。
Ｒ：単位的可換環
Ｓ：空でないＲの部分集合
Ｓは積閉
ＲのＳによる商環をＳ-1Ｒとする
0972１３２人目の素数さん2009/01/25(日) 08:53:53
ｇ：Ｓ-１→Ａじゃなくて、ｇ：ＳインバースＲ→Ａだよね？
0973１３２人目の素数さん2009/01/27(火) 12:04:50
[問 半群(G,･) (但し,･は2項演算)が左単位元(つまり,∀a∈G,e_l･a=a)と右逆元(つまり,∀a∈G,a･a^r=e_l)を持つなら(G,･)は群をなすか?

という問題です。
偽だと思いますがなかなか反例が思い付きません。
どのような例がありますでしょうか?
0974１３２人目の素数さん2009/01/27(火) 12:29:29
>>973
任意の x,y ∈ G に対し、x・y=y となる半群。
0975１３２人目の素数さん2009/01/28(水) 00:47:33
>974
有難うございます。参考になりました。
0976１３２人目の素数さん2009/01/28(水) 01:03:03
>>973

この問題、もしかしたら鈴木通夫の群論上の第１章の§１の演習問題２じゃないか？
この本結構面白いよ。
0977１３２人目の素数さん2009/01/28(水) 22:07:15
Ｇ＝Gal(Ｑ(ζ）/Ｑ)とおく。（ζは１の原始ｍ乗根）
∀σ∈Ｇに対して、σ(ｘ)＝ｘ　ならば　ｘ∈Ｑ　となることを証明したい
のですが、ｘ∈Ｑ(ζ)に対して
ｘ＝ａ_0＋ａ_1ζ＋ａ_2ζ^2＋････＋ａ_m-1ζ^(m-1)　（ａ_i∈Ｑ）　
と一意的に表せるので、
σ(ｘ)＝ｘならば
⇔ａ_0＋ａ_1σ（ζ）＋････＋ａ_m-1σ(ζ）^(m-1)＝ｘ

となるのですが、ここからどのようにｘ∈Ｑを導けばいいのでしょうか？？
0978１３２人目の素数さん2009/01/29(木) 13:27:15
Aut(Z)を求めよ。という問題なのですが

Aut(Z)={f:Z→Z;fは群同型}でZが群をなすにはその演算は+しかないと思います。
そこでfが全単射になる為にはf(z)=z+aの形しかないと思うのですが
これが群準同型を満たすにはf(z+z')=f(z)+f(z')を満たさねばならないと思います。
(左辺)=z+z'+a
(右辺)=z+z'+2a
a=2aでなければならないのでa=0.
よってf(z)=zすなわち,f=idしかないのかと思いますがZが群をなすにはその演算は+以外はない事はどうすれば示せますでしょうか?
そして演算が+以外にはない場合には,fとして上記のような写像以外にはない事はどうすれば示せますでしょうか?
0979１３２人目の素数さん2009/01/29(木) 14:35:41
>>978
「群」「演算」「準同型」などの定義からもう一度勉強しなおすことを勧める。
0980１３２人目の素数さん2009/01/29(木) 14:40:37
>>977
「Gal(Ｑ(ζ）/Ｑ)」という記号を使ってるからには、Ｑ(ζ）/Ｑがガロア拡大だと知っていることになるわけだけど、
あなたは「ガロア拡大」のどういう定義を使ってますか？
流儀によっては、その命題は「ガロア拡大」の定義そのもの。
0981１３２人目の素数さん2009/01/29(木) 21:35:51
9=√(81)
0982１３２人目の素数さん2009/01/30(金) 09:00:00
一年百五十八日。
0983１３２人目の素数さん2009/01/31(土) 11:00:00
一年百五十九日二時間。
0984１３２人目の素数さん2009/02/01(日) 09:00:00
一年百六十日。
0985１３２人目の素数さん2009/02/01(日) 10:10:00
代数学総合スレッド Part5
http://science6.2ch.net/test/read.cgi/math/1233450000/
0986１３２人目の素数さん2009/02/01(日) 13:34:05
うめ
0987１３２人目の素数さん2009/02/02(月) 11:00:00
一年百六十一日二時間。
0988１３２人目の素数さん2009/02/02(月) 21:48:49
age
0989１３２人目の素数さん2009/02/03(火) 06:04:22
>>978
＞そこでfが全単射になる為にはf(z)=z+aの形しかないと思うのですが
これが間違ってる。
ｆ（０）とｆ（１）を考えて見なさい。
0990１３２人目の素数さん2009/02/03(火) 09:00:01
一年百六十二日。
0991１３２人目の素数さん2009/02/04(水) 10:00:00
一年百六十三日一時間。
0992１３２人目の素数さん2009/02/05(木) 09:00:00
一年百六十四日。
0993１３２人目の素数さん2009/02/05(木) 14:14:40
>>992
ひまだな、BH…
0994１３２人目の素数さん2009/02/05(木) 19:18:40
彼が暇でなくなるような問題を考えたいものだ。
0995１３２人目の素数さん2009/02/05(木) 19:35:44
代数ではなく解析なんだが∫√(B^2-t^2)dtがどうして1/2(t√(B^2-t^2)+B^2アークサインt/B
になるのか教えて下さい。
0996１３２人目の素数さん2009/02/05(木) 19:45:10
>>995
マルチ
0997１３２人目の素数さん2009/02/05(木) 19:49:09
痴漢
0998１３２人目の素数さん2009/02/05(木) 19:49:21
誰か教えろ。
0999１３２人目の素数さん2009/02/05(木) 19:50:28
いやです。
1000１３２人目の素数さん2009/02/05(木) 19:51:01
1000getならking死ね
1001１００１Over 1000Thread
このスレッドは１０００を超えました。
もう書けないので、新しいスレッドを立ててくださいです。。。
レス数が1000を超えています。これ以上書き込みはできません。