群論関係用ソフト(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/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

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

>>12
ネット検索してみろよ。
ソースすでにあるかもよ。

**デフォルトの名無しさん** · 2016/05/06(金) 11:57:52.02

http://i.imgur.com/EPOWtzQ.jpg

**デフォルトの名無しさん** · 2016/05/06(金) 12:01:52.39

http://i.imgur.com/err6x4u.jpg

**デフォルトの名無しさん** · 2018/05/23(水) 22:20:03.36

僕の知り合いの知り合いができたパソコン一台でお金持ちになれるやり方
役に立つかもしれません
グーグルで検索するといいかも『ネットで稼ぐ方法　モニアレフヌノ』

Q0QRZ

**デフォルトの名無しさん** · 2018/07/04(水) 23:44:17.29

3AG

**デフォルトの名無しさん** · 2019/04/19(金) 06:03:23.93

し