群論関係用ソフト(GAPそのほか)

**デフォルトの名無しさん** · 2014/09/03(水) 16:30:55.39

群論関係のソフトについてかたりあうスレ

GAP
http://www.gap-system.org/

GAP 関連
群論 GAP
でネット検索

Magma
http://magma.maths.usyd.edu.au/magma/

**デフォルトの名無しさん** · 2014/09/03(水) 17:49:38.28

>>1は、はじめてうんちを食べられれるんですね？

そんなに心配しなくてもはじめてなら、おそらく食べられ無いでしょう。
多分食べられても、直ぐ戻すと思います。
仮にはじめてで、戻さず食べられたら少しだけにした方がいいと思いますよ。
（親指一本か二本位）
食べられると思いいっぱい食べたら、救急車のお世話になりかねないですから

別に脅かす訳では無いですが、聞いた話ですがうんちを食べ過ぎて物凄い
腹痛で救急車で運ばれて、入院した人がいました。
大したことは無かった見たいですが、医者に「あなたウンコ食べましたね」と
見破られた見たいです（笑）

まあ、大量に食べなければそんなことには、ならないと思います。
恥をかくことも無いですし。（笑）
ちなみに、おしっこはだして直ぐなら全然大丈夫です。時間がたったのはヤバイで
すが。

なれれば、かなりの量食べても大丈夫見たいですけど、なれるまではうんちを食べ
るのは少しにして、その行為を楽しんでください。

でも、うらやましいです。私も最近そう言う機会が少ないです。
もしよかったら、人間便器のこと報告してくださいね。

**デフォルトの名無しさん** · 2014/09/03(水) 21:45:15.39

>>2
文書がながすぎるし、汚なすぎるよ。
もうちょいまとめて箇条書きで書こうね。

**デフォルトの名無しさん** · 2014/09/04(木) 10:43:03.21

群馬関係に見えた

ないんだなそれが

**デフォルトの名無しさん** · 2014/09/04(木) 11:16:18.31

>>4
群論 Group theory 関係ね。
君は疲れてるよ。良く寝たほうが良い。

**デフォルトの名無しさん** · 2014/09/05(金) 18:49:25.85

GAPでパズル

15パズル
http://liminf.up.seesaa.net/image/g-a0566.pdf

ルービックキューブ
http://www.fukuoka-edu.ac.jp/~fujimoto/rubik.pdf
http://catalog.lib.kyushu-u.ac.jp/handle/2324/1430848/p069.pdf
http://www.gap-system.org/Doc/Examples/rubik.html

**デフォルトの名無しさん** · 2014/09/05(金) 19:02:28.11

本家
http://www.gap-system.org/

例
http://www.gap-system.org/Doc/Examples/examples.html

パッケージ
http://www.gap-system.org/Packages/packages.html

**デフォルトの名無しさん** · 2014/09/09(火) 18:21:58.53

http://www.buzzword.jp/img/face10.png

**デフォルトの名無しさん** · 2014/09/10(水) 17:32:36.33

GAPでx次方程式が代数的に解けるかどうかをチェック

http://ketaru.sblo.jp/article/35273629.html

5次方程式
gap> IsSolvable(SymmetricGroup(5));
false

性質を調べる。
http://math.shinshu-u.ac.jp/~hanaki/edu/symmetry/04.html

群論の勉強は物理のかぎのしっぽがお勧め
動画は都立西高校の動画がわかりやすい。慶應大学の動画もある。

https://www.youtube.com/watch?v=cFW4hRipUEE&;list=PLZsOKUEI5e_iYrKU9WiQfk_w1qHeldwaW
https://www.youtube.com/watch?v=DyMBX4W32H0&;list=UUQWWpfJHS5j1d70G5yof6aA
3次方程式
https://www.youtube.com/playlist?list=PLZsOKUEI5e_ghocCvPYyIsy39OqmIfffZ

2次方程式とか他の関係する説明動画も同じ人がアップしてくれてる。

**デフォルトの名無しさん** · 2014/09/11(木) 20:51:39.04

本家関係で便利なところ

Search
http://www.gap-system.org/search.html

Site map
http://www.gap-system.org/sitemap.html

Examples
http://www.gap-system.org/Doc/Examples/examples.html

Manuals
http://www.gap-system.org/Doc/manuals.html

Download
http://www.gap-system.org/Releases/index.html

Installation
http://www.gap-system.org/Download/index.html

**デフォルトの名無しさん** · 2014/09/11(木) 20:56:46.01

日本語で有用なサイト多数あるけど。

http://www.math.nagoya-u.ac.jp/~shoji/papers/tut3.pdf
http://www.math.nagoya-u.ac.jp/~shoji/papers/

Rubik's Cube と群論
http://www.fukuoka-edu.ac.jp/~fujimoto/rubik.html
ルービックキューブの例は本家のExamplesのなかにもある。

M12パスルへの適用
http://blog.livedoor.jp/tetryl/archives/52540171.html
http://blog.livedoor.jp/tetryl/archives/52540481.html
http://blog.livedoor.jp/tetryl/archives/52540981.html

5次方程式が不可解であることをGAPで上のtut3.pdfにも同じ内容あり。
http://ketaru.sblo.jp/article/35273629.html

**デフォルトの名無しさん** · 2014/09/11(木) 22:26:45.92

お題1　フロベニウスの定理の証明
実数体上の有限次元の結合的多元体は、実数体、 C（複素数体）、H（四元数体）に限る。
参考　四元数 - Wikipedia

お題2　モンスター群の位数を求める
参考　単純群 - Wikipedia
完全な分類は1962年/63年のフェイト・トンプソンの定理から始まり、主に1983年まで続いたが,2004年に終了したばかりである、ということが一般的に受け入れられている。
1981年にモンスター群が構成されてから群論の研究者たちがすべての有限単純群を分類したという、合計10,000ページにも及ぶ証明が作られ、1983年にダニエル・ゴレンスタインが勝利を宣言したがこれは時期尚早だった。
このギャップは2004年に1300ページに及ぶ準薄群の分類によって埋められており、これは現在は完璧であると一般に受け入れられている。

お題3　この超弦理論の図を計算して求める
http://upload.wikimedia.org/wikipedia/commons/thumb/f/fe/E8_graph.svg/600px-E8_graph.svg.png
http://ja.wikipedia.org/wiki/An_Exceptionally_Simple_Theory_of_Everything