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

代数学総合スレッド Part4

■ このスレッドは過去ログ倉庫に格納されています
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/
0630１３２人目の素数さん2008/10/22(水) 23:36:56
>>629
fとしてg→φ[g]を考える　　(φ[g]：Ｇ→Ｇ ; ｘ→ｇｘ)
0631１３２人目の素数さん2008/10/22(水) 23:37:10
>>629
φじゃなくてφ(g)とか書いて
普通に言えばいいだろ
0632１３２人目の素数さん2008/10/22(水) 23:42:34
なるほど
∀ｇ∈Ｇ
φg：Ｇ→Ｇ　（ｘ→ｇｘ）を用意しといて

φ：Ｇ→Ｓｎ 　（ｇ→φg）
これが準同型であることをいえばいいんですね

Ｇの元ｇ,ｈに対して
φg◦φh（ｘ）＝φg（ｈｘ）＝ｇｈｘ＝φgh（ｘ）ですね！

つぎに何をいえばいいんでしょうか？



0633１３２人目の素数さん2008/10/22(水) 23:46:34
感覚的にはφが単射を示したらＳｎの部分群と同型
って思ってしまうんですが自信が全くありません
0634１３２人目の素数さん2008/10/22(水) 23:46:50
おいおい、そんなので大丈夫かよ・・・
あとはφ：Ｇ→Ｓｎが単射であることが言えればGとφ（G)が同型で証明は終わるだろ


そう言えば俺の大学置換表現飛ばしたな・・・
自力で習得したけど
0635１３２人目の素数さん2008/10/22(水) 23:56:51
　　　　　　　　│＼
　　　　　　　　│　 ＼≡(`Д´;))≡= 　　　ｵｵッ！
　　　　　　　　│　　　＼≡//　))≡=
　　　　　　　　│　 　　≡」」」≡=
　　　　　　　　│
　　　　　　　　│
　　　　　　　　│
　　　　　　　　│
　　　　　　　　│
　　　　　　　　│
0636１３２人目の素数さん2008/10/22(水) 23:57:25
>>634さん
ＧとＳｎの部分群が同型
⇔Ｇとφ（ｇ）が同型

↑これはなぜですか？

また
φが単射ならばＧとφ（ｇ）が同型といえるんですか？
0637１３２人目の素数さん2008/10/23(木) 00:00:49
　　 ∩＿＿＿∩　　　　 ／
　　 | ノ　　　　　 ヽ　　／
　　/　　＞　　　＜ |／　そんな餌ﾊﾟｸｯ
　 |　//// ( _●_)／ミ
　彡、　 　　 ｌ⌒l　 ノ
　/　＿＿　 ＼ ＼ヽ
. (＿＿＿）　 　＼__）
. Ｏ|　　　　　　 /
　　|　　／＼　＼
　　|　/　　　 )　 )
　　∪　　　 （　 ＼
　　　　　　　 ＼,,＿）

　　 ∩＿＿＿∩
　　 | ノ　　　　　 ヽ
　　/　　●　　　● |　　オエー！！！
　　|　u　Ｕ ( _●_) ミ　。
　彡､　　　|ﾟ。､｀ ヽ。、ｏ
　/　＿＿　ヽU　　ｏ
. (＿＿＿）U　|　∴ｌ
. Ｏ|　　　　　　U　：l
　　|　　／＼　　|：!
　　|　/　　　 )　 Ｕ
　　∪　　　 （　 ＼
　　　　　　　 ＼,,＿）
0638１３２人目の素数さん2008/10/23(木) 00:02:16
>>636
さすがに釣りか？
0639１３２人目の素数さん2008/10/23(木) 00:02:34
>637
いえ・・・(苦笑)
まじでわかんないばかなんですあたし・・
0640１３２人目の素数さん2008/10/23(木) 00:02:46
　　 　 　 　 　 ,--i､,,,,_　　 　 　 　 　 　 .__,　　: : 　　　　　　　　　　　　　　　　　　 　.,,,,,,
　 .,,,,,,,,,,,,,,,,,,,,,,,,｝　||″ﾞ'Ｌ,,,、　ー‐￢'''‘ﾞﾞ＾.ﾟL　:|ﾞﾞﾞｽ　　 　 :--i　　　　　　　　　　　　:}｀::,!
　 :|　　　　　　　　　 　　 ..|　 ,ゝ: --．..・'''''''ﾞ､ :|　.|　　　　|　 |　　　　　　　　　 、: : ,.}　 lﾞ:
　 :|　.l―――┤ .,!: /ﾍi､: 　 |,,,,,,,,,,,,,　.,,,,,,,,,,,:-ｲ　―--: : :|　 |　　 　 　 　 　 　 |: : : 　 : : : .,,,ｖ-ｰ''''': 丶
　 :|　.l,,,,,,,,,,,,,,,,,⊥ .巛 .,ｆ°　　.|''''''''″‘'''''''",,,,,、 ,,,,， :、 .|　 |　　　　　　　　　 ｀ﾞﾞﾞﾞﾞ|　 广゛.ﾞl,,.,､､,,,,､.,．
　 ,!　,!|　--． .| ﾞl　｀ ,,i´_　　　:|　ﾆﾌ　ﾆﾌ　;: : 、 .| :|　|　 |　 |　　　　 　 　 　 　 　 ］　.lﾞ
　.,i´ 〕|　''''''" .:lr″　'ｈ,!`ﾟ'i　　|　:-┐.ーi､ :: : ， ｀ ,′|　 |　 |　　　　　　 r-、　　 ,i´ │
: ,i´ ,lﾞ.": ''''''''l∵ ,,r'ｈ,_　 . |　　|＿,,,｀　,,,＿_、│ .| .|　.|　 |　 |　　　　　　,lﾞ .i､　　.,″│　/'''i､
　ﾟ''!l'･r,|: .'ll广'.l,″ .,,r巛'″　 ,!''''''''" .'冖''''''..,lﾞ │ |　.|　 |　 |、　　　　.,l″,i´　 .,lﾞ　.,″ :|　:|、　　　　　　　,rｰ:'''r,、
　 │ .|］　: ﾞ'l， ﾞｋ,,,,|i,、ﾞ＜　　――i､ :ｯrr+',,i´ ,lﾞ　"　′ 〔　 ﾟ=i､,,,,.ｖ/°.,l°　.,i´ │　 │ ｀"'…‐: ｰi､　 ,i´,r'''ｯ ﾞト
　.,″.lﾞ.|　.-: :ﾞ*'":lﾞ　]ﾞｋ　,ト .:I'""ﾞ″ ._,,,,,〟　,r": :/　.i､　 ﾟ=,_　　　　._,x┘　　 ｈ,,.,lﾞ　　 ｀ﾍ＿,_、: : ._,|　　l, .ﾞl,_,/ .lﾞ
　'ﾍ｡,i´ﾞl＿＿＿＿,,/　ﾞ＜　 .ﾞl,r‐'''''"″.'ｋ..,r" ﾞl＿_,,r°　　 .~`''''''''`″　　　　　 ″　　　　　: ￣｀￣｀　　ﾞX＿,,,r°
0641１３２人目の素数さん2008/10/23(木) 00:04:12
部分群とか習いはじめてまだ2週目なんです・・
ほんきで釣りじゃないです・・
0642１３２人目の素数さん2008/10/23(木) 00:05:35
>>641
f：G→G' が準同型ならf(G)はG'の部分群
fの終集合をf(G)にしたf：G→f(G)は全射

おｋ？
0643１３２人目の素数さん2008/10/23(木) 00:06:03
　　　　　　┌──┐ ┌──┐ .┌──┐
　　　　　　│┌┐│ │　ロ　|　　l　 lｺ　｜
　　　　　　└┘ |_ノ　└──┘　└‐ワ__ﾉ
0644１３２人目の素数さん2008/10/23(木) 00:07:01
お前ら構い過ぎｗ
0645１３２人目の素数さん2008/10/23(木) 00:07:15
.ﾞ|ﾞﾞﾞ"''"ﾞﾞ"ﾞﾞﾞﾞﾞﾞﾞﾞﾞ''，　 r‐‐、　　.┬‐，　　'|ﾞﾞ"''''''''''┐ .|'''ッヽ　　　　　　　　　　　　　 　 　 　 　 _,,,,ィ
: |　 z,,,,i､　lﾆ,i､　|　　|　 |　　　 ﾞl　.|,,,i､　|　ヶ 々 .|,_ |　ﾊ,,,lﾞ　　　　　　　　　　　　 |―￢''''''"ﾞﾞ｀　 |
: |　　　　　　　　 |　 .lﾞ　.| .|'''''''''″　 │ .|　〟 ,〟.l|″ ｀ﾞ~｛　 .,,,,―‐'"ﾞﾞﾞﾞﾞヘ、　　 ヽ,,,,,,,､y　　,,／｀
: |　 lﾆﾆ　 lﾆｺ　 |i､ .|　 | .ヽ---i､　,i´　 .|　｀　`゜ .|',!　　.ｔ'"　 .ヽ _,,,-―ｰ． │　　　　 ／　／｀
: |　　　　　　　　│　|　 |　　　　.|　 |　　.'l''〒　ﾜ''''|,lﾞ .,ト ﾞl　　　 ″　　　　|　 |　　　　./　,/｀
,,ﾆﾆﾆ'　 .━━(二 　|　 |　.,,-―lﾞ　 |　　.,|,,,,,｡ .,yｗ《　lﾞ.ﾞl │ 　 　 　 　 　 /　lﾞ　　　　|　 lﾞ
.ヽ　　 .＿,,,,,,,,,、 .ﾞl　.|　 | /　,,,,、　 ヽ、 .|　　　　_,,,,､,,lﾞ .ﾞl_,/ 　 　 　 　 ,／ .,/　　　　 ﾞl　ヽ、
　ﾞ7　 /.,,、　　|　 |　.|　 | ﾞl　―"　、 .ﾞi､ ﾟ) 　|ﾞﾞ/'］ .,‐'|　,‐ﾟ|　　　　┌‐'"　,／　　　　　.ヽ、 `""''''''7
.／　,i´ .ﾞ广'''''"　.|　 |　_} `-,＿,,-"'r,i´ │ / ﾞl　ﾞl.ﾞl、ﾞl､|、ﾞl、　　　 ヽ,-‐′　　　　　　　｀''-､,,,,,__/
: ‘'‐′　 `'――''゜　‘ﾞﾞ゛　　　　　　 ゜　‘''''"　‘'′ ﾞ'′ ﾞ'"
0646１３２人目の素数さん2008/10/23(木) 00:07:51
>>644
　　 ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,　　　 .,ill,,,,,,,,　,,,,,,,,,,,,,,,,,,,:
　　 ﾞﾞﾞﾞﾞﾞﾞﾞﾞﾞﾞﾞﾞﾞlllﾞﾞﾞﾞﾞﾞﾞﾞﾞﾞﾞﾞ′　　,llﾞ"ﾞ,l!°　 .,ll′..ll!
　　　　__　　 :ll|　　　　　　 ,,illllllllil!lllii:.,,,,i!ﾞ゜,,,,,ill!
　　　　lll|　　.lll,,,,,,,,,,,,,　　　'!ﾞ:lll,,,lll,,,,ll|.ﾞﾞﾞ,,,: iii”″
　　　　lll|　　.lllﾞﾞﾞﾞﾞﾞﾞﾞﾞ°　　 .:lllﾞﾞﾞlllﾞﾞlll: .,illliiillliiiiiii、
　　　　lll|　　.lll: 　　　　　　 .:lllllll!!llllll:.lllﾞ,,,,,llll,,,,,,,,
　　: : : lll: : : .lll: : : : : : : 　　.,lll　　 .lll: ﾞﾞﾞﾞﾞﾞﾞlllﾞﾞﾞﾞﾞﾞ:
　　ﾞﾞﾞﾞﾞﾞﾞﾞﾞﾞﾞﾞﾞﾞﾞﾞﾞﾞﾞﾞﾞﾞﾞﾞﾞﾞﾞﾞﾞﾞﾞ　 .iil!°　,,,ill: 　　 lll
　　　　　　　　　　　 　 　 　 　 　 ”″　　 : :
0647１３２人目の素数さん2008/10/23(木) 00:12:50
>>642
ほんっとにありがとうございました！
こんなに釣り釣りっていわれるくらい程度の低い問題なんですね・・
勉強がんばります・
0648１３２人目の素数さん2008/10/23(木) 00:18:50
何所板紛？
0649１３２人目の素数さん2008/10/23(木) 00:20:24
うーんとー、私ぃすっごくすっごく暇でー、＼(⌒∇⌒)／
探してたら(◎_◎)なんとっ！☆彡(ノ^^)ノ☆彡ヘ(^^ヘ)☆彡(ノ^^)ノ☆彡
馬鹿みたいなスレ♪を発見！！！！(^o^)//""" パチパチパチ
さ・む・い～{{ (>_<;) }} ブルブル何個かレスがありますけど、
これ全部１人の方がレスしているんですか？（＠＠；）すごすぎ …
てなわけで、ついつい書いちゃったのらー(o^v^o) エヘヘφ(｀∇´)φカキコカキコ♪
削除依頼、出してくれるよねっ。(*^-^*)　お・ね・が・い♪(*￣・￣)ちゅ♪ッ
え？くれないのぉ～？(;￢_￢)そんなのいやいや～～、ｶﾞ━━━(ﾟﾛﾟ)━━━ﾝ
出してくれなかったら、( ｀_)乂(_´ ) 勝負！ ＼(^o^)／
☆○（゜ο゜)ｏ ぱ～んち、☆（゜o(○=（゜ο゜)ｏ バコ～ン!!( ﾟ▽ﾟ)=◯)`νﾟ)･;'パーンチ
（＞＿＜） いてっ！ダメ!! ゛o(≧◇≦*)oo(*≧◇≦)o″ダメ!!
(☆o☆)きゃ～～(@_@;)やられた～～(o_ _)o ドテッ　ガ━━（ﾟДﾟ;）━━ン！
(+_+) 気絶中。。。｡ということで。じゃあね～～～♪(⌒0⌒)／~~
0650１３２人目の素数さん2008/10/23(木) 18:30:50
ぶっちゃけ有名問題だから、大学の図書館で
いろいろ群論とか代数学の本調べれば
ほぼ同じ問題が載ってると思うぞ
0651１３２人目の素数さん2008/10/23(木) 18:42:34
有名問題というか、ケイリーの定理と呼ばれる有名定理
0652１３２人目の素数さん2008/10/24(金) 03:42:18


　　　　　　　　ｵﾜｷｬﾉﾝ　　　　　　　　　ｵﾜﾀﾝｸ　　　　　　　　　　　ｵﾜﾀﾑ

　　　　 　 ＠＼　　＠＼　　　　　　　　　　　　　　　　　　　　　 　 ＼冂／
　　　　　　　 ＼ (^o^)＼ >　　　 @ヽ､　　 @ヽ､ 　 　　　　　　　　　E^o^ ﾖｉ /7
　　　＿()二)_（/~'ー,~~7.（≦）　　＼ ＼ 　 ＼ ＼　　　　　()) 　「/~'ー'~~ 7/￣ |
==ニ)]_] _迂〕 ,叉「」瓦〈‐|＿|　　　　＼　(^o^) ＼ >　　===二]匚ﾄ〈‐〈iﾃ〈〈c iｴｺ
　　　　Ｌｉ 弐ノ 「ｉｏiｦ_上.]|二|　　　＿（/~'ー,~~7_（≦）　　ﾉｦ 弐ノ[]ｖ/□ ||　╋|
　　　　　　　　　|＾ｰｉ|　　| る!　　 (88),叉「」〉(88)_,)ノ　　　　　　　　|　j |　|.|| ┃|
　　　　　　　　　◇-||◇┤ 　　　　 /三/,ｏ/~/三/0 ＼　　　　　　几０（几）L二!
　　　　　　　 ∠三0/ｉ二ｉ0 　　　　（三（ー―（三（0⊆0）　　　　∠三ｦ/ｉ二ｉヽ
0653１３２人目の素数さん2008/10/24(金) 16:05:51
2年でガロア理論まで教える大学ってある？
0654１３２人目の素数さん2008/10/25(土) 01:02:41
Lang-Algebraって学部-修士一年程度の代数で他に本がいらなくなるくらいみっちり書かれてるのかな？
0655１３２人目の素数さん2008/10/25(土) 01:58:17
Algebra: Serge Lang
Part 1 The Basic Objects of Algebra
Chapter I Groups 3
Chapter II Rings 83
Chapter III Modules 117
Chapter IV Polynomials 173
Part 2 Algebraic Equations
Chapter V Algebraic Extensions 223
Chapter VI Galois Theory 261
Chapter VII Extensions of Rings 333
Chapter VIII Transcendental Extensions 355
Chapter IX Algebraic Spaces 377
Chapter X Noetherian Rings and Modules 413
Chapter XI Real Fields 449
Chapter XII Absolute Values 465
Part 3 Linear Algebra and Representations
Chapter XIII Matrices and Linear Maps 503
Chapter XIV Representation of One Endomorphism 553
Chapter XV Structure of Bilinear Forms 571
Chapter XVI The Tensor Product 601
Chapter XVII Semisimplicity 641
Chapter XVIII Representations of Finite Groups 663
Chapter XIX The Alternating Product 731
Part 4 Homological Algebra
Chapter XX General Homology Theory 761
Chapter XXI Finite Free Resolutions 835
Appendix 1 The Transcendence of e and [Pi] 867
Appendix 2 Some Set Theory 875
Bibliography 895
0656１３２人目の素数さん2008/10/25(土) 02:05:56
>>655 各章の詳しさはどんな感じ？
0657１３２人目の素数さん2008/10/25(土) 14:15:38
K={0}って普通の演算において体になる？
その場合dimK^n=0？
0658１３２人目の素数さん2008/10/25(土) 14:40:37
体の公理をもういっぺん読んでみろ
0659１３２人目の素数さん2008/10/25(土) 14:59:15
Kが環であり0以外の元が逆元を持つ・・・

零環は1=0だから0^-1=0だが、0が逆元を持つときはどうなるの？
0660１３２人目の素数さん2008/10/25(土) 17:19:36
>>658
0≠1 を公理にしている場合もあるけど、そうでない場合も多いと思います。
0661１３２人目の素数さん2008/10/25(土) 17:26:52
>>627
大学二年でスリッパ教授にHodge作用素とか出されてぴよってたｵﾚはどうなるんだ！！！
0662１３２人目の素数さん2008/10/25(土) 18:49:21
体は零元と異なる単位元の存在を要求する。だから零環はあっても零体はない。
0663１３２人目の素数さん2008/10/25(土) 19:17:11
昔（1950年代頃まで）は環に単位元の存在を仮定しなかった。
これだと理論が煩雑になり、しかもメリットはほとんどない。
つまり単位元のない環は自然ではないんだな。
リー環のように結合律を満たさないものは別だが。
Bourbakiは早くからこのことに気づいていて環といえば単位元をもつものと
定義していた。
0664１３２人目の素数さん2008/10/25(土) 22:21:12
そりゃ単に可換環論を詳しくあつかっただけだろう。

>>657
次元は-∞
0665１３２人目の素数さん2008/10/25(土) 22:37:38
>>664
>そりゃ単に可換環論を詳しくあつかっただけだろう。

意味不明。
非可換環でも単位元を仮定するのが自然。
0666１３２人目の素数さん2008/10/25(土) 23:19:30
ヘッケ環も単位元が普通？
0667１３２人目の素数さん2008/10/25(土) 23:22:06
非可換環は便宜上単位元を仮定してる場合が多いが
別になくてもいい。

>>664 なんで-∞？
0668１３２人目の素数さん2008/10/25(土) 23:30:12
>>667
>非可換環は便宜上単位元を仮定してる場合が多いが
>別になくてもいい。

それを言ったら可換環だってなくてもいいんだよ。
ただし、単位元がないといい結果が出てこない。
0669１３２人目の素数さん2008/10/25(土) 23:34:28
Langで代数独学した人いない？
0670１３２人目の素数さん2008/10/25(土) 23:37:20
>>667
食う酒烏合で生成されるから

>>668
ヘッケ環もいい結果が無いの？
0671１３２人目の素数さん2008/10/25(土) 23:39:34
空集合で生成って次元0じゃなかったっけ？
-∞で定義すると直和の時限とかの公式成り立たなくて不便なだけでは？
0672１３２人目の素数さん2008/10/26(日) 00:02:49
>>670
ヘッケ環は単位元があるだろ。
0673１３２人目の素数さん2008/10/26(日) 00:43:51
>>672
んじゃp-進数体上のGLのHecke algebraの単位元を教えてくれ。
0674１３２人目の素数さん2008/10/26(日) 02:28:41
>>663
RNGに同形なRINGは自然に定義できるんじゃなかった？
06756742008/10/26(日) 02:34:11
ぼけてた。
RNGに同形なsub ringを含むRINGが定義できるだったorz
0676１３２人目の素数さん2008/10/26(日) 03:19:42
>>673
GL(Z_p)の特性関数
0677１３２人目の素数さん2008/10/26(日) 09:17:20
>>662
流儀による
0678１３２人目の素数さん2008/10/26(日) 09:24:32
（可換）C*環なんかでは単位元の有無に関しての結果も豊富だよね．

例えば局所コンパクトな X 上の ∞で消える関数環 C_0(X) が
単位元を持つことと X がコンパクトであることは同値だとか，
単位元を持たないC*環は単位元を持つC*環にイデアルとして
埋め込めるけど，これはコンパクト化に相当するとか．
0679１３２人目の素数さん2008/10/26(日) 09:45:46
>>677
そんな流儀はない。
１個の元からなる体はない。
0680１３２人目の素数さん2008/10/26(日) 11:52:33
「ない」ことを断言できるのはすごいな。
ひとつでもそう書いてある文献があれば反証されるのに。
0681１３２人目の素数さん2008/10/26(日) 11:56:34
>>680
>ひとつでもそう書いてある文献があれば反証されるのに。

なこたあない。
どこにもアホはいる。
0682１３２人目の素数さん2008/10/26(日) 11:59:57
あのなあ、ここでは常識的な話をしてる。
屁理屈をこねるなよ。
0683１３２人目の素数さん2008/10/26(日) 13:12:46
F_1 を特別視するのは何かと面倒な場面も多いんだけどな
0684１３２人目の素数さん2008/10/26(日) 14:25:22
>>683
例えば？
0685１３２人目の素数さん2008/10/26(日) 17:06:53
確かにLangのAlgebraは大学院初年級向けの
一般的な代数学のテキストとしてはかなり詳しい。
ただ何でもかんでも書いてあるかというとそうではなくて、
例えば群の表現とか可換環論とかホモロジー代数とか
そういう個別のトピックに関する情報が欲しければ
個別の分野の本の方が当然詳しい。

あと記述が丁寧というわけでは無いから、
この本一冊だけってのは結構苦しいんじゃなかろうか。
まあ図書館とかを利用すれば良いんだけどね。

>>680
じゃあ立証責任はそう書いてある文献があることを
示す側にあるんじゃないの
0686１３２人目の素数さん2008/10/26(日) 17:21:32
将来解析専門にしたいけど
Langレベルの代数まで学ぶ必要はあるかな
Artinの代数は独学で一応やったんだけど。
06876742008/10/26(日) 20:31:42
>>686
C＊とかだとK-Theoryも分かんないと駄目なのでは？
0688１３２人目の素数さん2008/10/26(日) 21:08:04
>>686
不要とは言わんけど他に優先するものもあると思う
0689１３２人目の素数さん2008/10/26(日) 21:21:38
証明される結果は解析学の方が美しいけど
証明のプロセスは代数学の方が美しい。
0690１３２人目の素数さん2008/10/27(月) 02:26:15
LangのAlgebra買うことにしよう。
Artinを読み返しながら
残りの学部二年半で読破を目指す。
0691１３２人目の素数さん2008/10/29(水) 02:24:22
(v_1+v_2)(×)w=v_1(×)w + v_2(×)w
という等式の証明についての質問です。


Rを可換環としV,Wを自由左R加群とし,M:=span(V×W)とする。
左R加群とは線形空間のスカラーが体の元から可換環の元に変わっただけだと思います。

自由とは基底を持つという意味です。

T:=span{(x_1+x_2,y)-(x_1,y)-(x_2,y),(x,y_1+y_2)-(x,y_1)-(x,y_2),(rx,y)-r(x,y),(x,ry)-r(x,y)}
(但し,x_1,x_2,x∈V, y_1,y_2,y∈W, r∈R,つまりTの生成元はMの元)
と定義し,

V(×_R)W:={{(x,y)∈span(V×W);(x,y)≡(v,w) (mod T)};(v,w)∈V×W}をR上のテンソル積という。
V(×_R)Wは単にV(×)Wと書いたりもする。

{(x,y)∈span(V×W);(x,y)≡(v,w) (mod T)}をv(×_R)wまたは単にv(×)wと書き,(v,w)のテンソルという。
つまりテンソルは類の事だと思います。

定義から
(v_1+v_2)(×)w=v_1(×)w + v_2(×)w
v(×)(w_1+w_2)=v(×)w_1 + v(×)w_2
(αv)(×)w=v(×)(αw) =α(v(×)w)

が成り立つとあったのですが
とりあえず
(v_1+v_2)(×)w=v_1(×)w + v_2(×)wを示してみようと思いまして
0692１３２人目の素数さん2008/10/29(水) 02:25:26
∀(α,β)∈v_1(×)w+v_2(×)wを採ると
v_1(×)w+v_2(×)w={(α,β)∈span(V×W);(α,β)≡(v_1,w)(mod T)}+{(α,β)∈span(V×W);(α,β)≡(v_2,w)(mod T)}だから
(α,β)=(α_1,β_1)+(α_2,β_2) …①
但し
(α_1,β_1)≡(v_1,w) (mod T)
(α_2,β_2)≡(v_2,w) (mod T)
という関係になっている。両辺を足して
(α_1,β_1)+(α_2,β_2)≡(v_1,w)+(v_2,w) (mod T) …②
そして
(v_1+v_2,w)-(v_1,w)-(v_2,w)≡0 (mod T) (∵Tの定義)より
(v_1+v_2,w)≡(v_1,w)+(v_2,w) (mod T) …③
②と③から
(α_1,β_1)+(α_2,β_2)≡(v_1+v_2,w) (mod T)
よって①から
(α,β)≡(v_1+v_2,w) (mod T).
∴(α,β)∈(v_1+v_2)(×)w
0693１３２人目の素数さん2008/10/29(水) 02:25:57
逆に
∀(α,β)∈(v_1+v_2)(×)wを採ると
(v_1+v_2)(×)w={(α,β)∈span(V×W);(α,β)≡(v_1+v_2,w)(mod T)}だから
(α,β)≡(v_1+v_2,w) (mod T)…④
そして
(v_1+v_2,w)-(v_1,w)-(v_2,w)≡0 (mod T) (∵Tの定義)より
(v_1+v_2,w)≡(v_1,w)+(v_2,w) (mod T) …⑤.
④と⑤より
(α,β)≡(v_1,w)+(v_2,w) (mod T).
これからこの(α,β)が
(α,β)=(α_1,β_1)+(α_2,β_2)且つ
(α_1,β_1)≡(v_1,w) (mod T)
(α_2,β_2)≡(v_2,w) (mod T)
という(α_1,β_1)と(α_2,β_2)の存在を示さないとと
(α,β)∈v_1(×)w+v_2(×)wとは言えませんよね。

どうすれば(α_1,β_1)と(α_2,β_2)の存在が示せますでしょうか?
0694１３２人目の素数さん2008/10/29(水) 02:35:21
>>689

両方やれって事かよ
0695１３２人目の素数さん2008/10/29(水) 06:51:07
体K上の２変数多項式環K[X,Y]のX^2-Y^3によって生成されるイデアル(X^2-Y^3)による
剰余環をRとするとき, R は整域であることを示したいんですがうまくできません

(X^2-Y^3)が素イデアルであることをしめせばいいのはわかるんですが
X^2-Y^3が因数分解できないから素イデアルであるとかではだめなんですよね
きちんとした証明がしりたいので教えてください
0696１３２人目の素数さん2008/10/29(水) 20:34:08
>>695
素イデアルの定義を考えればおｋ
0697１３２人目の素数さん2008/10/29(水) 22:30:36
自明
0698１３２人目の素数さん2008/10/30(木) 11:58:25
K:={a+b√5;a,b∈Q},P_n:={Σ[i=0..n]a_ix^i;a_i∈K}とする。

K上のテンソル積P_2(×)RとP'_2:={a_0+a_1x+a_2x^2;a_i∈R}とは同型である事を示せと言う問題です。

P_2(×)RからP'_2への全単射な同型写像fとしてどのようなものが取れますでしょうか?

P_2(×)R∋∀p(×)r→f(p(×)r):=????
0699１３２人目の素数さん2008/10/30(木) 14:43:32
>>695 K[X, Y] →　K[t] を　X, Yをそれぞれt^3, t^2に運ぶ
環準同型を定義して、その像が１次元であることは自明。
ゆえに核は高さ１の素イであるであり、UFDであることから
一つの元で生成される。また核にはX^2-Y^3が入っていることから
ちょっと考えると生成元がこれになることが分かる。
0700１３２人目の素数さん2008/10/30(木) 17:28:13
おい、礼ぐらいしろよ
0701１３２人目の素数さん2008/10/30(木) 17:33:59
>>700
ありがとうございました
　, - ,----､
（Ｕ（　　　　）　
｜　|∨Ｔ∨
（＿_）＿）


　, - ,----､
（Ｕ（　　　　）　
｜　|∨Ｔ∨　ﾁｭﾊﾟﾁｭﾊﾟ
（＿_）＿）
0702１３２人目の素数さん2008/10/30(木) 22:42:42
連続体濃度より濃い濃度を持つ体って厚生できまつか？
0703１３２人目の素数さん2008/10/30(木) 22:47:48
>>691-693
やってることが全てナンセンス。
0704１３２人目の素数さん2008/11/03(月) 09:11:31
>>702
Kを任意の体として、Λを好きな濃度の集合とする。
この時、形式多項式体　K[[x_λ| λ∈Λ]]　を考えればＯＫ
0705１３２人目の素数さん2008/11/03(月) 10:17:42
>>704
形式多項式体って何？
0706１３２人目の素数さん2008/11/03(月) 10:24:55
ローラン級数体K((x_λ))とでも言いたかったのでは
0707１３２人目の素数さん2008/11/03(月) 10:34:44
それでもいいが有理関数体 K(x_λ) つまり多項式環 K[x_λ] の商体のほうが
例として分かりやすい。
0708１３２人目の素数さん2008/11/04(火) 08:45:22
実数体Λから｛０，１｝への写像全体
のほうが簡単では？
0709１３２人目の素数さん2008/11/04(火) 08:48:14
ごめん体である必要があったんですね。代数スレというのを忘れてました
0710１３２人目の素数さん2008/11/04(火) 08:52:23
>>708
体じゃないだろ。
0711１３２人目の素数さん2008/11/05(水) 00:33:34
体じゃなかったら何でもありだろｗ
0712１３２人目の素数さん2008/11/05(水) 00:40:10
からだじゃなかったら何がねらいなんだ、金か？
0713１３２人目の素数さん2008/11/05(水) 00:42:32
>>704は記号だけ見ると形式冪級数環
といいたかったのかな。
間抜けにも体じゃないけど。

「形式多項式体」には腹いたいぐらい
ツボに填まって小一時間うけてしまったｗ
0714１３２人目の素数さん2008/11/05(水) 02:43:25
形式多項式体？？？？？？？？？　何それ？
0715１３２人目の素数さん2008/11/05(水) 03:05:48
>>714
>>704の虎の子だろう、きっと。
0716１３２人目の素数さん2008/11/05(水) 17:22:07
>>704叩かれ過ぎﾜﾛﾀ
0717１３２人目の素数さん2008/11/05(水) 19:31:08
整域の非可換版ってあるんですか？
0718１３２人目の素数さん2008/11/05(水) 19:37:47
>>717
あるよ。可換の話をしてるか非可換の話をしてるかは
文脈で分かるので、特に区別せず整域と呼ばれる。
0719１３２人目の素数さん2008/11/05(水) 20:40:17
整域の非可換版は聖域
0720１３２人目の素数さん2008/11/05(水) 21:24:43
非可換整域ってどんな本に載ってますか？私の持ってる代数入門書はどれも可換なのですが
0721１３２人目の素数さん2008/11/05(水) 21:25:49
そら、非可換環の本だろう。
つか、入門書とか釣りか。
0722１３２人目の素数さん2008/11/06(木) 00:47:44
おいらの持っている本(Lam)には
commutative domain = integral domain
と書いてあるが・・・
0723１３２人目の素数さん2008/11/06(木) 00:56:04
>>443
整域が可換なのは当然だろ
どこの定義でも整域は可換環になってる
今言ってるのは717の言葉を借りれば「整域の非可換版」
恐らく零因子を持たない非可換環のことかと
0724１３２人目の素数さん2008/11/06(木) 00:56:37
↑アンカーはミスなので無視してくれ
0725１３２人目の素数さん2008/11/06(木) 01:17:05
じゃあ非可換域と言えばいいんじゃないの？
0726１３２人目の素数さん2008/11/06(木) 02:28:40
だから聖域に触れてはならぬと
0727１３２人目の素数さん2008/11/06(木) 09:54:55
Domain
ttp://en.wikipedia.org/wiki/Domain_(ring_theory)
0728１３２人目の素数さん2008/11/06(木) 11:48:45
日本語の代数入門書では非可換整域はほとんど無視されている感じ
英語圏では非可換整域を基本的な用語と取り扱っている感じ
代数全体から見たときどっちが正当な扱い・重要度なのでしょうか
0729１３２人目の素数さん2008/11/06(木) 13:44:17
そんなの文脈で判断しろ。
0730１３２人目の素数さん2008/11/06(木) 16:39:15
最初に準同型定理を発見・証明したのは誰？
■ このスレッドは過去ログ倉庫に格納されています