1051:１３２人目の素数さん
20/12/13 06:33:53.91 hbHQHgSE.net
部分群の指数
URLﾘﾝｸ(ja.wikipedia.org)
指数の定義
「数学、とくに群論において、群 G における部分群 H の指数 (index) は
G における H の「相対的な大きさ」である。
同じことだが、G を埋め尽くす H の「コピー」（剰余類) の個数である。」
693の定理の話
「無限群 G は有限指数の部分群 H をもつかもしれない。
そのような部分群はつねにまた有限指数の（G の）正規部分群 N を含む。
実は、H が指数 n をもてば、N の指数は n! のある因子としてとることができる。
実際、N はG から H の左（または右）剰余類の置換群への自然な準同型の核にとることができる。」
上記４行目の「左（または右）剰余類の置換群への自然な準同型」が
「似たような発想」の正体 >>707の「組み換え」と同じ
これで話がつながった もう逃げられないぞ 雑談君
1052:１３２人目の素数さん
20/12/13 08:33:18.02 lKYEUf04.net
>>958
相手の発言内容は度外視で、権威者には媚び諂い、そうでない者には尊大・横柄な態度を取る
これが瀬田の本性ですね
1053:１３２人目の素数さん
20/12/13 08:34:32.05 lKYEUf04.net
>>959
>反例は見つかってないだけで、反例がないとはいえない
じゃあるとも言えないじゃんｗ バカｗ
1054:現代数学の系譜 雑談
20/12/13 08:35:23.31 HcEKuJwa.net
>>953
補足
(引用開始)
URLﾘﾝｸ(ja.wikipedia.org)
単純群
1.2 無限単純群
無限単純群
無限交代群 A_∞、つまり整数全体の偶置換の群は単純群である。この群は有限群A_nの(標準埋め込み A_n → A_n+1に関する)単調増加列の合併として定義できる。
(引用終り)
ふと思ったが
これで、同様に無限対称群 S_∞を考えたらどう？
上記のA_∞と同じ
で、S_∞ ⊃ A_∞ となって、有限群で SnとAnのアナロジーができる
A_∞は、S_∞の正規部分群で、その指数は２とできるだろう（証明は、多分可能じゃね？（＾＾；）
それで
>>905
>龍孫江氏のYoutube動画
>解説テキスト版：URLﾘﾝｸ(note.mu)
>”Ｇが群、ＨがＧの指数有限の部分群ならば、Ｈは指数有限の正規部分群を包むことを示せ．”
>>906
> "昔々、多分１９６０年ころの東大の院試問題で
> 「群が指数有限の部分群を含めば、指数有限の正規部分群を含む」
> ってのが出た"
ここで、G＝S_∞、H＝A_∞としたらどうなるのかね？
有限群では、 SnとAn（n≧5）なら、Snに対してAnは唯一の非自明な正規部分群だろ？ でも、この場合は{e}を使えば、Anに「指数有限の正規部分群を含む」は言える
しかし、G＝S_∞では、{e}では指数有限にならないが
G＝S_∞で、A_∞⊃Nと出来て、NはS_∞に対して「指数有限の正規部分群」となるようなN（当然無限群でなければならない）が存在れば良いけど
その龍孫江氏の証明使って良いからさｗｗｗ
上記A_∞⊃Nなる「指数有限の正規部分群N」の存在を示せ！ｗ（＾＾；
どぞ（＾＾；
示せないなら、G＝S_∞で反例成立じゃね？
1055:現代数学の系譜 雑談
20/12/13 08:37:52.88 HcEKuJwa.net
>>966 タイポ訂正
G＝S_∞で、A_∞⊃Nと出来て、NはS_∞に対して「指数有限の正規部分群」となるようなN（当然無限群でなければならない）が存在れば良いけど
↓
G＝S_∞で、A_∞⊃Nと出来て、NはS_∞に対して「指数有限の正規部分群」となるようなN（当然無限群でなければならない）が存在すれば良いけど
分かると思うが（＾＾
1056:現代数学の系譜 雑談
20/12/13 08:44:50.96 HcEKuJwa.net
>>966
補足
ああ、そうか
G＝S_∞、H＝A_∞では、H自身が該当する？
でも、龍孫江氏のYoutube動画の証明では、H＝A_∞⊃Nなる「指数有限の正規部分群N」があるような説明になっているよね
そこ、どうなの？ｗｗｗ（＾＾；
1057:現代数学の系譜 雑談
20/12/13 08:50:33.00 HcEKuJwa.net
>>968
>でも、龍孫江氏のYoutube動画の証明では、H＝A_∞⊃Nなる「指数有限の正規部分群N」があるような説明になっているよね
>そこ、どうなの？ｗｗｗ（＾＾；
龍孫江氏のYoutube動画の証明では、Hは正規部分群でないとして、スタートして、Hに正規部分群が含まれるという証明でしょ？
Hは正規部分群が前提だったら、龍孫江氏のYoutube動画の証明とは合わないよね（＾＾
1058:１３２人目の素数さん
20/12/13 08:54:49.53 hbHQHgSE.net
>>966-969
人の話を聞かずに自分のいいたいことだけいうとか
今回の根本的誤りがよっぽど屈辱だったのかな？
1059:現代数学の系譜 雑談
20/12/13 08:56:45.78 HcEKuJwa.net
>>969
もっと端的に言えば、
龍孫江氏のYoutube動画の証明では、Hは正規部分群でないのに、Hに正規部分群Nが含まれるという証明でしょ？
それだけでしょ？
仮に、百歩譲ってその証明が正しいとして、含まれる正規部分群Nが、「指数有限」であるの部分が言えていないと思うけど
どう？（＾＾
1060:現代数学の系譜 雑談
20/12/13 09:01:58.51 HcEKuJwa.net
>>970
屈辱？ 別に（＾＾
無限群の場合って、殆ど考えたことがなかったからね
皆も同じじゃね？
たいてい、すぐNとかZとかQとかRとかCとかになって、体だ環だに入る
その範囲の具体的な無限群で間に合う
G＝S_∞、H＝A_∞ とか、どうなるの？ どぞ（＾＾；
1061:１３２人目の素数さん
20/12/13 09:07:34.29 hbHQHgSE.net
>>972
>無限群の場合って、
あ、話そらした
「任意の有限群は、対称群の部分群となる」
に無限群でてこないよ
別の話に逃げるのは、ガロア理論の基本定理を
根本的に誤解してたのが屈辱だからでしょ？
素直になろうよ 雑談く～ん
1062:１３２人目の素数さん
20/12/13 09:19:07.05 hbHQHgSE.net
完全な脱線
＞（無限群の例って）すぐNとかZとかQとかRとかCとかになって
それしか知らんのか？
＞G＝S_∞、H＝A_∞ とか、どうなるの？
非可換な部分群でそれしか思いつかんのか？
雑談君には思いつけなかったが、別に難しくない例
１）２×２実正則行列の群 GL(2,R)
２）２×２で行列式１の実正則行列の群 SL(2､R)
３）２×２で行列式１で要素がすべて整数の正則行列の群（モジュラー群） SL(2,Z）
４）階数2の自由群 F2
さて問題
SL(2,R)がF2を部分群として持つことを示せ
1063:１３２人目の素数さん
20/12/13 09:23:58.05 hbHQHgSE.net
>>974
あ、いかんいかん、Nは単位的半群（モノイド）だ
1064:ID:1lEWVa2s
20/12/13 11:02:31.10 mdqno+pt.net
離散数学始めました。
本は買ってませんが独学で解いていこうと思います。
解いていこうはおかしいかもしれませんが。
解として与えられるものって意味になるので。
ある等差数列の和で表せれる体がある時
ある環境条件下で次が存在して次の場への展開があるとき。
その体はどう離散していくか。でしょうね。
何所に数が分散されるか。で。
例えばヤング係数をもった体に自重モーメントがかかったり外的に掛かる時
その体である構造物はどうなるか。
でしょうね。
1065:ID:1lEWVa2s
20/12/13 11:03:48.87 mdqno+pt.net
>>976
この体を積体と呼び。
力によって形がある一定以上存在できない宇宙を説明します。
1066:ID:1lEWVa2s
20/12/13 11:15:31.80 mdqno+pt.net
玉置さんが言うに数学は数学者にまかせればいいと。
1067:ID:1lEWVa2s
20/12/13 11:17:28.18 mdqno+pt.net
但し私は積分や等差数列について勉強をしたことがない。若干あるが。
本に載ってるようなことは不可能でできません。
1068:ID:1lEWVa2s
20/12/13 11:27:31.17 mdqno+pt.net
ま、ようするに中二病のたわごとです。
数学じゃないんで。
1069:現代数学の系譜 雑談
20/12/13 11:31:40.84 HcEKuJwa.net
>>978
>玉置さんが言うに数学は数学者にまかせればいいと。
ID:1lEWVa2sさん、どうも
レスありがとう
同意です
数学研究や、難しいところは、数学者に任せれば良い
出来た数学の上澄みを、ありがたく使わせて貰う
例えば、インターネットを使う。インターネットの原理やソフトの正しさの証明を理解する必要は特にない。どんどん使えば良い。必要なら使ってから勉強すれば良い（＾＾
そう思います
1070:ID:1lEWVa2s
20/12/13 11:32:27.38 mdqno+pt.net
今年はもう来年を迎えるので数学やめて哲学やります。
飽きました。
初めて飽きましたなんて公言します。
数学ちゃんがかわいそうなんで言いませんでした。
来年迎えたらまた数学はじめます。
誰の依頼も受けていませんが仕事�
1071:ﾈんで。
1072:ID:1lEWVa2s
20/12/13 11:35:02.38 mdqno+pt.net
っていうかDark Knight(ばっとまん)とか緑黄色社会とか音楽きいたり任天堂スイッチのゲームします。
1073:ID:1lEWVa2s
20/12/13 11:36:40.05 mdqno+pt.net
>>981
こんにちは。
明日から仕事と
ある任務があるんで焦ってます。(ボーナスが入る)
音楽きいてりらっくすします。
1074:粋蕎
20/12/13 11:40:32.11 zkEDAmbd.net
多様性尊重過剰拡大解釈バカを晒すスレ主
↓
>>850
> １．0.999...＝1 （スタンダード）
> ２．0.999...は、１より無限小だけ小さい （超実数）
>
> この二つは、現代数学では両立可能で、使い分けができるってことですよ
↑
この 非実数有限超実数0.999… が 実数超実数0.999… と別物である事が未だに分からない様子
1075:現代数学の系譜 雑談
20/12/13 11:47:39.97 HcEKuJwa.net
>>971
>龍孫江氏のYoutube動画の証明では、Hは正規部分群でないのに、Hに正規部分群Nが含まれるという証明でしょ？
スレが終わりそうなので
その前に書いておくが
龍孫江氏のYoutube動画の証明で、後半（8分あたり）がだめだな
一般の部分群H（非正規部分群）だったのに
そこから、写像を作る
そして、いつまにが写像が
群準同型
Φ：G→σ（G/H）
になってしまった
Hが、正規部分群なら、商群G/Hを作るのは問題ないけど
そうでないなら、この部分は根本的におかしいよね（下記）
（なお、別の論法として既述のように{e}を使うのは可だが、{e}を使うと、Gが無限群のとき{e}に対する指数は有限にはならない）
URLﾘﾝｸ(ja.wikipedia.org)
商群
群の商において、単位元の同値類はつねにもとの群の正規部分群であり、他の同値類たちはちょうどその正規部分群の剰余類たちである。得られる商は G/N と書かれる、ただし G はもとの群で N は正規部分群である。（これは「G mod N（ジーモッドエヌ）」と読まれる。"mod" は modulo の略である。）
商群の重要性の多くはその準同型との関係に由来する。第一同型定理は任意の群 G の準同型による像はつねに G のある商と同型であると述べている。具体的には、準同型 φ: G → H による G の像は G/ker(φ) と同型である、ただし ker(φ) は φ の核 を表す。
商群の双対概念は部分群であり、これらが大きい群から小さい群を作る2つの主要な方法である。任意の正規部分群 N は、大きい群から部分群 N の元の間の差異を除去して得られる、対応する商群を持つ。圏論では、商群は商対象の例であり、これは部分対象の双対である。商対象の他の例は、商環、商線型空間、商位相空間、商集合を参照。
1076:現代数学の系譜 雑談
20/12/13 11:48:47.23 HcEKuJwa.net
>>985
(引用開始)
> この二つは、現代数学では両立可能で、使い分けができるってことですよ
↑
この 非実数有限超実数0.999… が 実数超実数0.999… と別物である事が未だに分からない様子
(引用終り)
「両立可能」を、誤読、誤解している
1077:ID:1lEWVa2s
20/12/13 11:53:51.47 YRJF6Rtn.net
もう日高のスレはみない。
数学に粘着しすぎ。
宇宙のるぅるを守らない。
1078:ID:1lEWVa2s
20/12/13 11:56:03.49 YRJF6Rtn.net
日高なんて大っ嫌い。
1079:１３２人目の素数さん
20/12/13 12:09:53.74 Eof1sjXR.net
>>986
いやぁ、バカって怖ろしいね笑
自分の無知を棚に上げて、相手が間違っているに違いないと言う。
G/Hは商集合だよ。何の間違いもない。
左剰余類分解、または右剰余類分解に応じて
Gの元を左または右からかければ、GがG/Hの置換を引き起こす
そこから誘導されるGからS_nへの準同型写像をΦとしているだけでしょ。
群論で一般的に使われる考えだよ。
1080:現代数学の系譜 雑談
20/12/13 12:17:23.18 HcEKuJwa.net
>>973
>「任意の有限群は、対称群の部分群となる」
>に無限群でてこないよ
単に出す必要がないからでしょ
蛇足で、初学者に対して議論を混乱させるだけだから
でも、
S_∞⊃・・・�
1081:ｽSn⊃Sn-1⊃・・・⊃S1 は、成立している前提でしょ？ S_∞を、ｎ→∞の極限として定義しているからね だから、「任意の有限群は、対称群S_∞のある部分群Snの部分群として表現可能」 は言えるだろうよ （余談だが、Snの指数はS_∞に対して無限だけど）
1082:１３２人目の素数さん
20/12/13 12:19:23.08 Eof1sjXR.net
セタに数学の証明理解は無理、ムリ笑
だから、相手の権威や名前などの「信用」でしか見れないｗ
相手が誰であろうが証明の正しさだけを判断できるのが
数学なのに、それは不可能ですからｗ
1083:１３２人目の素数さん
20/12/13 12:21:12.81 Eof1sjXR.net
そして極めつけはガロア対応を根本から誤解していた！
お前、何のためにガロア原論文読んだの？
ガロアも泣いてるわ。
1084:現代数学の系譜 雑談
20/12/13 12:21:39.01 HcEKuJwa.net
>>990
(引用開始)
G/Hは商集合だよ。何の間違いもない。
左剰余類分解、または右剰余類分解に応じて
Gの元を左または右からかければ、GがG/Hの置換を引き起こす
そこから誘導されるGからS_nへの準同型写像をΦとしているだけでしょ。
群論で一般的に使われる考えだよ。
(引用終り)
昔、もう細かいことは忘れてしまったが、私が過去のガロアスレでした間違いに近いのかもね（＾＾；
Hが正規部分群なら問題がない
だが、Hが非正規部分群なら、それ問題だね
自得してください
1085:ID:1lEWVa2s
20/12/13 12:23:11.40 xl36Z6qX.net
ところでその群の話
体(方程式)に変換できるんですか。
群の論をところどころ全てにおいて方程式に対応した表現になおせますか。
因みにどうぶつの森の雪だるまは下が顔半分までの丈
上があごまでの丈でレシピくれるだけ雪だるまに喜んでもらえるらしい。
1086:現代数学の系譜 雑談
20/12/13 12:23:15.76 HcEKuJwa.net
>>994
>G/Hは商集合だよ。何の間違いもない。
単なる商集合ではなく
龍氏は、群準同型として扱っている
それが、問題
1087:１３２人目の素数さん
20/12/13 12:24:23.81 Eof1sjXR.net
>>994
氏ね、バカｗｗ
1088:現代数学の系譜 雑談
20/12/13 12:24:41.29 HcEKuJwa.net
>>995
ID:1lEWVa2sさん、どうも
>ところでその群の話
>体(方程式)に変換できるんですか。
>群の論をところどころ全てにおいて方程式に対応した表現になおせますか。
直せるよ
細かい話は、次スレで
1089:１３２人目の素数さん
20/12/13 12:27:15.74 Eof1sjXR.net
aHがある剰余類のとき、xaHもまたある剰余類である。
この事実にHが正規部分群である必要はない。
バカのセタがしでかした間違いって
aH とbH からabHという剰余類が出来るっていう間違いでしょ。
そんなこと分かってるよ。
数学科を舐めるなくそ爺！ｗｗｗ
1090:ID:1lEWVa2s
20/12/13 12:31:33.75 xl36Z6qX.net
私は独学で投影法を完成させている。
共立出版の実用図学を買ったら立方体の投影した平面上の数値を間違えているのである。
見事に滑稽である。みつけたければがんばりな。
何次元の絵も平面上に投影できるし
建築家にもなれる。
1091:1001
Over 1000 Thread.net
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 67日 2時間 0分 59秒
1092:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています