[過去ログ]
純粋・応用数学(含むガロア理論)5 (1002レス)
純粋・応用数学(含むガロア理論)5 http://rio2016.5ch.net/test/read.cgi/math/1602034234/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
905: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2020/12/12(土) 09:44:32 ID:CvV0i5UV おサル、恥さらしありがとうw(^^; 年末で忙しい 残念だが、あまり書けなくなるので、>>795の正解を書くよ 1.まず、 >>824より (引用開始) 龍孫江氏のYoutube動画 https://www.youtube.com/watch?v=scJhIv1P32Q 解説テキスト版:https://note.mu/ron1827/n/n6f79eb36c397 この解説テキスト版より 「問題:指数有限の正規部分群は存在するか」 「問題:令和元年5月13日」 ”Gが群、HがGの指数有限の部分群ならば、Hは指数有限の正規部分群を包むことを示せ.” (引用終り) (注:”包む”は、普通は”含む”だと思うが) ここで、Gとして、交代群An(n≧5)を取る。An(n≧5)は、有限単純群なので(下記)、自明な(G自身と{e})正規部分群を含むことはできない ところで、シローの定理(下記)より、An(n≧5)中にシロー p 部分群が存在する。有限群なので、当然指数は有限だ しかし、自明な(G自身と{e})正規部分群以外の正規部分群を含むことはできない (無限単純群も同様。もし、指数有限の部分群を含んでも、単純群には自明以外の正規部分群は存在しない) (参考) https://ja.wikipedia.org/wiki/%E5%8D%98%E7%B4%94%E7%BE%A4 単純群 1.1 有限単純群 1.2 無限単純群 2 分類 2.1 有限単純群 有限単純群 ・An - 交代群(n≧5) https://ja.wikipedia.org/wiki/%E3%82%B7%E3%83%AD%E3%83%BC%E3%81%AE%E5%AE%9A%E7%90%86 シローの定理 シローの定理はラグランジュの定理の部分的な逆を主張する。ラグランジュの定理は任意の有限群 G に対して G のすべての部分群の位数(元の個数)は G の位数を割り切るというものであり、シローの定理は有限群 G の位数の任意の素因数 p に対して G のシロー p 部分群が存在するというものである。 つづく http://rio2016.5ch.net/test/read.cgi/math/1602034234/905
906: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2020/12/12(土) 09:45:08 ID:CvV0i5UV >>905 つづき 2.さらに、>>693より "昔々、多分1960年ころの東大の院試問題で 「群が指数有限の部分群を含めば、指数有限の正規部分群を含む」 ってのが出た" も同じ理由で、間違い。多分、なにかの勘違いだな つづく http://rio2016.5ch.net/test/read.cgi/math/1602034234/906
912: 132人目の素数さん [sage] 2020/12/12(土) 10:30:39 ID:l8Uc2rWI >>905 >Gとして、交代群An(n≧5)を取る。 >An(n≧5)は、有限単純群なので、 >自明な(G自身と{e})正規部分群以外の >正規部分群を含むことはできない 然り >ところで、シローの定理より、 >An(n≧5)中にシロー p 部分群が存在する。 ああ、単純群だからといって 自明でない部分群(つまり自身と{e}以外の部分群) を含んではいけない、とは誰も云ってない ちなみに シローの定理なんか使わんでも An(n≧4)の自明でない部分群の存在なら簡単に示せる n>m>2なら、AmはAnの自明でない(正規でない)部分群 交代群の定義(偶置換全体の集まり)から明らか 知らんのか?🐎🦌 >>906 無関係なのでパス http://rio2016.5ch.net/test/read.cgi/math/1602034234/912
915: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2020/12/12(土) 10:36:13 ID:CvV0i5UV >>905 タイポ訂正 ここで、Gとして、交代群An(n≧5)を取る。An(n≧5)は、有限単純群なので(下記)、自明な(G自身と{e})正規部分群を含むことはできない ↓ ここで、Gとして、交代群An(n≧5)を取る。An(n≧5)は、有限単純群なので(下記)、自明な(G自身と{e})正規部分群以外の正規部分群を含むことはできない 分かると思うが(^^; http://rio2016.5ch.net/test/read.cgi/math/1602034234/915
939: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2020/12/12(土) 13:49:20 ID:CvV0i5UV >>905 >龍孫江氏のYoutube動画 https://www.youtube.com/watch?v=scJhIv1P32Q >解説テキスト版:https://note.mu/ron1827/n/n6f79eb36c397 >”Gが群、HがGの指数有限の部分群ならば、Hは指数有限の正規部分群を包むことを示せ.” >>906 > "昔々、多分1960年ころの東大の院試問題で > 「群が指数有限の部分群を含めば、指数有限の正規部分群を含む」 > ってのが出た" みんな後出し上手いね まさか、数学科生はいないよね?(^^; Gを単純群にとれば、即反例ができる 指数有限の部分群があっても、真の正規部分群(非自明な正規部分群)を含むことはできない! そんなの、瞬間に分かる話だろ、工学科ならさ http://rio2016.5ch.net/test/read.cgi/math/1602034234/939
947: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2020/12/12(土) 17:47:50 ID:CvV0i5UV >>941>>943 あらら >>905 >龍孫江氏のYoutube動画 https://www.youtube.com/watch?v=scJhIv1P32Q >解説テキスト版:https://note.mu/ron1827/n/n6f79eb36c397 >”Gが群、HがGの指数有限の部分群ならば、Hは指数有限の正規部分群を包むことを示せ.” 場合分けするよ 1.A)Gが単純群か、あるいは B)Gが単純群ではないか? 2.A)Gが単純群なら、真の正規部分群(非自明な正規部分群)を含むことはできない(>>939) 3.B)Gが単純群ではないなら、真の正規部分群Nが少なくとも1つ存在する いま、簡単のために、有限群に限るとする で、龍孫江氏”Gが群、HがGの指数有限の部分群ならば、Hは指数有限の正規部分群を包む”ならば Gの任意の部分群Hに対して、H⊃Nとなるが、それはありえない Nの部分群 N⊃H’が存在したら、そのH’もGの指数有限の部分群で ”H’は指数有限の正規部分群を包む”となるが それは、ありえない! 実際反例として、対称群Sn(n≧5)がとれる。Sn⊃Anだ。Anにも部分群H’が存在し、Sn⊃H’だ だが、H’正規部分群でもなく、正規部分群を含むこともできない (証明は、思い付くであろう by ガロア(^^ ) QED 以上 http://rio2016.5ch.net/test/read.cgi/math/1602034234/947
966: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2020/12/13(日) 08:35:23 ID:HcEKuJwa >>953 補足 (引用開始) https://ja.wikipedia.org/wiki/%E5%8D%98%E7%B4%94%E7%BE%A4 単純群 1.2 無限単純群 無限単純群 無限交代群 A_∞、つまり整数全体の偶置換の群は単純群である。この群は有限群A_nの(標準埋め込み A_n → A_n+1に関する)単調増加列の合併として定義できる。 (引用終り) ふと思ったが これで、同様に無限対称群 S_∞を考えたらどう? 上記のA_∞と同じ で、S_∞ ⊃ A_∞ となって、有限群で SnとAnのアナロジーができる A_∞は、S_∞の正規部分群で、その指数は2とできるだろう(証明は、多分可能じゃね?(^^;) それで >>905 >龍孫江氏のYoutube動画 >解説テキスト版:https://note.mu/ron1827/n/n6f79eb36c397 >”Gが群、HがGの指数有限の部分群ならば、Hは指数有限の正規部分群を包むことを示せ.” >>906 > "昔々、多分1960年ころの東大の院試問題で > 「群が指数有限の部分群を含めば、指数有限の正規部分群を含む」 > ってのが出た" ここで、G=S_∞、H=A_∞としたらどうなるのかね? 有限群では、 SnとAn(n≧5)なら、Snに対してAnは唯一の非自明な正規部分群だろ? でも、この場合は{e}を使えば、Anに「指数有限の正規部分群を含む」は言える しかし、G=S_∞では、{e}では指数有限にならないが G=S_∞で、A_∞⊃Nと出来て、NはS_∞に対して「指数有限の正規部分群」となるようなN(当然無限群でなければならない)が存在れば良いけど その龍孫江氏の証明使って良いからさwww 上記A_∞⊃Nなる「指数有限の正規部分群N」の存在を示せ!w(^^; どぞ(^^; 示せないなら、G=S_∞で反例成立じゃね? http://rio2016.5ch.net/test/read.cgi/math/1602034234/966
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.032s