第7回 関西日曜数学友の会

2020/10/3にオンラインで開催された「第7回関西日曜数学友の会」の様子をお伝えします。
1
関西日曜数学 友の会 @kansai_nitimath

本会は5分の枠を用意しておりますが、主観時間なので、自分が5分だと思ったタイミングが5分になります。 #kanmath07

2020-10-03 14:04:42
Tomohiro Yamada@3/4-3/6 DARF2024, 3/30-31つどい @tyamada1093

山田註: 平方根表示できる代数的数は定木とコンパスで作図できるので、1の原始n乗根が平方根表示できるならば正n角形は作図可能 特に正17角形は作図可能 #kanmath07

2020-10-03 14:05:03
数樂 @coc_mathfun

画面上にζがいっぱいでゲシュタルト崩壊を起こしそう #kanmath07

2020-10-03 14:07:10
Tomohiro Yamada@3/4-3/6 DARF2024, 3/30-31つどい @tyamada1093

なお1の原始n乗根が平方根表示できる必要十分条件はnが2の累乗と、相異なるFermat素数(2^{2^n}+1の形の素数)の積となることだが、Fermat素数はたぶん3,5,17,257,65537しかない(例によって未解決) #kanmath07

2020-10-03 14:08:55
宇佐見公輔 @usamik26

フェルマー素数って不思議な存在だなあと思う #kanmath07

2020-10-03 14:12:20
Oddie @math_elliptic

1の原始17乗根は僕も高木貞治の近世数学史談だったかを読んで計算したなあ #kanmath07

2020-10-03 14:12:34
Tomohiro Yamada@3/4-3/6 DARF2024, 3/30-31つどい @tyamada1093

指数を、17を法とする位数で分類して和をとることで平方根表示にたどり着くようになっていて、Gauss和の考えはここから来る #kanmath07

2020-10-03 14:12:56
チェロ221Hertz @Cello_221Hertz

遠山啓『数学入門』 に、正65537角形の作図に関する逸話が載っています。 #kanmath07

2020-10-03 14:19:32
Tomohiro Yamada@3/4-3/6 DARF2024, 3/30-31つどい @tyamada1093

高木貞治氏の初等整数論講義の17節に1の原始17乗根の計算がありますね #kanmath07 twitter.com/math_elliptic/…

2020-10-03 14:20:45
Tomohiro Yamada@3/4-3/6 DARF2024, 3/30-31つどい @tyamada1093

@math_elliptic ガロア群がアーベル群になるので可能です、比較的小さいn(たとえばn=11)でも面倒ですが #kanmath07

2020-10-03 14:23:24
チェロ221Hertz @Cello_221Hertz

『初等整数論講義』を持っている前提! #kanmath07

2020-10-03 14:23:27
関西日曜数学 友の会 @kansai_nitimath

4人目は、宇佐見さんで ルービックキューブと群論 です #kanmath07

2020-10-03 14:31:05
Tomohiro Yamada@3/4-3/6 DARF2024, 3/30-31つどい @tyamada1093

次は宇佐見公輔氏 @usamik26 のルービックキューブを群論の言葉で記述する話 #kanmath07

2020-10-03 14:32:36
onewan (わんわん) @ONEWAN

シングマスター記法。 なんか歌うまそうな名前やな(小並感 #kanmath07

2020-10-03 14:37:21
数樂 @coc_mathfun

ルービックキューブで演算を考えるのか… #kanmath07

2020-10-03 14:38:38
Tomohiro Yamada@3/4-3/6 DARF2024, 3/30-31つどい @tyamada1093

小方体(ルービックキューブを構成する26個の小さい立方体)を、外に現れる面の数で6個、12個、8個に分類できる #kanmath07

2020-10-03 14:38:42
Tomohiro Yamada@3/4-3/6 DARF2024, 3/30-31つどい @tyamada1093

回転操作は外に現れる48個の面の置換と見ることができる 1回の回転は位数4の巡回置換の積になっている #kanmath07

2020-10-03 14:40:47
Tomohiro Yamada@3/4-3/6 DARF2024, 3/30-31つどい @tyamada1093

回転操作であらわされる置換は48個の面の置換全体のなす対称群の部分群 #kanmath07

2020-10-03 14:42:11
onewan (わんわん) @ONEWAN

SageMathにルービックキューブ群が用意されてるんや!すげえ! #kanmath07

2020-10-03 14:44:13
Oddie @math_elliptic

ルービックキューブ群の元の最大位数は1260 #kanmath07

2020-10-03 14:45:46