代数学総合スレッド 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/
0552132人目の素数さん
2008/10/19(日) 18:34:12だからHomの性質からテンソルの性質が出てくる。
これを認識してないやつが多すぎる。
俺もこれを知って目から鱗
因みに代数やるやつ、っていうか数学やるやつは圏論の基礎を知らないと
話にならない。
0553132人目の素数さん
2008/10/19(日) 19:46:56というか平均的にはそっちのほうが多いかも。
0554132人目の素数さん
2008/10/19(日) 19:59:35それは無知なだけ。
昔は集合論を知らなくても数学は出来たというようなもん。
0555132人目の素数さん
2008/10/19(日) 20:03:10しかし、圏論は言葉という面もあるからね。
知らないやつと話すのはくたびれる、つーか話したくない。
0556132人目の素数さん
2008/10/19(日) 20:06:49定義と基礎的な定理、例えば米田の補題くらいなら1日で学べるくらい
簡単なんだから。
0557132人目の素数さん
2008/10/19(日) 20:37:42圏論の初学者向けの本教えてくれ
もちろん日本語の
0558132人目の素数さん
2008/10/19(日) 20:41:06>もちろん日本語の
甘えるな。
英語出来ない時点で数学はやる資格なし。
圏論より英語の勉強が先だ。
0559132人目の素数さん
2008/10/19(日) 20:43:030560132人目の素数さん
2008/10/19(日) 20:46:29日本人の誇りを失ったのか
0561132人目の素数さん
2008/10/19(日) 20:51:58ありがとう
0562132人目の素数さん
2008/10/19(日) 20:53:56アホか。
そういう問題じゃない。
数学の世界では英語が共通語なんだよ。
0563132人目の素数さん
2008/10/19(日) 20:55:20うるせえ
俺は英語厨とは断固戦う
外人には日本語を要求する
0564132人目の素数さん
2008/10/19(日) 20:58:33日本語は別の論理体系っぽい
0565132人目の素数さん
2008/10/19(日) 20:59:54勝手にすればいい。
その代り翻訳とかも読むなよ。
もとねたはお前の嫌いな英語なんだからな。
つーかカタカナ英語も使うな。
もとは英語なんだからな。
0566132人目の素数さん
2008/10/19(日) 21:04:17>日本語は別の論理体系っぽい
なこたあない。
論理が違ったら日本語で数学が出来ないことになる。
現実は問題なく出来てる。
0567132人目の素数さん
2008/10/19(日) 21:08:19いや、disjointという意味じゃなくて、
なんか+αなのかねじれてるというか、
同形じゃない感じなんだよ。
ああ、この板で感じとかいうとフルボッコにされそうだけどw。
0568132人目の素数さん
2008/10/19(日) 21:12:21>ああ、この板で感じとかいうとフルボッコにされそうだけどw。
わかってるじゃないか。
論理なんて単純だから言語の違いなんて問題にならない。
A なら B とか、A かつ B とかな。
どこがむずいんだよ。
0569132人目の素数さん
2008/10/19(日) 21:12:42a → ∀
the → ∃
ってな感じで。
日本語でも表現はできるけど、意図的に意識してやってる感じなんだよね。
0570132人目の素数さん
2008/10/19(日) 21:18:55単なる記号だろ。
因みに a → ∀ じゃないだろ。
それを言うなら all → ∀
the → ∃じゃなくて exist → ∃
どこがむずいんだよ。
0571132人目の素数さん
2008/10/19(日) 21:21:53むずいとかの話じゃないんだけど、まあ個人的な感想の話だし、
これ以上やるとUAとかUGとかGGの話に飛びそうだから止めとくか。
そもそも板違いだしw。
0572132人目の素数さん
2008/10/19(日) 21:28:27>まあ個人的な感想の話だし、
逃げたなw
0573132人目の素数さん
2008/10/19(日) 21:34:37冠詞 総称表現 で ぐぐれ。 呆れた。
0574132人目の素数さん
2008/10/19(日) 23:10:35なんで冠詞が出てくるんだよ。
The lion is dangerous の the は all という意味もある。
0575132人目の素数さん
2008/10/19(日) 23:41:01その場合は「ライオン」というカテゴリを指すから、ALLと解釈するのはちと違う。
0576132人目の素数さん
2008/10/19(日) 23:45:04それを言ったら A lion is dangerous も同じ。
要するに冠詞はお門違い。
0577132人目の素数さん
2008/10/20(月) 01:31:00http://science6.2ch.net/test/read.cgi/math/1224000009/47以降に
レスしといた
0578132人目の素数さん
2008/10/20(月) 01:42:48めんどくせえよ、アホ
0579132人目の素数さん
2008/10/20(月) 10:29:15> 「以降」はそもそも計算できないので書けません。
> そんなこともわからずにテンソルテンソル言ってたんですか。
あまり詳しくなくてすいません。
それでは
「定義から
(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)
が成り立つ」
はどうやって証明するのでしょうか?
0580132人目の素数さん
2008/10/20(月) 19:51:19まさに定義からでしょ。一番上だったら
(v_1 + v_2, w) = (v_1, w) + (v_2,w) (mod T)
が T の定め方から成り立つから、で十分。
0581132人目の素数さん
2008/10/21(火) 00:05:350582132人目の素数さん
2008/10/21(火) 02:36:040583132人目の素数さん
2008/10/21(火) 03:34:53まあリー環論と表現論って応用というべきかどうかは分からんけど。
多様体論も表現論も物理数学だから純粋数学じゃないとか
言い出したら知らんけど。
0584132人目の素数さん
2008/10/21(火) 10:13:41>>>579
> まさに定義からでしょ。一番上だったら
> (v_1 + v_2, w) = (v_1, w) + (v_2,w) (mod T)
> が T の定め方から成り立つから、で十分。
すいません。Tの定め方からの意味がよく分かりません。すいません。
{(x,y)∈span(V×W);(x,y)≡(v_1+v_2,w) (mod T)}
=
{(x,y)∈span(V×W);(x,y)≡(v_1,w) (mod T)}+{(x,y)∈span(V×W);(x,y)≡(v_2,w) (mod T)}
を示すんですよね。
まず左⊂右を示したいですが
∀(x,y)∈{(x,y)∈span(V×W);(x,y)≡(v_1+v_2,w) (mod T)}をとると
これから,どのように書けますでしょうか?
「(x,y)=(t,s)+(v_1+v_2,w) (但し(t,s)∈T)」は間違いなんですよね?
0585132人目の素数さん
2008/10/21(火) 14:35:46特に量子力学にまったく興味の無い純粋数学者にとって
0586132人目の素数さん
2008/10/21(火) 15:06:04物理数学の教科書に線型代数が載ってるからって
線型代数は物理数学だから純粋数学じゃない、とは言わないのと同じで。
0587132人目の素数さん
2008/10/21(火) 17:31:53(A,B:集合、線型空間、群、環、イデアルなど)
0588132人目の素数さん
2008/10/21(火) 17:46:41たとえば整数論などへの。
0589132人目の素数さん
2008/10/21(火) 18:40:350591132人目の素数さん
2008/10/21(火) 19:30:450592132人目の素数さん
2008/10/21(火) 20:12:48これにはネーター環とか書かれていないので
そういうのが書かれているオススメの参考書を教えてください
0593132人目の素数さん
2008/10/21(火) 21:03:40英語ならだいたい A mod B。A わる B もよく聞く。
0595132人目の素数さん
2008/10/21(火) 23:32:410596132人目の素数さん
2008/10/22(水) 00:11:240597132人目の素数さん
2008/10/22(水) 00:29:55「Bで割った奴から〜」なんて言い方してる気がする
0598132人目の素数さん
2008/10/22(水) 02:30:57線形と微積は終わったとして
0599132人目の素数さん
2008/10/22(水) 02:32:58現代代数学(ファン・デル・ヴェルデン)
現代代数学概論(バーコフ/マクレーン)
0600132人目の素数さん
2008/10/22(水) 02:55:400601132人目の素数さん
2008/10/22(水) 02:59:450602132人目の素数さん
2008/10/22(水) 03:17:39ノーテーションとか定義などの流儀とかは時代によるでしょ
ピタゴラスの定理をまなぶためにユークリッドの原論よまんでしょ
0603132人目の素数さん
2008/10/22(水) 03:25:52この流れはガチで釣りだw
0604132人目の素数さん
2008/10/22(水) 03:41:470605132人目の素数さん
2008/10/22(水) 03:42:5520世紀の定番が古いとか言い始める感覚はちょっとな。
0606132人目の素数さん
2008/10/22(水) 03:43:300607132人目の素数さん
2008/10/22(水) 05:46:35古い教科書で正しいことは新しい教科書でも正しい。
物理も大概そう。
ちょっと導入の仕方が違ったりするだけ。
0608132人目の素数さん
2008/10/22(水) 06:40:01わけだがらこれのさわり、または準備は教科書に入れておいたほうが
いいだろう。
例えばHomの左完全性とかテンソル積の右完全性とかな。
総じて加群の一般理論が重要になる。
これ等は古い教科書にはあまり載ってない。
0609608
2008/10/22(水) 06:41:250610608
2008/10/22(水) 06:47:33かかわらず、これ等が導入されたのは1950年代と比較的新しい。
非常に基本的なものというのは灯台もと暗しで気付きにくい。
だから、まだ発見されてない概念で非常に重要かつ基本的なものが
あるかもしれない。
0611132人目の素数さん
2008/10/22(水) 11:35:17| 釣れますか? ,
\ ,/ヽ
 ̄∨ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ,/ ヽ
∧_∧ ∧∧ ,/ ヽ
( ´∀`) (゚Д゚,,),/ ヽ
( ) (| つ@ ヽ
| | | ___ 〜| | ヽ
(__)_) |――|. ∪∪ ヽ
 ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄| ヽ
/⌒\/⌒\/⌒\/⌒\|彡~゚ ゜~ ~。゜ ~ ~ ~ ~~ ~ ~~ ~ ~~ ~~ ~~
⌒\/⌒\/⌒\/⌒\/⌒\彡 〜 〜〜 〜〜 〜〜 〜 〜
0612132人目の素数さん
2008/10/22(水) 12:17:47群論なんかは別に一冊買って有限群とか表現論とかに
滅茶苦茶詳しくなる必要は無いかもしれないけど
ホモロジー代数を代数学の一般的教科書で
30ページくらい勉強しても仕方が無いんじゃ。
0613608
2008/10/22(水) 12:59:04しかし、現代的な加群の一般論は早期に導入したほうがいい。
0614132人目の素数さん
2008/10/22(水) 14:55:32|
〜〜〜〜〜〜〜〜|〜〜〜〜〜〜〜〜〜〜
| >( c´,_ゝ`)
|
J >( c´,_ゝ`)
>( c´,_ゝ`)
0615132人目の素数さん
2008/10/22(水) 16:12:270616132人目の素数さん
2008/10/22(水) 17:17:40ちゃんとガロア理論なりホモロジー代数なり表現論の本を読んだ方がいい訳で
0617132人目の素数さん
2008/10/22(水) 18:23:52「代数学の本」は定義+α程度で満足しておいたほうが幸せになれる気がする.
0618132人目の素数さん
2008/10/22(水) 21:57:22位数nの有限群Gはn次対称群Snのある部分群と同型であることを示せ
とっかかりが全然わかりません。
0619132人目の素数さん
2008/10/22(水) 22:23:400620132人目の素数さん
2008/10/22(水) 22:37:04今年二年生になって代数学Aが始まったんですが彼氏が他の男性と話すの嫌がるので男子にきけないんです。
{1,2,,,n}からそれ自身への置換全体がSnなのはわかります。ただ有限群GからSnへの写像をどう定義したらうまく準同型といえるのかわかりません。
0621132人目の素数さん
2008/10/22(水) 22:45:370622132人目の素数さん
2008/10/22(水) 22:48:120623132人目の素数さん
2008/10/22(水) 22:58:43>今年二年生になって代数学Aが始まったんですが彼氏が他の男性と話すの嫌がるので男子にきけないんです。
│
│
│
│
│ _
│ /  ̄  ̄ \
│ /、 ヽ
J |・ |―-、 |
q -´ 二 ヽ |
ノ_ ー | |
\. ̄` | /
O===== |
/ |
/ / |
0624132人目の素数さん
2008/10/22(水) 23:05:45お願いします。
大筋だけ教えてもらえませんか?
0625132人目の素数さん
2008/10/22(水) 23:07:500626132人目の素数さん
2008/10/22(水) 23:08:14ハ,,ハ
( ゚ω゚ ) お断りします
/ \
((⊂ ) ノ\つ))
(_⌒ヽ
ヽ ヘ }
ε≡Ξ ノノ `J
0627132人目の素数さん
2008/10/22(水) 23:09:490628132人目の素数さん
2008/10/22(水) 23:16:46Gの元を適当に並べて、それにGの元gを作用させると、
並べ替えが起こる。それを痴漢だと思えばよい。
0629132人目の素数さん
2008/10/22(水) 23:30:36ありがとうございます
∀g∈G
φ:G→G (x→gx)
これがまず全単射ですよね
f:G→Sn
この写像fが準同型であることはどういえばいいんでしょうか?
0630132人目の素数さん
2008/10/22(水) 23:36:56fとしてg→φ[g]を考える (φ[g]:G→G ; x→gx)
0631132人目の素数さん
2008/10/22(水) 23:37:10φじゃなくてφ(g)とか書いて
普通に言えばいいだろ
0632132人目の素数さん
2008/10/22(水) 23:42:34∀g∈G
φg:G→G (x→gx)を用意しといて
φ:G→Sn (g→φg)
これが準同型であることをいえばいいんですね
Gの元g,hに対して
φg◦φh(x)=φg(hx)=ghx=φgh(x)ですね!
つぎに何をいえばいいんでしょうか?
0633132人目の素数さん
2008/10/22(水) 23:46:34って思ってしまうんですが自信が全くありません
0634132人目の素数さん
2008/10/22(水) 23:46:50あとはφ:G→Snが単射であることが言えればGとφ(G)が同型で証明は終わるだろ
そう言えば俺の大学置換表現飛ばしたな・・・
自力で習得したけど
0635132人目の素数さん
2008/10/22(水) 23:56:51│ \≡(`Д´;))≡= オオッ!
│ \≡// ))≡=
│ ≡」」」≡=
│
│
│
│
│
│
0636132人目の素数さん
2008/10/22(水) 23:57:25GとSnの部分群が同型
⇔Gとφ(g)が同型
↑これはなぜですか?
また
φが単射ならばGとφ(g)が同型といえるんですか?
0637132人目の素数さん
2008/10/23(木) 00:00:49| ノ ヽ /
/ > < |/ そんな餌パクッ
| //// ( _●_)/ミ
彡、 l⌒l ノ
/ __ \ \ヽ
. (___) \__)
. O| /
| /\ \
| / ) )
∪ ( \
\,,_)
∩___∩
| ノ ヽ
/ ● ● | オエー!!!
| u U ( _●_) ミ 。
彡、 |゚。、` ヽ。、o
/ __ ヽU o
. (___)U | ∴l
. O| U :l
| /\ |:!
| / ) U
∪ ( \
\,,_)
0638132人目の素数さん
2008/10/23(木) 00:02:16さすがに釣りか?
0639132人目の素数さん
2008/10/23(木) 00:02:34いえ・・・(苦笑)
まじでわかんないばかなんですあたし・・
0640132人目の素数さん
2008/10/23(木) 00:02:46.,,,,,,,,,,,,,,,,,,,,,,,,} ||″゙'L,,,、 ー‐¬'''‘゙゙^.゚L :|゙゙゙ス :--i :}`::,!
:| ..| ,ゝ: --...・'''''''゙、 :| .| | | 、: : ,.} l゙:
:| .l―――┤ .,!: /ヘi、: |,,,,,,,,,,,,, .,,,,,,,,,,,:-イ ―--: : :| | |: : : : : : .,,,v-ー''''': 丶
:| .l,,,,,,,,,,,,,,,,,⊥ .巛 .,f° .|''''''''″‘'''''''",,,,,、 ,,,,, :、 .| | `゙゙゙゙゙| 广゛.゙l,,.,、、,,,,、.,.
,! ,!| --. .| ゙l ` ,,i´_ :| ニフ ニフ ;: : 、 .| :| | | | ] .l゙
.,i´ 〕| ''''''" .:lr″ 'h,!`゚'i | :-┐.ーi、 :: : , ` ,′| | | r-、 ,i´ │
: ,i´ ,l゙.": ''''''''l∵ ,,r'h,_ . | |_,,,` ,,,__、│ .| .| .| | | ,l゙ .i、 .,″│ /'''i、
゚''!l'・r,|: .'ll广'.l,″ .,,r巛'″ ,!''''''''" .'冖''''''..,l゙ │ | .| | |、 .,l″,i´ .,l゙ .,″ :| :|、 ,rー:'''r,、
│ .|] : ゙'l, ゙k,,,,|i,、゙< ――i、 :ッrr+',,i´ ,l゙ " ′ 〔 ゚=i、,,,,.v/°.,l° .,i´ │ │ `"'…‐: ーi、 ,i´,r'''ッ ゙ト
.,″.l゙.| .-: :゙*'":l゙ ]゙k ,ト .:I'""゙″ ._,,,,,�=@,r": :/ .i、 ゚=,_ ._,x┘ h,,.,l゙ `ヘ_,_、: : ._,| l, .゙l,_,/ .l゙
'ヘ。,i´゙l____,,/ ゙< .゙l,r‐'''''"″.'k..,r" ゙l__,,r° .~`''''''''`″ ″ :  ̄` ̄` ゙X_,,,r°
0641132人目の素数さん
2008/10/23(木) 00:04:12ほんきで釣りじゃないです・・
0642132人目の素数さん
2008/10/23(木) 00:05:35f:G→G' が準同型ならf(G)はG'の部分群
fの終集合をf(G)にしたf:G→f(G)は全射
おk?
0643132人目の素数さん
2008/10/23(木) 00:06:03│┌┐│ │ ロ | l lコ |
└┘ |_ノ └──┘ └‐ワ__ノ
0644132人目の素数さん
2008/10/23(木) 00:07:010645132人目の素数さん
2008/10/23(木) 00:07:15: | z,,,,i、 lニ,i、 | | | ゙l .|,,,i、 | ヶ 々 .|,_ | ハ,,,l゙ |―¬''''''"゙゙` |
: | | .l゙ .| .|'''''''''″ │ .| �� ,��.l|″ `゙~{ .,,,,―‐'"゙゙゙゙゙ヘ、 ヽ,,,,,,,、y ,,/`
: | lニニ lニコ |i、 .| | .ヽ---i、 ,i´ .| ` `゜ .|',! .t'" .ヽ _,,,-―ー. │ / /`
: | │ | | .| | .'l''〒 ワ''''|,l゙ .,ト ゙l ″ | | ./ ,/`
,,ニニニ' .━━(二 | | .,,-―l゙ | .,|,,,,,。 .,yw《 l゙.゙l │ / l゙ | l゙
.ヽ ._,,,,,,,,,、 .゙l .| | / ,,,,、 ヽ、 .| _,,,,、,,l゙ .゙l_,/ ,/ .,/ ゙l ヽ、
゙7 /.,,、 | | .| | ゙l ―" 、 .゙i、 ゚) |゙゙/'] .,‐'| ,‐゚| ┌‐'" ,/ .ヽ、 `""''''''7
./ ,i´ .゙广'''''" .| | _} `-,_,,-"'r,i´ │ / ゙l ゙l.゙l、゙l、|、゙l、 ヽ,-‐′ `''-、,,,,,__/
: ‘'‐′ `'――''゜ ‘゙゙゛ ゜ ‘''''" ‘'′ ゙'′ ゙'"
0646132人目の素数さん
2008/10/23(木) 00:07:51,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,, .,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
”″ : :
0647132人目の素数さん
2008/10/23(木) 00:12:50ほんっとにありがとうございました!
こんなに釣り釣りっていわれるくらい程度の低い問題なんですね・・
勉強がんばります・
0648132人目の素数さん
2008/10/23(木) 00:18:500649132人目の素数さん
2008/10/23(木) 00:20:24探してたら(◎_◎)なんとっ!☆彡(ノ^^)ノ☆彡ヘ(^^ヘ)☆彡(ノ^^)ノ☆彡
馬鹿みたいなスレ♪を発見!!!!(^o^)//""" パチパチパチ
さ・む・い〜{{ (>_<;) }} ブルブル何個かレスがありますけど、
これ全部1人の方がレスしているんですか?(@@;)すごすぎ …
てなわけで、ついつい書いちゃったのらー(o^v^o) エヘヘφ(`∇´)φカキコカキコ♪
削除依頼、出してくれるよねっ。(*^-^*) お・ね・が・い♪(* ̄・ ̄)ちゅ♪ッ
え?くれないのぉ〜?(;¬_¬)そんなのいやいや〜〜、ガ━━━(゚ロ゚)━━━ン
出してくれなかったら、( `_)乂(_´ ) 勝負! \(^o^)/
☆○(゜ο゜)o ぱ〜んち、☆(゜o(○=(゜ο゜)o バコ〜ン!!( ゚▽゚)=◯)`ν゚)・;'パーンチ
(>_<) いてっ!ダメ!! ゛o(≧◇≦*)oo(*≧◇≦)o″ダメ!!
(☆o☆)きゃ〜〜(@_@;)やられた〜〜(o_ _)o ドテッ ガ━━(゚Д゚;)━━ン!
(+_+) 気絶中。。。。ということで。じゃあね〜〜〜♪(⌒0⌒)/~~
0650132人目の素数さん
2008/10/23(木) 18:30:50いろいろ群論とか代数学の本調べれば
ほぼ同じ問題が載ってると思うぞ
0651132人目の素数さん
2008/10/23(木) 18:42:34■ このスレッドは過去ログ倉庫に格納されています