19/10/29 10:59:07 wEoW+rwB.net
コテハンが抜けたか（＾＾
>>300 追加
URLﾘﾝｸ(en.wikipedia.org)
Partial results
(抜粋)
All permutation groups of degree 16 or less are known to be realizable over Q [4]; the group PSL(2,16):2 of degree 17 may not be [5].
All 13 non-Abelian simple groups smaller than PSL(2,25) (order 7800) are known to be realizable over Q. [6]
(引用終り)
なので、
” the group PSL(2,16):2 of degree 17 may not be be realizable over Q.”が素直な解釈では？
なお、PSL(2,16):2の何がそんなに難しいのか、さっぱり理解できませんが（＾＾；
[5] PSL(2,16)下記「not solvable, primitive, simple, irreducible, 」か
URLﾘﾝｸ(galoisdb.math.upb.de) A Database for Number Fields
Technische Universitat Kaiserslautern
URLﾘﾝｸ(galoisdb.math.upb.de)
Transitive Groups of degree 17
(抜粋)
G Name |G| |G| fact. |Z(G)| Properties of G #fields
17T6 L(17)=PSL(2,16) 4080 24 ・ 3 ・ 5 ・ 17 1 not solvable, primitive, simple, irreducible, even 3
さらに「"PSL(2,16)" math group」で検索すると
約 77 件 （0.47 秒）ヒットで
TOPが下記
URLﾘﾝｸ(www.researchgate.net)
ResearchGate
A New Characterization of PSL(2, q) for Some q
Article (PDF Available)?in?Ukrainian Mathematical Journal 67(9) ・ March 2016?with?163 Reads?
Alireza Khalili Asboei
15.16University of Farhangian
seyed sadegh Salehi
10Islamic Azad University - Babol
Ali Iranmanesh
35.9Tarbiat Modares University
Download full-text PDF
URLﾘﾝｸ(www.researchgate.net)
(抜粋)
3.1. Characterizability of the Group PSL(2, 16) by NSE. Let G be a group such that
nse (G) = nse (PSL(2, 16)) = {1, 255, 272, 544, 1088, 1920}.
344:現代数学の系譜 雑談 古典ガロア理論も読む
19/10/29 11:00:28.18 wEoW+rwB.net
>>304 タイポ訂正
検索用には、大目に文章をコピー貼り付けしておけば
↓
検索用には、多目に文章をコピー貼り付けしておけば
345:現代数学の系譜 雑談 古典ガロア理論も読む
19/10/29 11:03:05.33 wEoW+rwB.net
>>305 追加
参考
URLﾘﾝｸ(en.wikipedia.org)
University of Kaiserslautern
(抜粋)
The University of Kaiserslautern (German: Technische Universitat Kaiserslautern, commonly referred to as TU Kaiserslautern or simply TUK, unofficially Techni
346:cal University of Kaiserslautern) is a research university in Kaiserslautern, Germany.
347:現代数学の系譜 雑談 古典ガロア理論も読む
19/10/29 14:42:35.94 wEoW+rwB.net
>>305 追加
検索
「Inverse Galois problem group PSL(2,16):2 of degree 17」
約 64 件 （0.70 秒）
下記以外にも面白そうなのがあるが
下記は、”Ihara/Ribet/Serre (eds.)”と”Noriko Yui”が目にとまったので
PDF This book describes a constructive approach to the inverse ...
library.msri.org ? books ? Book45 ? files ? book45
15. Hochster/Huneke/Sally (eds.): Commutative Algebra. 16. Ihara/Ribet/Serre (eds.): Galois Groups over q. 17 ... 17. 1.2. Resolvent Polynomials. 23. Exercises. 26. Chapter 2. Groups of Small Degree. 29. 2.1. Groups of Degree 3. 30. 2.2. Groups ....
The classical Inverse Problem of Galois Theory is the existence problem for ...... PSL2(Fq): the projective special linear group of 2 × ...
Mathematical Sciences Research Institute
Publications
45 Generic Polynomials Constructive Aspects of the Inverse Galois Problem
Mathematical Sciences Research Institute 2002
Christian U. Jensen
University of Copenhagen
Arne Ledet
Texas Tech University
Noriko Yui
Queen’s University, Kingston, Ontario
P4/268
Mathematical Sciences Research Institute Publications
16 Ihara/Ribet/Serre (eds.): Galois Groups over
P16
Methods of Ihara, Schneps, etc. There is an excellent MSRI Conference
Proceedings Galois Groups over Q, [IR&S], edited by Ihara, Ribet and Serre.
There the absolute Galois groups acting on algebraic fundamental groups were
extensively discussed.
P249
[IR&S] Y. Ihara, K. Ribet & J.-P. Serre (eds.), Galois Groups over
, Mathematical Sciences
Research Institute Publications 16, Springer-Verlag, 1987
348:現代数学の系譜 雑談 古典ガロア理論も読む
19/10/29 15:53:35.79 wEoW+rwB.net
>>305 訂正補足
失礼しました
”PSL(2,16):2 of degree 17”に相当するのは、
下記の 17T7 ”L(17):2=<PZL(2,16)”の方ですね（＾＾；
（PSL(2,16)の２倍の群。”=<”とは？ どういうつもりかな？ ）
で
17T7の方は、#fields＝0
17T6の方は、#fields＝3
ですね。詳しくは、下記のURLをどうぞ（＾＾
URLﾘﾝｸ(galoisdb.math.upb.de)
URLﾘﾝｸ(galoisdb.math.upb.de) A Database for Number Fields
Technische Universitat Kaiserslautern
URLﾘﾝｸ(galoisdb.math.upb.de)
Transitive Groups of degree 17
(抜粋)
G Name |G| |G| fact. |Z(G)| Properties of G #fields
17T6 L(17)=PSL(2,16) 4080 24 ・ 3 ・ 5 ・ 17 1 not solvable, primitive, simple, irreducible, even 3
17T7 L(17):2=<PZL(2,16) 8160 25 ・ 3 ・ 5 ・ 17 1 not solvable, primitive, irreducible, even 0
URLﾘﾝｸ(galoisdb.math.upb.de)
Transitive Group 17T7
URLﾘﾝｸ(www.lmfdb.org)
LMFDB
Galois Group: 17T7
URLﾘﾝｸ(galoisdb.math.upb.de)
Transitive Group 17T6
URLﾘﾝｸ(www.lmfdb.org)
LMFDB
Galois Group: 17T6
349:現代数学の系譜 雑談 古典ガロア理論も読む
19/10/29 17:11:16.31 wEoW+rwB.net
>>309 補足
degree 18、19のリストから下記抜粋
リストを眺めていたが、確かに、#fieldsの規則性を見つけることができなかった
でも、なにか規則があるかもしれない
確かに、17T7の#fields＝0は例外で
degree 18、19には、”#fields＝0”になる例は無かった
そして、おそらくこの表は、コンピュータの計算結果でしょう（数字の桁が大きいから）
多分、「17T7の#fields＝0」も、”コンピュータの計算結果では”という注釈付きで、証明がないのでは？（＾＾；
URLﾘﾝｸ(galoisdb.math.upb.de)
Transitive Groups
Groups are ordered by their degree. Click on one of the boxes below to choose the displayed degree.
URLﾘﾝｸ(galoisdb.math.upb.de)
Transitive Groups of degree 18
(抜粋)
G Name |G| |G| fact. |Z(G)| Properties of G #fields
18T377 PSL(2, 17) 2448 24 ・ 32 ・ 17 1 not solvable, primitive, simple, irreducible, even 1
18T897 t18n897 508032 27 ・ 34 ・ 72 1 not solvable, irreducible 1
18T938 t18n938 1524096 27 ・ 35 ・ 72 1 not solvable, irreducible 2
18T952 t18n952 4572288 27 ・ 36 ・ 72 1 not solvable, irreducible 2
18T982 Alt(18) 3201186852864000 215 ・ 38 ・ 53 ・ 72 ・ 11 ・ 13 ・ 17 1 not solvable, primitive, simple, irreducible, even 3
18T983 Sym(18) 6402373705728000 216 ・ 38 ・ 53 ・ 72 ・ 11 ・ 13 ・ 17 1 not solvable, primitive, irreducible 55
URLﾘﾝｸ(galoisdb.math.upb.de)
Transitive Groups of degree 19
(抜粋)
G Name |G| |G| fact. |Z(G)| Properties of G #fields
19T5 F171(19)=19:9 171 32 ・ 19 1 solvable, primitive, semiabelian, even 1
19T7 A19 60822550204416000 215 ・ 38 ・ 53 ・ 72 ・ 11 ・ 13 ・ 17 ・ 19 1 not solvable, primitive, simple, irreducible, even 8
19T8 S19 121645100408832000 216 ・ 38 ・ 53 ・ 72 ・ 11 ・ 13 ・ 17 ・ 19 1 not solvable, primitive, irreducible 42
350:現代数学の系譜 雑談 古典ガロア理論も読む
19/10/29 17:14:10.09 wEoW+rwB.net
>>310
> 18T982 Alt(18)
> 18T983 Sym(18)
> 19T7 A19
> 19T8 S19
交代群と対称群の表記が統一されていないが
おそらく、複数の人で手分けして作ったのかな？ （＾＾；
351:現代数学の系譜 雑談 古典ガロア理論も読む
19/10/29 17:24:39.75 wEoW+rwB.net
>>310 補足
>リストを眺めていたが、確かに、#fieldsの規則性を見つけることができなかった
>でも、なにか規則があるかもしれない
>
>確かに、17T7の#fields＝0は例外で
>degree 18、19には、”#fields＝0”になる例は無かった
・#fields≠0は、一つ例を出せば良い
・しかし、#fields＝0を示すには、下記のケーニヒスベルクの「一筆書き」の不可能証明みたく、なにか理論がいるのでしょうね
でも、まだ、そういう理論は、構築されていないのでしょう（＾＾；
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
一筆書き
(抜粋)
目次
1 ケーニヒスベルクの七つの橋問題
1.1 問題
1.2 グラフ理論との関連
1.3 他の解法
2 一筆書き可能かどうかの判定法
3 一筆書きの解法
一筆書き可能かどうかの判定法
ある連結グラフが一筆書き可能な場合の必要十分条件は、以下の条件のいずれか一方が成り立つことである（オイラー路参照）。
・すべての頂点の次数（頂点につながっている辺の数）が偶数 →運筆が起点に戻る場合（閉路）
・次数が奇数である頂点の数が2で、残りの頂点の次数は全て偶数 →運筆が起点に戻らない場合（閉路でない路）
352:現代数学の系譜 雑談 古典ガロア理論も読む
19/10/30 07:24:58.73 Geuy+jOC.net
>>310 補足
このデータベース URLﾘﾝｸ(galoisdb.math.upb.de)
の中に、下記のSearchのページがあって
それを使うと、最小多項式が出せる
やってみたのが下記の３例
１）は、5次でorder is = 20の例。x^5 - 2とx^5 - 10x^3 + 20x - 4などがある
２）３）は、17次でorder is = 4080とorder is = 16320の場合
”Showing 3 matches (no more matches exist in database)”などとある
URLﾘﾝｸ(galoisdb.math.upb.de)
Search
(抜粋)
Specify your search using the fields below. The attributes are presented in a hierarchy (from left to right).
If you don't want to specify an attribute, just leave the field empty (max results per page will default to 1000).
１）
URLﾘﾝｸ(galoisdb.math.upb.de)
Searchresults
Parameters
Group degree is = 5
order is = 20
Showing 281 matches (no more matches exist in database)
(抜粋)
Group Sigr Discriminant Factorization Polynomial
5T3 5 2450000 24 ・ 55 ・ 72 x^5 - 10x^3 + 20x - 4
5T3 1 50000 24 ・ 55 x^5 - 2
２）
URLﾘﾝｸ(galoisdb.math.upb.de)
Group degree is = 17
order is = 4080
Showing 3 matches (no more matches exist in database)
(抜粋)
Group Sigr Discriminant Factorization Polynomial
17T6 1 13324913767812132... (27 digits) 230 ・ 1378 x^17 - 3x^16 - 4x^14 + 12x^13 + 24x^12 + 12x^11 - 28x^10 - 90x^9 - 74x^8 + 116x^6 + 132x^5 + 72x^4 + 28x^3 + 12x^2 + 5x + 1
３）
URLﾘﾝｸ(galoisdb.math.upb.de)
Group degree is = 17
order is = 16320
Showing 5 matches (no more matches exist in database)
(抜粋)
Group Sigr Discriminant Factorization Polynomial
17T8 5 69450042659737600... (33 digits) 228 ・ 518 ・ 714 x^17 + 8x^16 - 24x^15 - 240x^14 + 350x^13 + 2912x^12 - 3724x^11 - 18728x^10 + 29285x^9 + 55120x^8 - 125812x^7 - 11816x^6 + 213248x^5 - 324520x^4 + 431680x^3 - 378416x^2 + 126212x + 4864
353:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
19/10/30 07:33:44 Geuy+jOC.net
>>309 補足
(抜粋)
URLﾘﾝｸ(galoisdb.math.upb.de)
Transitive Groups of degree 17
G Name |G| |G| fact. |Z(G)| Properties of G #fields
17T7 L(17):2=<PZL(2,16) 8160 25 ・ 3 ・ 5 ・ 17 1 not solvable, primitive, irreducible, even 0
(引用終り)
これについて、Search（>>313）を使ってみると
下記で、群「L(17):2=<PZL(2,16)」では”Showing 0 matches (no more matches exist in database)
- no matching entries found:”
つまり、彼らの探した範囲では、最小多項式が見つからなかったようだ
問題は、探索した範囲なのだが、
かなり大きな範囲だと思うが、私はまだ探索範囲の記載に辿り着いていない
URLﾘﾝｸ(galoisdb.math.upb.de)
Group degree is = 17
order is = 8160
Showing 0 matches (no more matches exist in database)
- no matching entries found:
354:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
19/10/30 07:40:45 Geuy+jOC.net
>>314
>問題は、探索した範囲なのだが、
>かなり大きな範囲だと思うが、私はまだ探索範囲の記載に辿り着いていない
下記がそれに近いかもしれないが
要するに、多項式の係数として、
例えば、群「L(17):2=<PZL(2,16)」で
何桁までの係数の式を調べたのか？
そこが分からない
それとあと、どういう数式ソフトのどういうアルゴリズムを使ったのかとかが、不明だ（＾＾；
でも、面白いサイトであることは確かだね
URLﾘﾝｸ(galoisdb.math.upb.de)
Database Statistics
Missing polynomials
Here you can get a list of all missing polynomials. You can search on different levels:
Polynomials missing for a complete group
Polynomials with a special complex conjugation class missing
Table sizes
This is a list of all relevant tables and their current row count.
Ambiguous classes: 49.243
Blocks: 15.109
Polynomials: 4.902.274
Polynomial Coeffs: 88.894.287
Polynomial Disc Facts: 18.285.485
Quotients: 1.064.147
Groups: 4.952
Wreath Products: 2.441
Wreath Product Quots: 9.086
355:現代数学の系譜 雑談 古典ガロア理論も読む
19/10/30 07:54:21.81 Geuy+jOC.net
>>99
> ６×７＝４２個の順列が出来上がりｗｗｗ
ご苦労さん
URLﾘﾝｸ(galoisdb.math.upb.de)
Transitive Groups of degree 7
G Name |G| |G| fact. |Z(G)| Properties of G #fields
7T4 F42(7) = 7:6 42 2 ・ 3 ・ 7 1 solvable, primitive, semiabelian 105 38014691
URLﾘﾝｸ(galoisdb.math.upb.de)
Transitive Group 7T4
LMFDB Link: URLﾘﾝｸ(www.lmfdb.org)
Transitive groups page of 7T4 on LMFDB
Generators:
(1,3,2,6,4,5)
(1,2,3,4,5,6,7)
Products:
Quotient of wreath products:
7T1 Xw 6T1
URLﾘﾝｸ(galoisdb.math.upb.de)
Group degree is = 7
order is = 42
Showing 105 matches (no more matches exist in database)
Group Sigr Discriminant Factorization Polynomial
7T4 7 177885288000 26 ・ 33 ・ 53 ・ 77 x^7 - 14x^6 + 28x^4 - 14x^2 + 2
7T4 1 -52706752 -26 ・ 77 x^7 - 2
356:１３２人目の素数さん
19/10/30 16:56:53.83 7Ir4b7+H.net
スレ主はPSL(2,16)の意味は分かってる？
これは射影特殊線形群というやつだね。
モジュラー群 PSL(2,Z)とかと同じく
(az+b)/(cz+d)の形で作用する。
16は位数16の有限体F_16を意味する。
なんでPSL(2,16)が対称群S_17の
部分群として現れるか分かる？
16+1=17なんだけど、+1の意味分かる？
自分は分かったｗ
357:現代数学の系譜 雑談 古典ガロア理論も読む
19/10/30 17:11:54.41 xePUfid4.net
>>308 追加
下記
”generic polynomials”
”Theorem 0.5.1. (Brumer) A generic polynomial for the dihedral group D5
of degree 5 over an arbitrary field K is given as follows:
f(s, t,X) = X^5 + (t ? 3)X^4 + (s ? t + 3)X^3 + (t2 ? t ? 2s ? 1)X^2 + sX + t
over K(s, t) where s and t are indeterminates.”
は、興味深いね
URLﾘﾝｸ(library.msri.org)
Mathematical Sciences Research Institute
Publications 45
Generic Polynomials
Constructive Aspects of the Inverse Galois Problem
Christian U. Jensen
University of Copenhagen
Arne Ledet
Texas Tech University
Noriko Yui
Queen’s University, Kingston, Ontario
university of cambridge
Mathematical Sciences Research Institute 2002
(抜粋)
0.5. Description of Each Chapter ・・・P9
We also exhibit generic polynomials for the groups of degree 3, 4 and 5. For instance, we
have the following result:
Theorem 0.5.1. (Brumer) A generic polynomial for the dihedral group D5
of degree 5 over an arbitrary field K is given as follows:
f(s, t,X) = X^5 + (t ? 3)X^4 + (s ? t + 3)X^3 + (t2 ? t ? 2s ? 1)X^2 + sX + t
over K(s, t) where s and t are indeterminates.
We also
358:demonstrate the non-existence of a generic C8-polynomial over Q, and as a consequence get the following two examples of fixed subfields of the function field Q(s, t, u) in three indeterminates s, t, u, both with a C4-action, where one is rational and the other not: Theorem 0.5.2. (a) Let be the automorphism on Q(s, t, u) given by 略 (引用終り) 以上
359:現代数学の系譜 雑談 古典ガロア理論も読む
19/10/30 17:20:16.66 xePUfid4.net
>>317
ID:7Ir4b7+Hさん、どうもスレ主です。
>スレ主はPSL(2,16)の意味は分かってる？
自慢じゃないが、深いところは分かっていない（＾＾；
>これは射影特殊線形群というやつだね。
>モジュラー群 PSL(2,Z)とかと同じく
>(az+b)/(cz+d)の形で作用する。
なんか聞いたことがあるような無いような
高木先生の本に書いてなかったかな？
ガウスが、楕円関数論で、モジュラーに気付いていたとか
> 16は位数16の有限体F_16を意味する。
>なんでPSL(2,16)が対称群S_17の
>部分群として現れるか分かる？
> 16+1=17なんだけど、+1の意味分かる？
>自分は分かったｗ
そこらの深いところは分からないが
直感的には、17が素数であって
対称群S_17に、交代群A17が正規部分群として入っていて
それとの関係かなー？
360:現代数学の系譜 雑談 古典ガロア理論も読む
19/10/30 17:29:42.26 xePUfid4.net
>>318 文字化け注意
f(s, t,X) = X^5 + (t ? 3)X^4 + (s ? t + 3)X^3 + (t2 ? t ? 2s ? 1)X^2 + sX + t
↓
? の部分は、”－”記号なのだが、文字コードの関係で、アスキー以外が使われていたんだろう
なかなか目視では見つからないんだ
投稿前にビューをチェックすれば良いのだが
なかなかそこまで気が回らないのよ（＾＾；
361:現代数学の系譜 雑談 古典ガロア理論も読む
19/10/30 17:38:40.83 xePUfid4.net
>>319 追加
ああ、こんなのがあるね。これか！（＾＾；
URLﾘﾝｸ(shironetsu.hatenadiary.com)
Shironetsu Blog
2018-08-14
小さな非可換単純群 - PSL(2,p)
(抜粋)
イントロ
2番目に/小さい非可換/単純群
はじめのいくつかの単純群
有限体上の特殊射影線形群 PSL(n,p)
定義
ガロアの最期の手紙
PSL(2,p)の位数
共役類を数える
単純性
まとめとこれから
有限体上の特殊射影線形群 PSL(n,p)
定義
さて順序が前後したがPSL(n,q)を定義する. 記号Ln(q)で表されることもある.
PはProjective, SがSpecial, LがLinear. nは行列のサイズでqは有限体Fq上にあることを意味する. 行列式1の行列全体のなす群SL(n,q)の中心による剰余群がこの群PSL(n,q)である.
一般論に踏み込むことはできないのでここからは専らPSL(2,p)を考える. pは奇素数としておく. この場合話は早くて, P1(Fp)＝～Fp∪{∞}に対する, 行列式が1の1次分数変換全体のなす群と考えるとよい.
たとえばp=7で
置換の巡回記法で表すとそれぞれ
fg=(04)(12)(36)(5∞)=(0426)(135∞)
になっている.
PSL(2,p)はP1(Fp)への推移的な作用で(p+1)次対称群に埋め込めるということ.
ガロアの最期の手紙
ではそれより小さい対称群への埋め込みが存在するか, というと, これこそガロアが死の直前に友人オーギュスト・シュヴァリエに宛てた手紙の中で述べた命題の内容で,
p=5,7,11の場合にしかp次対称群への埋め込みは存在しない
(位数pの元が存在することからそれ未満は不可能だとすぐに分かる.).
Galois' last letter
URLﾘﾝｸ(www.neverendingbooks.org)
一応この3つ組を調べること, 特に指標表を書くこと(PSL(2,5)は5次交代群なのですでにやったが)を目標として書き始めたのがこの記事. これもまたマッカイ対応のひとつらしい.
保形形式の理論をはじめ, すごい数学がここから広がっているらしいが地道に始める.
PSL(2,p)のよいところは簡単な数論で調べられるところ.
PSL(2,p)の位数
略
(引用終り)
以上
362:現代数学の系譜 雑談 古典ガロア理論も読む
19/10/30 18:00:20.75 xePUfid4.net
>>321 補足
＞たとえばp=7で
＞PSL(2,p)はP1(Fp)への推移的な作用で(p+1)次対称群に埋め込めるということ.
＞p=5,7,11の場合にしかp次対称群への埋め込みは存在しない
＞(位数pの元が存在することからそれ未満は不可能だとすぐに分かる.).
このアナロジーでいうと
pは奇素数として
一つずらして
”PSL(2,p-1)はP1(Fp-1)への推移的な作用で(p)次対称群に埋め込める”
が、言えるのかな？
363:１３２人目の素数さん
19/10/30 19:01:20.08 w7bYM9gZ.net
17か素数であることに意味はない
16が2のベキであることに意味はある
364:１３２人目の素数さん
19/10/30 20:13:24.01 fouiZRdR.net
>>317
>なんでPSL(2,16)が対称群S_17の部分群として現れるか分かる？
>16+1=17なんだけど、+1の意味分かる？
射影直線の位数
２次射影線形群は、１次元射影空間（＝射影直線）に作用する
16元からなる有限体 F16 上の射影直線は 16 + 1 点からなる。
＋１の分は無限遠点
>>319
＞そこらの深いところは分からないが
全然深くねぇよ、馬鹿ｗｗｗ
365:１３２人目の素数さん
19/10/30 20:23:21.57 fouiZRdR.net
>>322
>pは奇素数として
>”PSL(2,p-1)はP1(Fp-1)への推移的な作用で(p)次対称群に埋め込める”
正真正銘の馬鹿ｗ
「qを有限体の位数として
PSL(2,q)はP1(Fq)への推移的な作用で
P1(Fq)の位数はq+1だから
PSL(2,q)はq+1次対称群に埋め込める」
が正しい
>>323
＞16が2のベキであることに意味はある
有限体の位数は素数のベキ
馬鹿はこんな基本的なことも知らないｗｗｗ
366:１３２人目の素数さん
19/10/30 21:06:31.70 7Ir4b7+H.net
>>324
それで正解ですね。
位数2倍、4倍の群
PSL(2,16):2, PSL(2,16):4 の意味がまだ分からんのですが。
367:１３２人目の素数さん
19/10/30 21:41:18.54 7Ir4b7+H.net
有限体の項目を見たらフロベニウス自己同型群の位数は
q=p^e のとき位数eの巡回群とあるから、これと関係あるかな？
16=2^4だからぴったり4次の巡回群。
フロベニウス自己同型との合成も含めるということかな？
368:１３２人目の素数さん
19/10/30 22:34:09.73 w7bYM9gZ.net
>>327
多分それでしょ？
G:Hは大概半直積をあらわす記号。
Hの方がGに作用して交換関係を決める。
当然その作用を明示しないと意味通じないけど、空気よめばわかる時は明示しないで群の位数だけ書いたりする。
今回は位数4の群のPSL(2,16)への空気よめばわかる有名な作用なんてGal(F(16)/F(2))の作用しかない希ガス。
だいぶ遠いジャンルからのカキコであてにはならないですけど。
369:１３２人目の素数さん
19/10/30 22:53:06.65 7Ir4b7+H.net
正確に言うと、フロベニウス写像（p乗写像）は
ガロア群Gal(F_q/F_p)の生成元ですね。
G=Gal(F_16/F_2)は位数4の巡回群。
γ∈PSL(2,16),z∈P^1(F_16)
に対して、γ(z)=(az+b)/(cz+d)と作用する。
a,b,c,d∈F_16 にはガロア群Gの元σが作用し
したがって、PSL(2,16)にも作用する。
γ^σ(z)=(σ(a)z+σ(b))/(σ(c)z+σ(d))
と定めると、σ(γ(z))=γ^σ(σ(z)).
つまり（左の元を先に作用させる意味とすると）
γσ=σγ^σ が成立する。
ということから
PSL(2,16)とGal(F_16/F_2)（及びその位数2の部分群）
との半直積として、位数が4倍、2倍の群がそれぞれ得られる。
それらが
PSL(2,16):4, PSL(2,16):2 だと思う。
370:１３２人目の素数さん
19/10/30 22:54:15.99 7Ir4b7+H.net
>>328
コメントあざます。
371:１３２人目の素数さん
19/10/31 14:50:25.18 hCUXuggb.net
URLﾘﾝｸ(i.imgur.com)
372:現代数学の系譜 雑談 古典ガロア理論も読む
19/11/01 07:28:56.41 rcKeDs9u.net
>>325
どうも。スレ主です。
ありがとう、これか（＾＾；
URLﾘﾝｸ(mathtrain.jp)
高校数学の美しい物語 最終更新:2016/05/01
有限体（ガロア体）の基本的な話
(抜粋)
位数（要素数）が q の有限体が存在する ←→ ある素数 p と正の整数 n が存在して
373:q=p^n 有限体とは 位数が有限である体を有限体（またはガロア体）と言います。大雑把に言うと，四則演算ができる有限集合のことです。 位数が q である有限体（実は，同型を除いて一通りに定まる）を Fq，GF(q) などと表記します。 一般に，位数が素数のべき乗である有限体は，既約多項式というものを用いて構成することができます。 また，位数が素数のべき乗でないような有限体は存在しません。 https://ja.wikipedia.org/wiki/%E6%9C%89%E9%99%90%E4%BD%93 有限体 (抜粋) 有限体（ゆうげんたい、英語：finite field）とは、代数学において、有限個の元からなる体、すなわち四則演算が定義され閉じている有限集合のことである。 主に計算機関連の分野においては、発見者であるエヴァリスト・ガロアにちなんでガロア体あるいはガロア域（ガロアいき、Galois field）などとも呼ぶ[1]。 有限体においては、体の定義における乗法の可換性についての条件の有無は問題にはならない。実際、ウェダーバーンの小定理と呼ばれる以下の定理 「有限斜体は可換体である」 が成り立つことが知られている。別な言い方をすれば、有限体において乗法の可換性は、体の有限性から導かれるということである。 目次 1 構成例 2 構造 3 応用 つづく
374:現代数学の系譜 雑談 古典ガロア理論も読む
19/11/01 07:29:48.96 rcKeDs9u.net
>>332
つづき
構造
K を含む Fp の代数閉包を (Fp)^ とする。このとき K は、 (Fp)^ の元で、重根を持たない方程式 x^q ? x = 0 を満たすものの全体として特徴付けられる。特に位数が p^n の有限体は同型を除いて唯一つ存在する[1]。
この一意性により、位数 q の有限体を Fq または GF(q) などと表すことがある。
また、有限体 Fq と自然数 m に対し Fq の m 次拡大体は唯一つ存在し、Fq^m と同型であるということもわかる。さらに Fq^m の各元の Fq 上の最小多項式は x^q^m ? x を割り切るので、有限体の拡大はすべて分離的である。
つまり有限体は完全体である。さらに q 乗フロベニウス写像とよばれる自己同型写像
σ ： Ｆ_{q^m}→ Ｆ_{q^m}; a→ a^q
を考えると、拡大 Fq^m/Fq のガロア群 Gal(Fq^m/Fq) = AutFq(Fq^m) はフロベニウス写像で生成される。つまり、
Gal (Ｆ_{q^m}/Ｆ_q)=< σ > ={ id _Ｆ_{q^m},σ ,σ ^2,ldots ,σ ^m-1}
と表される[2]。したがって、有限体の拡大はすべて巡回拡大であるガロア拡大である。
有限体は代数的閉体でありえない。
有限体 Fq^m の元 α, αq, …, αq^m ? 1 が Fq 上のベクトル空間 Fq^m の基底をなすとき，この基底を正規基底という。正規基底は常に存在する[3]。
応用
・リード・ソロモン符号など基本的なものを含む多くの誤り検出・訂正は、GF(2)、GF(22)、GF(24)、GF(28)、GF(216) などを使う。
・AES、Camelliaなど、2000年代以降の共通鍵暗号の多くは、SボックスにGF(28) を使う。
・楕円曲線暗号は、きわめて大きな位数の有限体、たとえばGF(2400) などを使う。
(引用終り)
以上
375:現代数学の系譜 雑談 古典ガロア理論も読む
19/11/01 07:37:14.61 rcKeDs9u.net
>>332 追加
URLﾘﾝｸ(en.wikipedia.org)
Finite field
(抜粋)
Contents
1 Properties
2 Existence and uniqueness
3 Explicit construction
3.1 Non-prime fields
3.2 Field with four elements
3.3 GF(p2) for an odd prime p
3.4 GF(8) and GF(27)
3.5 GF(16)
4 Multiplicative structure
4.1 Discrete logarithm
4.2 Roots of unity
4.3 Example: GF(64)
5 Frobenius automorphism and Galois theory
6
376: Polynomial factorization 6.1 Irreducible polynomials of a given degree 6.2 Number of monic irreducible polynomials of a given degree over a finite field 7 Applications 8 Extensions 8.1 Algebraic closure 8.1.1 Quasi-algebraic closure 8.2 Wedderburn's little theorem 8.3 Relationship to other commutative ring classes 9 See also Existence and uniqueness Let q = p^n be a prime power, and F be the splitting field of the polynomial Explicit construction Non-prime fields Given a prime power q = pn with p prime and n > 1, the field GF(q) may be explicitly constructed in the following way. One chooses first an irreducible polynomial P in GF(p)[X] of degree n (such an irreducible polynomial always exists). Then the quotient ring Relationship to other commutative ring classes Finite fields appear in the following chain of inclusions: commutative rings ⊃ integral domains ⊃ integrally closed domains ⊃ GCD domains ⊃ unique factorization domains ⊃ principal ideal domains ⊃ Euclidean domains ⊃ fields ⊃ finite fields See also Quasi-finite field Field with one element Finite field arithmetic Finite ring Finite group Elementary abelian group Hamming space (引用終り)
377:現代数学の系譜 雑談 古典ガロア理論も読む
19/11/01 07:57:00.74 rcKeDs9u.net
>>334 追加
URLﾘﾝｸ(fr.wikipedia.org)
Corps fini
(抜粋)
4 Histoire
4.1 Congruences et imaginaires de Galois
4.3 Applications theoriques
（google 英訳）
History
The theory of finite fields first develops, like the study of congruences, on integers and on polynomials, then from the very end of the nineteenth century, as part of a general theory of commutative bodies.
Congruences and imaginations of Galois
The study of the first finite fields is systematically treated, in the form of congruences, by Gauss in his Disquisitiones arithmeticae published in 1801,
but many of these properties had already been established by Fermat, Euler, Lagrange and Legendre, among others.
In 1830 Evariste Galois published28 what is considered as the founding article of the general theory of finite bodies. Galois, who claims to be inspired by Gauss's work on entire congruences, deals with polynomial congruences, for an irreducible polynomial with coefficients taken themselves modulo a prime number p.
More precisely, Galois introduces an imaginary root of a congruence P (x) = 0 modulo a prime number p, where P is an irreducible polynomial modulo p. He notes i this root and works on expressions:
a + a1 i + a2 i2 + ... + an-1 in-1 where n is the degree of P.
Retraduced in modern terms, Galois shows that these expressions form a cardinality body pn, and that the multiplicative group is cyclic (Kleiner 1999,).
He also notes that an irreducible polynomial that has a root in this body, has all its roots in it, that is, it is a normal extension of its first subfield ( Lidl and Niederreiter 1997).
He uses the identity given by what has been called since the Frobenius automorphism (Van der Waerden 1985).
In 1846, Liouville, at the same time as he published Galois' famous memoir on the resolution of polynomial equations, republished this article in his Journal
378:of Pure and Applied Mathematics. (引用終り)
379:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
19/11/01 07:59:45 rcKeDs9u.net
>>335
補足
仏語wikipediaだけど
commutative bodies. は、可換体
Corpsを、google 英訳では、bodiesと訳すみたい（＾＾；
380:現代数学の系譜 雑談 古典ガロア理論も読む
19/11/01 08:29:03.93 rcKeDs9u.net
>>332 追加
”ガロア群Gal(Fp^n/Fp)の構造”、”Frobenius自己同型”、Frobenius写像か
URLﾘﾝｸ(biteki-math.hatena)（URLがNGなので、キーワードでググれ（＾＾ ）
美的数学のすすめ id:TSKi
2015-05-09
有限体の構造
(抜粋)
有限体の構造といっても、その多くは、Z/pZ（pは素数）の性質を一般化したものです。したがって、よく慣れ親しんでいるものだと思います。
位数pの有限体
Z/pZは、位数pの有限体です。逆に、位数pの有限体は全てZ/pZと同型であることが知られています。
同型を除いて一つに定まる位数pの有限体をFpと記します。また、そのうち0以外の元からなる集合をF×pと記します。F×pは乗法に関して群をなします。
ガロア群Gal(Fp^n/Fp)の構造
Fp^nからFp^nへ写像として次のものを考えます。
Φ : Fp^n∋x→xp∈Fp^n
ここで、x,y∈Fp^nに対してΦ(x+y)=Φ(x)+Φ(y)が成立します。
Φは、ガロア群Gal(Fp^n/Fp)に含まれていることが分かりました。
この自己同型ΦをFrobenius自己同型といいます。そしてガロア群Gal(Fp^n/Fp)はFrobenius自己同型により生成されることが知られています。
Gal(Fp^n/Fp)={Φ,Φ2,?,Φn=1}
つまり、ガロア群Gal(Fp^n/Fp)は、位数nの巡回群であり、Frobenius自己同型がその生成元となります。
ここまで、位数がpの有限体のn次拡大を見てきましたが、位数がpmの有限体のn次拡大に関しても、上とまったく同じ議論が成り立ちます。
(引用終り)
以上
381:１３２人目の素数さん
19/11/01 08:33:36.58 rOflXXE6.net
ひどい説明www
382:現代数学の系譜 雑談 古典ガロア理論も読む
19/11/01 12:12:58.78 jBvN9kSg.net
ひどい？（＾＾；
383:現代数学の系譜 雑談 古典ガロア理論も読む
19/11/01 12:28:10.24 jBvN9kSg.net
>>335
独語 有限体
URLﾘﾝｸ(de.wikipedia.org)
Endlicher Korper
(抜粋)
Inhaltsverzeichnis
1 Beispiel: Der Korper mit 2 Elementen
2 Klassifikation endlicher Korper
3 Multiplikative Gruppe und diskreter Logarithmus
4 Weitere Beispiele
4.1 Der Korper mit 4 Elementen
4.2 Der Korper mit 49 Elementen
4.3 Der Korper mit 25 Elementen
5 Zur historischen Entwicklung
Zur historischen Entwicklung
Dass man mit Zahlen modulo einer Primzahl ?wie mit rationalen Zahlen“ rechnen kann, hatte bereits Gaus gezeigt.[1]
Galois fuhrte in die Rechnung modulo p imaginare Zahlgrosen ein, ganz so wie die imaginare Einheit {i} in den komplexen Zahlen.
Damit hat er wohl als erster Korpererweiterungen von {F}_{p} betrachtet ? wenn auch der abstrakte Korperbegriff erst 1895 durch Heinrich Weber eingefuhrt wurde und Frobenius als Erster diesen 1896 auf endliche Strukturen ausdehnte.
Daneben bzw. zuvor hat offenbar Eliakim Hastings Moore 1893 bereits endliche Korper studiert und den Namen Galois field eingefuhrt.[2]
（google 英訳）
On the historical development
Gauss had already shown that one can count on numbers modulo a prime "as with rational numbers". [1] Galois introduced into the calculation modulo p imaginary numbers, much like the imaginary unit {i} in the complex numbers.
He was probably the first body extension of {F}_{p} - although the abstract concept of the body was first introduced by Heinrich Weber in 1895 and Frobenius was the first to introduce it in 1896 extended to finite structures.
In addition, or before apparently Eliakim Hastings Moore 1893 already studied finite body and introduced the name Galois field.
(引用終り)
以上
384:現代数学の系譜 雑談 古典ガロア理論も読む
19/11/01 12:36:17.34 jBvN9kSg.net
>>340
有限体
Endlicher Korper
（google 英訳）
finite body （＾＾；
Korperは、身体という意味があって
仏語のCorps（>>335）も、独語から来ている
英語では、Finite field。だれが、この訳語にしたのかな？（＾＾
日本語の用語”体”は、明治の数学者たちがドイツで学んだからの訳語でしょう
385:現代数学の系譜 雑談 古典ガロア理論も読む
19/11/01 12:44:22.80 jBvN9kSg.net
>>335の仏版と>>340の独版を比べると
お国自慢が見えて面白ね
ロシア（旧ソ連）で、よくあるが
ロシアでも、ヨーロッパと同じころに
独自に考えていた人がいるという話しが、よく出てくる（＾＾
386:現代数学の系譜 雑談 古典ガロア理論も読む
19/11/01 14:20:32.05 jBvN9kSg.net
メモ
URLﾘﾝｸ(www.nikkei.com)
「量子超越」社会変革も、Google成果 専門家に聞く
科学&新技術
2019/11/1 11:00日本経済新聞 電子版
(抜粋)
米グーグルが次世代計算機の量子コンピューターを使い、スーパーコンピューターよりも極めて短い時間で複雑な計算問題を解くことに成功した。
国内の量子コンピューター研究の第一人者で、英科学誌ネイチャーに掲載されたグーグルの論文の査読を担当した大阪大学の藤井啓祐教授は「新しい原理で計算するコンピューターの重要な一歩だ」と評価し、将来の社会変革につながる可能性があるとの認識を示した。
グーグルは今回、量子コンピューターが従来のコンピューターには困難な問題を解く「量子超越」を実証した。乱数をつくる問題を用意し、最先端のスパコンで約1万年かかるところを、3分20秒で解いたという。
藤井教授は「過去、何十年もの間にものすごい投資をして高性能なコンピューターが現在、実現している。それを超える物理的な仕組みのコンピューターは今までなかった」として、今回の成果を評価した。
グーグルは「0」と「1」を重ね合わせた53個の「量子ビット」を計算に利用した。量子ビットをつくるには高度な技術が必要で、5年ほど前の時点では5量子ビットにとどまっていた。藤井教授は規模を大きくできた背景として、直線的に並べていた量子ビットを2次元（面）的に並べる手法を実現したことなどを挙げ「順調すぎるぐらいの進展」だと述べた。
グーグルが用いた計算問題については米IBMが「スパコンでも2日半で解ける」と主張している。この点は「もっともな面がある」と認めつつ、なお「量子コンピューターの方が速い」と語った。近い将来の量子コンピューターの進化で、議論になっている優位性が確かなものになるとの考えを示した。
ただ、本格的な量子コンピューターの実現には時間がかかる。グーグルの成果はライト兄弟による有人初飛行に匹敵するとの評価もあるが「飛行機に例えると、究極的につくりたい量子コンピューターはさらに進化したロケットだ。（幅広く）役に立つ問題を解けるようになるには、量子ビットの数が100万～1億の単位で必要」という。
つづく
387:現代数学の系譜 雑談 古典ガロア理論も読む
19/11/01 14:21:18.85 jBvN9kSg.net
>>343
つづき
1千量子ビットを超え規模を大きくする際に、配線などで新たな技術が必要になると指摘した。「現在不足している開発人材をどう確保するかが重要だ」とも述べた。
世界ではグーグルやIBM、中国のアリババ集団などが量子コンピューターの開発に力を入れる。日本も基礎的な研究で世界で注目される成果を挙げてきた経緯があり「（今後の開発は）20年かかるレース。今の段階で（研究を）手放してしまうのは完全なリスクだ」として、取り組みを進めるべきだと主張した。
「量子コンピューターで難しいのは制御のためのエレクトロニクスやマイクロ波の技術などだ。それらの技術を押さえればグーグルも使わざるを得なくなる」と述べ、周辺技術のほかソフトウエアの分野でも勝機があるとの認識を示した。
量子コンピューターの利用については、最先端の物性物理学や化学などの分野で「すぐにでも使われていくのではないか」と話した。将来のイメージとして「（量子コンピューターの活用を通じ）植物の光合成の仕組みが解明され、人工光合成が実現すれば、エネルギー問題の解決に向けて大きな選択肢となる」と期待を示した。
食料生産に欠かせないアンモニアの合成でも、省エネにつながる画期的な触媒などが実現する可能性があるという。量子コンピューターの普及が本格的に進めば通信のネットワークやセキュリティーなどに大きな影響を与えると考えられ「社会システムが変わっていく」と展望を語った。（生川暁、張耀宇）
▼量子コンピューター アインシュタインの相対性理論と並び、現代物理学の土台となっている「量子力学」の理論を応用したコンピューター。概念は1980年代に提唱され、90年代に実現に向けた研究が盛り上がりを見せた。2010年代に入ってIT大手やベンチャー企業による開発が活発になり、現在は「第2次ブーム」ともいわれる。
量子力学が扱う極微の世界では、日常の感覚では理解しがたい不思議な現象が起こりうる。量子コンピューターでは「0であり、かつ1でもある」という状態（量子ビット）をつくり出し、計算の単位とする。
従来のコンピューターが「0」か「1」のどちらかで情報を表すのに対し、量子ビットはどちらも同時に表して膨大なデータもひとまとめに計算できる。計算回数が大幅に減り、時間の短縮につながる。
(引用終り)
388:１３２人目の素数さん
19/11/01 15:05:56.76 cdPTpCCW.net
>>341
道理で中国語で体は域と訳されているわけですね
389:１３２人目の素数さん
19/11/01 16:46:53.49 +yJ1gbLY.net
おっちゃんです。
>>343-344
私が見る限り、最近の都市部のビル群の建築物は外からの景観をやたら飾るビル群が多くて、使用したり住んだりするにはダメ。
観察して見れば分かるだろうが、外に出て掃除するにあたり、
室外機置場などのように腰高窓から外に出て掃除しにくくなっている部分が多いマンションなどのビル群が増えて来ている。
また、そのような腰高窓から出るところの壁に限らず、掃き出し窓から出られるベランダの壁にも、
換気口などの四角いような形の突起物が付いているマンションなどのビル群が増えて来ている。
このようなマンションやビルの構造は、突起物にはドバトが止まれたり、ドバトが病原菌を含んだり害虫などのエサになる糞を好んでし易く、
大抵の場合は高層階に行く程ドバトの糞の害は大きくなる。都市部ではドバトの糞害はとても大きい。
一昨日、腰高窓から室外機置場に出て、エアコンの裏のドバトの糞掃除や、
10月の大型台風の後始末の掃除をしたりして、足の筋肉や体の横が痛くなった。
まあ、それでも紙に書いて数学は出来るからまだいいんだが。
最近の木造建築物ではない比較的新しい建築物は気密性が高く、壁で自動的に空気が抜ける構造にはなっていない。
その反面、一軒家は一軒家で、シロアリなどの害虫の被害や台風や大雨洪水に弱く、
床下浸水や床上浸水になる可能性があるなどという問題もある。
マンションなどのビルの建築物と一軒家とでは、住むにはどっちがいいんでしょうね。
390:１３２人目の素数さん
19/11/01 18:47:29.73 zXuwAN1C.net
>>346
うちもマンションだけど、ドバトは見かけないな
391:１３２人目の素数さん
19/11/01 19:10:52.81 zXuwAN1C.net
URLﾘﾝｸ(ja.wikipedia.org)
ハロウィン、あるいはハロウィーン（英: Halloween または Hallowe'en）とは、
毎年10月31日に行われる、古代ケルト人が起源と考えられている祭のこと。
もともとは秋の収穫を祝い、悪霊などを追い出す宗教的な意味合いのある行事
であったが、現代では特にアメリカ合衆国で民間行事として定着し、祝祭本来
の宗教的な意味合いはほとんどなくなっている。
カボチャの中身をくりぬいて「ジャック・オー・ランタン」を作って飾ったり、
子どもたちが魔女やお化けに仮装して近くの家々を訪れてお菓子をもらったり
する風習などがある。
キリスト教の祭ではない。ハロウィンに対しては、本体キリスト教にとっては
異教徒の祭りであったことから、キリスト教教会においては、容認から否定まで
様々な見解がある。
392:１３２人目の素数さん
19/11/01 19:13:13.34 zXuwAN1C.net
>>348
ケルト人の1年の終わりは10月31日で、この夜は秋の終わりを意味し、
冬の始まりでもあり、死者の霊が家族を訪ねてくると信じられていた。
時期を同じくして出てくる有害な精霊や魔女から身を守るために仮面を被り、
魔除けの焚き火を焚いていた。
これに因み、31日の夜、カボチャ（アメリカ大陸の発見以前はカブが用いられた。
スコットランドではカブの一種ルタバガを用いる。）をくりぬいた中に
蝋燭を立てて「ジャック・オー・ランタン (Jack-o'-lantern)」を作り、
魔女やお化けに仮装した子供たちが近くの家を1軒ずつ訪ねては
「トリック・オア・トリート（Trick or treat. 「お菓子をくれないと悪戯するよ」
または「いたずらか、お菓子か」）」と唱える。家庭では、カボチャの菓子を作り、
子供たちはもらったお菓子を持ち寄り、ハロウィン・パーティを開いたりする。
お菓子がもらえなかった場合は報復の悪戯をしてもよい、とされている。
玄関のライトを点けていると訪問してもよいという意思表示になっており、
それにもかかわらず断る家主とは悪戯の攻防戦が繰り広げられる。
これはあくまでも電気が点いている家に対してであり、そうでない場合は
がっかりして立ち去るのが
393:ほとんどである。 カトリック教会の諸聖人の日がハロウィンに重なる形で設定されており、 これを「カトリック教会が（キリスト教からみて）異教の祭を取り込んだ」 とする見方と、「カトリック教会が（キリスト教からみて）異教の祭を潰すために 設定した」とする見方がある。いずれにしてもハロウィンは元々キリスト教の祭では 無かったことが両見解の前提となっている。
394:１３２人目の素数さん
19/11/01 19:15:13.52 zXuwAN1C.net
>>349
「Halloween」または「Hallowe'en」という単語はおおよそ1745年に遡り、
キリスト教徒起源である。単語「Hallowe'en」は「聖人達の夜」を意味する。
この単語は「All Hallows' Eve」（諸聖人の日〈All Hallows' Day〉の前夜）
を指すスコットランドの表現から来ている。スコットランド語では、
単語「eve」は「even」であり、これは「e'en」または「een」に短縮される。
時がたつにつれて、「(All) Hallow(s) E(v)en」が「Hallowe'en」へと変化した。
「All Hallows」という語句は古英語でも見られるものの、「All Hallows' Eve」
それ自身は1556年まで見られない。
395:現代数学の系譜 雑談 古典ガロア理論も読む
19/11/01 19:15:52.21 jBvN9kSg.net
>>319 補足
「ガウス (az+b)/(cz+d) モジュラー」で検索
URLﾘﾝｸ(ja.wikipedia.org)
モジュラー形式
目次
1 SL2(Z) のモジュラー形式
1.1 標準的な定義
1.2 格子上の函数としての扱い
1.3 モジュラー曲線上の函数としての扱い
3 モジュラー函数
4 一般レベルのモジュラー形式
4.1 リーマン面 Γ\H*
4.3 結果
4.4 q-展開
4.5 整形式とカスプ形式
4.6 保型因子とその他の一般化
5 一般化
6 歴史
URLﾘﾝｸ(ja.wikipedia.org)
メビウス変換
目次
1 概要
2 定義
3 基本的な変換への分解とかんたんな性質
3.1 角の保存と広義の円
3.2 複比の保存
4 射影行列表現
5 メビウス変換は三点で決まる
5.1 初期値を 0, 1, ∞ に移す変換を用いる方法
5.2 明示的な行列式公式を利用する方法
5.3 明示公式
6 分類
6.1 抛物型変換
6.2 特性定数
6.3 楕円型変換
6.4 双曲型変換
6.5 斜航型変換
6.6 一般の分類
6.7 実解析的な議論と語法についての注意
7 不動点
7.1 不動点の決定
7.2 位相幾何学的な証明
7.3 正規形
7.3.1 非抛物型の場合
7.3.2 抛物型の場合
8 特性定数の幾何学的解釈
8.1 楕円型変換
8.2 双曲型変換
8.3 斜航型変換
8.4 立体射影
9 変換の反復適用
10 変換の極
11 ローレンツ変換
12 双曲空間
URLﾘﾝｸ(www.th.phys.titech.ac.jp)
[PDF]第 2 章 1次分数変換
2.3 １次分数変換
2.3.1 １次分数変換
396:１３２人目の素数さん
19/11/01 19:18:49.08 zXuwAN1C.net
>>350
日本とハロウィン
1990年代後半より始まった東京ディズニーランドのイベントを筆頭として、
各地でのハロウィンイベントの開催が増えたこと、さらに2000年代後半より
菓子メーカーが相次いでハロウィン商戦に参入したことなどを契機としながら、
2010年代中盤にはソーシャル・ネットワーキング・サービス (SNS) の普及にも
後押しされて市場規模が拡大。同時期、店頭・街中でのハロウィン装飾が
見られるようになったほか、仮装・コスプレのイベントとして日本式に
アレンジされたハロウィンが行われている。近年では幼稚園や保育園の
恒例行事になっているほか、大人�
397:煢ｼ装をして参加するイベントが 大都市圏を中心に各地で行われている。ただし、後述のように様々な問題も 起きており、8割の人がハロウィンに関心を示していない、もしくは好まない という2016年のアンケート結果などもある。
398:１３２人目の素数さん
19/11/01 19:42:48.70 zXuwAN1C.net
URLﾘﾝｸ(ja.wikipedia.org)
モジュラー群
目次
1 定義
2 数論的性質
3 群論的な性質
3.1 表示
3.2 ブレイド群
4 双曲幾何学との関係
4.1 双曲平面のタイル貼り
5 合同部分群
6 写像トーラス
7 ヘッケ群
8 歴史
URLﾘﾝｸ(ja.wikipedia.org)
j-不変量
目次
1 定義
2 基本領域
3 類体論と j-不変量
4 超越的性質
5 q-展開とムーンシャイン
5.1 ムーンシャイン
6 別の表現
7 テータ函数による表現
8 代数的定義
9 逆函数
10 π公式
11 特殊値
399:１３２人目の素数さん
19/11/01 19:56:29.83 zXuwAN1C.net
URLﾘﾝｸ(ja.wikipedia.org)
モンストラス・ムーンシャイン
目次
1 歴史
2 モンスター加群
3 ボーチャーズの証明
4 一般化されたムーンシャイン
5 量子重力との予想される関係
6 マチュームーンシャイン
7 何故「モンストラス・ムーンシャイン」なのか？
400:１３２人目の素数さん
19/11/01 20:02:18.38 zXuwAN1C.net
密造酒（みつぞうしゅ）とは、政府等の公的機関の許可を得ないで製造された
アルコール飲料の総称である。本来、酒税の課税対象であるアルコール飲料を
無許可で製造するため、近代国家の多くでは、税制度への依存度が高まるに
つれ、これら密造酒製造には厳罰が科せられる傾向が強い。
自宅で簡単に製造、消費でき、摘発もされない点がしばしば問題視される。
アメリカ合衆国ではMoonshine（アメリカ英語: ムーンシャイン）と呼ばれ、
特にウィスキーの密造を指す場合が多い。
日本では密造酒と言うと、特にどぶろくを指す場合が多いなど、
密造酒の品種は各国で特色がある。
401:現代数学の系譜 雑談 古典ガロア理論も読む
19/11/01 21:17:11.13 rcKeDs9u.net
>>353-354
どうも。スレ主です。
フォローありがとう（＾＾
402:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
19/11/01 21:28:22 rcKeDs9u.net
>>345
どうも。スレ主です。
フォローありがとう
追加参考
URLﾘﾝｸ(ja.wikipedia.org)(%E6%95%B0%E5%AD%A6)
体 (数学)
(抜粋)
この代数的構造はリヒャルト・デーデキントとレオポルト・クロネッカーがそれぞれ独立に（そして極めて異なる方法で）導入したが、体という呼称は実数または複素数からなる四則演算に関して閉じている部分集合を表すものとしてドイツ語で体を意味する Korper を用いたのが由来である（それがゆえに、任意の体を表すのにしばしば K をプレースホルダとして用いる）。
URLﾘﾝｸ(zh.wikipedia.org)(%E6%95%B8%E5%AD%B8)
中国
域 数学
URLﾘﾝｸ(en.wikipedia.org)(mathematics)
Field (mathematics)
(抜粋)
History
Historically, three algebraic disciplines led to the concept of a field: the question of solving polynomial equations, algebraic number theory, and algebraic geometry.[15] A first step towards the notion of a field was made in 1770 by Joseph-Louis Lagrange,
Vandermonde, also in 1770, and to a fuller extent, Carl Friedrich Gauss, in his Disquisitiones Arithmeticae (1801),
These gaps were filled by Niels Henrik Abel in 1824.[18] Evariste Galois, in 1832, devised necessary and sufficient criteria for a polynomial equation to be algebraically solvable, thus establishing in effect what is known as Galois theory today.
Both Abel and Galois worked with what is today called an algebraic number field, but conceived neither an explicit notion of a field, nor of a group.
In 1871 Richard Dedekind introduced, for a set of real or complex numbers that is closed under the four arithmetic operations, the German word Korper, which means "body" or "corpus" (to suggest an organically closed entity). The English term "field" was introduced by Moore (1893).[19]
つづく
403:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
19/11/01 21:31:23 rcKeDs9u.net
>>357
つづき
By a field we will mean every infinite system of real or complex numbers so closed in itself and perfect that addition, subtraction, multiplication, and division of any two of these numbers again yields a number of the system.
??Richard Dedekind, 1871[20]
In 1881 Leopold Kronecker defined what he called a domain of rationality, which is a field of rational fractions in modern terms.
Kronecker's notion did not cover the field of all algebraic numbers (which is a field in Dedekind's sense),
but on the other hand was more abstract than Dedekind's in that it made no specific assumption on the nature of the elements of a field. Kronecker interpreted a field such as Q(π) abstractly as the rational function field Q(X).
Prior to this, examples of transcendental numbers were known since Joseph Liouville's work in 1844, until Charles Hermite (1873) and Ferdinand von Lindemann (1882) proved the transcendence of e and π, respectively.[21]
The first clear definition of an abstract field is due to Weber (1893).[22]
In particular, Heinrich Martin Weber's notion included the field Fp. Giuseppe Veronese (1891) studied the field of formal power series, which led Hensel (1904) to introduce the field of p-adic numbers.
Steinitz (1910) synthesized the knowledge of abstract field theory accumulated so far. He axiomatically studied the properties of fields and defined many important field-theoretic concepts.
The majority of the theorems mentioned in the sections Galois theory, Constructing fields and Elementary notions can be found in Steinitz's work.
Artin & Schreier (1927) linked the notion of orderings in a field, and thus the area of analysis, to purely algebraic properties.[23]
Emil Artin redeveloped Galois theory from 1928 through 1942, eliminating the dependency on the primitive element theorem.
(引用終り)
以上
404:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
19/11/01 21:34:19 rcKeDs9u.net
>>351
>URLﾘﾝｸ(ja.wikipedia.org)
>メビウス変換
複素平面の図形についてのメビウス変換
URLﾘﾝｸ(mathtrain.jp)
高校数学の美しい物語
最終更新:2015/11/19
一次分数変換（メビウス変換）と円円対応
(抜粋)
一次分数変換：
a,b,c,d を ad≠bc なる複素数とする。複素数値に対して複素数を返す関数で，
f(z)=(az+b)/(cz+d) という形のものを一次分数変換（またはメビウス変換）という。
一次分数関数は「複比を保つ」「等角写像」などいろいろな性質があります。過去の入試問題でもメビウス変換を背景とする問題が多く見られます。
この記事では円円対応を理解するのが目標です。
URLﾘﾝｸ(examist.jp)
受験の月 学校では教えてくれない受験のための数学・物理・化学
1次分数変換(メビウス変換) w=(αz+β
405:)/(γz+δ) による像
406:現代数学の系譜 雑談 古典ガロア理論も読む
19/11/01 21:38:18.10 rcKeDs9u.net
>>359 追加
一方で、ゼータに対応する数論のメビウス変換（メビウスの反転公式）
これは、別のメビウス変換ですね
URLﾘﾝｸ(qiita.com)
Qiita
@convexineq
2019年09月30日に投稿
ゼータ変換・メビウス変換を理解する
要約
本記事では、競技プログラミングに頻出のゼータ変換・メビウス変換についてまとめました。
記事中のコードはpythonで記述されています。
URLﾘﾝｸ(sugarknri.hatena)<)（URLがNGなので、キーワードでググれ（＾＾ ）
naoya_t@hatenablog
いわゆるチラシノウラであります
2018-07-02
高速ゼータ変換／高速メビウス変換
高速ゼータ変換・高速メビウス変換が気になっていたところにタイムリーに先日のARC 100のE問題が来て（ちゃんと解けなかったので）折角なのでこの機会にマスターしようと思い競プロ有識者の皆さんのブログやツイートを漁ってみました。
ゼータ関数とメビウス関数
Wikipediaを見てると
「（幾何学における平面上の）メビウス変換」と「数論的メビウス変換」があったり
「数論的メビウス関数」と「組合せ論的メビウス関数」があったり
でややこしいのだけれど、今ゼータ変換とかメビウス変換とか言ってるのは
隣接代数 (順序理論) - Wikipedia
とか
URLﾘﾝｸ(ja.wikipedia.org)
メビウスの反転公式 - Wikipedia
の辺りの話らしい。
407:現代数学の系譜 雑談 古典ガロア理論も読む
19/11/01 21:38:53.33 rcKeDs9u.net
>>360
URLﾘﾝｸ(ja.wikipedia.org)
メビウスの反転公式
(抜粋)
整除関係によって順序付けられた自然数という古典的な場合に、別の局所有限半順序集合（英語版）が取って代わると、他のメビウス反転公式が得られる。説明は隣接代数を参照。
URLﾘﾝｸ(ja.wikipedia.org)(%E9%A0%86%E5%BA%8F%E7%90%86%E8%AB%96)
隣接代数 (順序理論)
(抜粋)
任意の局所有限な半順序集合と単位元を持つ可換環に対して定義される結合多元環である。局所有界半順序集合の接続代数は、1964年のジャン・カルロ・ロタ(Gian-Carlo Rota)による論文[3]に始まり、多くの組合せ論研究者により発展した。
関連する概念
隣接代数は群代数に類する概念である。実際、（群および半順序集合を特別な種類の圏と見做すというのと同じ意味で）群代数および隣接代数は圏代数（英語版）の特別の場合になっている。
(引用終り)
以上
408:１３２人目の素数さん
19/11/01 21:54:24.80 zXuwAN1C.net
URLﾘﾝｸ(ja.wikipedia.org)
ポワンカレの上半平面モデル
射影線型群 PGL(2,C) はリーマン球面に一次分数変換で作用する。
この群の部分群で上半平面 H を H 自身の上に移すものは、
すべての係数が実数であるような変換全体の成す群 PSL(2, R) で、
その作用は上半平面上推移的かつ等距ゆえ、
上半平面はこの作用に関する等質空間となる。
409:１３２人目の素数さん
19/11/01 22:28:04 zXuwAN1C.net
URLﾘﾝｸ(ja.wikipedia.org)
フォードの円
URLﾘﾝｸ(ja.wikipedia.org)
フ�
410:@レイ数列
411:現代数学の系譜 雑談 古典ガロア理論も読む
19/11/01 23:15:51.46 rcKeDs9u.net
>>346
おっちゃん、どうも、スレ主です。
レスありがとう（＾＾
412:現代数学の系譜 雑談 古典ガロア理論も読む
19/11/01 23:22:05.80 rcKeDs9u.net
>>362
フォローありがとう
”ポワンカレの上半平面モデル”は、結構示唆に富んで重要だね
413:現代数学の系譜 雑談 古典ガロア理論も読む
19/11/02 07:01:37.05 ZLEqKHqI.net
>>357
> The English term "field" was introduced by Moore (1893).[19]
E. H. Moore（1862 ? 1932)さん
("Robert Lee Moore (no relation) Topologist (1882 ? 1974) " は、別人ですね)
（参考）
URLﾘﾝｸ(en.wikipedia.org)
(抜粋)
Eliakim Hastings Moore (/??la??k?m/; January 26, 1862 ? December 30, 1932), usually cited as E. H. Moore or E. Hastings Moore, was an American mathematician.
Accomplishments
In 1902, he further showed that one of Hilbert's axioms for geometry was redundant. Independently,[2] during a course taught by G. B. Halsted, the twenty-year-old Robert Lee Moore (no relation) also proved this, but in a more elegant fashion than E. H. Moore used.
At Chicago, Moore supervised 31 doctoral dissertations, including those of George Birkhoff, Leonard Dickson, Robert Lee Moore (no relation), and Oswald Veblen. Birkhoff and Veblen went on to lead departments at Harvard and Princeton, respectively.
Dickson became the first great American algebraist and number theorist. Robert Moore founded American topology. According to the Mathematics Genealogy Project, as of December 2012, E. H. Moore had over 18,900 known "descendants."
URLﾘﾝｸ(en.wikipedia.org)
(抜粋)
Robert Lee Moore (November 14, 1882 ? October 4, 1974) was an American mathematician who taught for many years at the University of Texas.
He is known for his work in general topology, for the Moore method of teaching university mathematics, and for his poor treatment of African-American mathematics students.
つづく
414:現代数学の系譜 雑談 古典ガロア理論も読む
19/11/02 07:02:37.04 ZLEqKHqI.net
>>366
つづき
Topologist
According to the bibliography in Wilder (1976), Moore published 67 papers and one monograph, his 1932 Foundations of Point Set Theory.
He is primarily remembered for his work on the foundations of topology, a topic he first touched on in his Ph.D. thesis.
By the time Moore returned to the University of Texas, he had published 17 papers on point-set topology?a term he coined?including his 1915 paper "On a set of postulates which suffice to define a number-plane", giving an axiom system for plane topology.
The Moore plane, Moore's road space, Moore space, Moore's quotient theorem [ru] and the Moore space conjecture are named in his honor.
(引用終り)
以上
415:１３２人目の素数さん
19/11/02 07:31:17.17 MFOPZ136.net
今日の一曲
URLﾘﾝｸ(www.youtube.com)
コピペなんてアホでもできる
416:現代数学の系譜 雑談 古典ガロア理論も読む
19/11/02 07:54:56.96 ZLEqKHqI.net
>>353 補足
モジュラー群の歴史で
和文：しかし、密接に関連する楕円曲線は、1785年にジョゼフ＝ルイ・ラグランジュ(Joseph Louis Lagrange)により研究され、
さらに楕円函数に関する結果は、カール・グスタフ・ヤコブ・ヤコビ(Carl Gustav Jakob Jacobi)とニールス・アーベル(Niels Henrik Abel)により1827年に出版された。
↑
英文：However, the closely related ellip
417:tic functions were studied by Joseph Louis Lagrange in 1785, and further results on elliptic functions were published by Carl Gustav Jakob Jacobi and Niels Henrik Abel in 1827. Joseph Louis Lagrange in 1785が、英文 elliptic functions 和文 楕円曲線に修正されている （＾＾； かなり専門的な人が手を入れたのだろうね （参考） https://ja.wikipedia.org/wiki/%E3%83%A2%E3%82%B8%E3%83%A5%E3%83%A9%E3%83%BC%E7%BE%A4 モジュラー群 (抜粋) 歴史 モジュラー群とその部分群は、最初に、詳細にリヒャルト・デーデキント (Richard Dedekind) とフェリックス・クライン (Felix Klein) により、1870年代に彼らのエルランゲン・プログラムの一部として研究された。 しかし、密接に関連する楕円曲線は、1785年にジョゼフ＝ルイ・ラグランジュ(Joseph Louis Lagrange)により研究され、 さらに楕円函数に関する結果は、カール・グスタフ・ヤコブ・ヤコビ(Carl Gustav Jakob Jacobi)とニールス・アーベル(Niels Henrik Abel)により1827年に出版された。 https://en.wikipedia.org/wiki/Modular_group Modular group (抜粋) History The modular group and its subgroups were first studied in detail by Richard Dedekind and by Felix Klein as part of his Erlangen programme in the 1870s. However, the closely related elliptic functions were studied by Joseph Louis Lagrange in 1785, and further results on elliptic functions were published by Carl Gustav Jakob Jacobi and Niels Henrik Abel in 1827.
418:現代数学の系譜 雑談 古典ガロア理論も読む
19/11/02 07:55:38.89 ZLEqKHqI.net
>>368
あんたはそれ以下
419:現代数学の系譜 雑談 古典ガロア理論も読む
19/11/02 08:00:36.51 ZLEqKHqI.net
なにを言っているか分からない
自分が、数学の専門誌（レフェリー）に、論文を投稿したのか？
なら、ハナタカも結構だけどね
”おまえはコピペだけだが、おれは数学を深く理解している”とでも言いたいのか？
笑えるよ
自慢する場所を間違えているぜ
５ｃｈの数学板で、「おれは分かっている」とハナタカかい？ｗ（＾＾
とりなきさとのこうもり
URLﾘﾝｸ(ja.wiktionary.org)
鳥なき里の蝙蝠
鳥がいないところでは、ただ飛べるというだけでコウモリが偉そうにする、あるいは偉そうに見えることから、ある分野に関して、本当に優れた人がいないところでは、ちょっとその分野に知識等があるだけで、その道の権威然とすることのたとえ。「鳥なき島の蝙蝠」とも。
420:１３２人目の素数さん
19/11/02 09:08:54.94 MFOPZ136.net
>>371
＞なにを言っているか分からない
「部分群ＨがgHg-1と同型なら正規部分群」
「次数ｎの円分多項式のガロア群はZ/nZ」
「HがGal(L/K)の部分群だからといって
H=Gal(L/M)となる体Mが存在するとは限らない」
確かに何言ってるか分からんっ！
＞笑えるよ
確かに
ギャハハハハハハ！！！！！！！
421:１３２人目の素数さん
19/11/02 09:20:20.71 MFOPZ136.net
>>371
＿＿＿_
／ ＼ ／＼ ｷﾘｯ
. ／ （ー） （ー）＼
／ ⌒（__人__）⌒ ＼ ＜「鳥なき里の蝙蝠」
| |r┬-| | 鳥がいないところでは、ただ飛べるというだけで
＼ `ー'´ ／ コウモリが偉そうにする
ノ ＼
／´ ヽ
| ｌ ＼
ヽ -一''''''"～～｀`'ー--､ -一'''''''ー-､.
ヽ ＿＿＿＿(⌒)(⌒)⌒) ) (⌒＿(⌒)⌒)⌒))
＿＿＿_
／_ノ ヽ､_＼ ＜だっておｗｗｗ
ﾐ ﾐ ﾐ oﾟ(（●）) (（●）)ﾟo ﾐ ﾐ ﾐ おまえ鳥のくせに飛べないニワトリじゃんｗ
/⌒)⌒)⌒. ::::::⌒（__人__）⌒:::＼ /⌒)⌒)⌒)
| / / / |r┬-| | (⌒)/ / / /／
| :::::::::::(⌒) | | | ／ ゝ :::::::::::/
| ノ | | | ＼ / ） /
ヽ / `ー'´ ヽ / ／
| | l||l 从人 l||l l||l 从人 l||l バ
ヽ -一''''''"～～｀`'ー--､ -一'''''''ー-､ ン
ヽ ＿＿＿＿(⌒)(⌒)⌒) ) (⌒＿(⌒)⌒)⌒)) バ
ン
422:１３２人目の素数さん
19/11/02 09:23:10.05 MFOPZ136.net
URLﾘﾝｸ(ja.wikipedia.org)
ニワトリ
分類
界 : 動物界 Animalia
門 : 脊索動物門 Chordata
亜門 : 脊椎動物亜門 Vertebrata
綱 :
423:鳥綱 Aves 目 : キジ目 Galliformes 科 : キジ科 Phasianidae 亜科 : キジ亜科 属 : ヤケイ属Gallus 種 : セキショクヤケイgallus 亜種 : domesticus 学名 Gallus gallus domesticus L., 1758 和名 ニワトリ 英名 Chicken
424:現代数学の系譜 雑談 古典ガロア理論も読む
19/11/02 10:29:23.42 ZLEqKHqI.net
>>325
(引用開始)
「qを有限体の位数として
PSL(2,q)はP1(Fq)への推移的な作用で
P1(Fq)の位数はq+1だから
PSL(2,q)はq+1次対称群に埋め込める」
が正しい
(引用終り)
多分、私の文献コピペの意図が分からなかったと思うが
”とりなきさとのこうもり”さんの上記の検証をしていたんだ
当方は、有限体は、あまり知識がなかったのでね
文献を漁っていたんだ
”こうもり”さんのは、下記引用が該当するな
・Projective linear group Finite fields Action on projective line
Some of the above maps can be seen directly in terms of the action of PSL and PGL on the associated projective line:
PGL(n, q) acts on the projective space Pn?1(q), which has (qn?1)/(q?1) points,
and this yields a map from the projective linear group to the symmetric group on (q^n?1)/(q?1) points.
For n = 2, this is the projective line P1(q) which has (q^2?1)/(q?1) = q+1 points,
so there is a map PGL(2, q) → Sq+1.
・The order of PGL(2, q) is
(q^2-1)(q^2-q)/(q-1)=q^3-q=(q-1)q(q+1);
the order of PSL(2, q) either equals this (if the characteristic is 2), or is half this (if the characteristic is not 2).
なので、正確には
・PGL(n, q) acts on the projective space Pn?1(q), which has (qn?1)/(q?1) points
・PSL(2, q) →PGL(2, q) → Sq+1
・The order of PGL(2, q) is
(q^2-1)(q^2-q)/(q-1)=q^3-q=(q-1)q(q+1)
・the order of PSL(2, q) either equals this (if the characteristic is 2), or is half this (if the characteristic is not 2).
が正解だな
いや、”とりなきさとのこうもり”さんの 回答としては、決して間違いではないですよ（＾＾；
（参考）
URLﾘﾝｸ(en.wikipedia.org)
Projective linear group
(抜粋)
4 Finite fields
4.1 History
4.2 Order
4.3 Exceptional isomorphisms
4.3.1 Action on projective line
4.3.2 Action on p points
つづく
425:現代数学の系譜 雑談 古典ガロア理論も読む
19/11/02 10:30:30.40 ZLEqKHqI.net
>>375
つづき
Action on projective line
Some of the above maps can be seen directly in terms of the action of PSL and PGL on the associated projective line:
PGL(n, q) acts on the projective space Pn?1(q), which has (q^n?1)/(q?1) points,
and this yields a map from the projective linear group to the symmetric group on (q^n?1)/(q?1) points.
For n = 2, this is the projective line P1(q) which has (q^2?1)/(q?1) = q+1 points,
so there is a map PGL(2, q) → Sq+1.
To understand these maps, it is useful to recall these facts:
・The order of PGL(2, q) is
(q^2-1)(q^2-q)/(q-1)=q^3-q=(q-1)q(q+1);
the order of PSL(2, q) either equals this (if the characteristic is 2), or is half this (if the characteristic is not 2).
・The action of the projective linear group on the projective line is sharply 3-transitive (faithful and 3-transitive), so the map is one-to-one and has image a 3-transitive subgroup.
Thus the image is a 3-transitive subgroup of known order, which allows it to be identified. This yields the following maps:
・PSL(2, 2) = PGL(2, 2) → S3, of order 6, which is an isomorphism.
・The inverse map (a projective representation of S3) can be realized by the anharmonic group, and more generally yields an embedding S3 → PGL(2, q) for all fields.
・PSL(2, 3) < PGL(2, 3) → S4, of orders 12 and 24, the latter of which is an isomorphism, with PSL(2, 3) being the alternating group.
・The anharmonic group gives a partial map in the opposite direction, mapping S3 → PGL(2, 3) as the stabilizer of the point ?1.
・PSL(2, 4) = PGL(2, 4) → S5, of order 60, yielding the alternating group A5.
つづく
426:現代数学の系譜 雑談 古典ガロア理論も読む
19/11/02 10:33:10.29 ZLEqKHqI.net
>>376
つづき
・PSL(2, 5) < PGL(2, 5) → S6, of orders 60 and 120, which yields an embedding of S5 (respectively, A5) as a transitive subgroup of S6 (respectively, A6). This is an example of an exotic map S5 → S6,
and can be used to construct the exceptional outer automorphism of S6.[6] Note that the isomorphism PGL(2, 5) =~ S5 is not transparent from this presentation: there is no particularly natural set of 5 elements on which PGL(2, 5) acts.
Action on p points
427:While PSL(n, q) naturally acts on (qn?1)/(q?1) = 1+q+...+qn?1 points, non-trivial actions on fewer points are rarer. I ndeed, for PSL(2, p) acts non-trivially on p points if and only if p = 2, 3, 5, 7, or 11; for 2 and 3 the group is not simple, while for 5, 7, and 11, the group is simple - further, it does not act non-trivially on fewer than p points.[note 5] This was first observed by Evariste Galois in his last letter to Chevalier, 1832.[7] This can be analyzed as follows; note that for 2 and 3 the action is not faithful (it is a non-trivial quotient, and the PSL group is not simple), while for 5, 7, and 11 the action is faithful (as the group is simple and the action is non-trivial), and yields an embedding into Sp. In all but the last case, PSL(2, 11), it corresponds to an exceptional isomorphism, where the right-most group has an obvious action on p points: ・ L2(2)=~ S3→ S2 via the sign map; ・ L2(3)=~ A_{4}→ A3=~ C3 via the quotient by the Klein 4-group; ・ L2(5)=~ A_{5}.To construct such an isomorphism, one needs to consider the group L2(5) as a Galois group of a Galois cover a5: X(5) → X(1) = P1, where X(N) is a modular curve of level N. This cover is ramified at 12 points. The modular curve X(5) has genus 0 and is isomorphic to a sphere over the field of complex numbers, and then the action of L2(5) on these 12 points becomes the symmetry group of an icosahedron. つづく
428:現代数学の系譜 雑談 古典ガロア理論も読む
19/11/02 10:34:37.27 ZLEqKHqI.net
>>377
つづき
One then needs to consider the action of the symmetry group of icosahedron on the five associated tetrahedra.
・L2(7) =~ L3(2) which acts on the 1+2+4 = 7 points of the Fano plane (projective plane over F2); this can also be seen as the action on order 2 biplane, which is the complementary Fano plane.
・L2(11) is subtler, and elaborated below; it acts on the order 3 biplane.[8]
Further, L2(7) and L2(11) have two inequivalent actions on p points; geometrically this is realized by the action on a biplane,
which has p points and p blocks - the action on the points and the action on the blocks are both actions on p points,
but not conjugate (they have different point stabilizers);
they are instead related by an outer automorphism of the group.[9]
More recently, these last three exceptional actions have been interpreted as an example of the ADE classification:[10] these actions correspond to products (as sets, not as groups) of the groups as A4 × Z/5Z, S4 × Z/7Z, and A5 × Z/11Z,
where the groups A4, S4 and A5 are the isometry groups of the Platonic solids, and correspond to E6, E7, and E8 under the McKay correspondence.
These three exceptional cases are also realized as the geometries of polyhedra (equivalently, tilings of Riemann surfaces), respectively: the compound of five tetrahedra inside the icosahedron (sphere, genus 0),
the order 2 biplane (complementary Fano plane) inside the Klein quartic (genus 3), and the order 3 biplane (Paley biplane) inside the buckyball surface (genus 70).[11][12]
つづく
429:現代数学の系譜 雑談 古典ガロア理論も読む
19/11/02 10:35:48.60 ZLEqKHqI.net
>>378
つづき
The action of L2(11) can be seen algebraically as due to an exceptional inclusion L2(5)→ L2(11) - there are two conjugacy classes of subgroups of L2(11) that are isomorphic to L2(5),
each with 11 elements: the action of L2(11) by conjugation on these is an action on 11 points,
and, further, the two conjugacy classes are related by an outer automorphism of L2(11). (The same is true for subgroups of L2(7) isomorphic to S4, and this also has a biplane geometry.)
Geometrically, this action can be understood via a biplane geometry, which is defined as follows.
A biplane geometry is a symmetric design (a set of points and an equal number of "lines", or rather blocks) such that any set of two points is contained in two lines, while any two lines intersect in two points;
this is similar to a finite projective plane, except that rather than two points determining one line (and two lines determining one point),
they determine two lines (respectively, points). In this case (the Paley biplane, obtained from the Paley digraph of order 11),
the points are the affine line (the finite field) F11,
where the first line is defined to be the five non-zero quadratic residues (points which are squares: 1, 3, 4, 5, 9),
and the other lines are the affine translates of this (add a constant to all the points).
L2(11) is then isomorphic to the subgroup of S11 that preserve this geometry (sends lines to lines), giving a set of 11 points on which it acts - in fact two:
the points or the lines, which corresponds to the outer automorphism - while L2(5) is the stabilizer of a given line, or dually of a given point.
つづく
430:現代数学の系譜 雑談 古典ガロア理論も読む
19/11/02 10:36:15.87 ZLEqKHqI.net
>>379
つづき
More surprisingly, the coset space L2(11)/Z/11Z, which has order 660/11 = 60 (and on which the icosahedral group acts) naturally has the structure of a buckeyball, which is used in the construction of the buckyball surface.
History
The groups PSL(2, p) were constructed by Evariste Galois in the 1830s,
and were the second family of finite simple groups, after the alternating groups.[3]
Galois constructed them as fractional linear transforms, and observed that they were simple except if p was 2 or 3;
this is contained in his last letter to Chevalier.[4]
In the same letter and attached manuscripts, Galois also constructed the general linear group over a prime field, GL(ν, p), in studying the Galois group of the general equation of degree p^ν.
The groups PSL(n, q) (general n, general finite field) were then constructed in the classic 1870 text by Camille Jordan, Traite des substitutions et des equations algebriques.
つづく
431:現代数学の系譜 雑談 古典ガロア理論も読む
19/11/02 10:36:41.19 ZLEqKHqI.net
>>380
つづき
C60：1996 Nobel Prize in Chemistry でしたね
URLﾘﾝｸ(en.wikipedia.org)
Buckminsterfullerene
(Redirected from Buckeyball)
History
For this discovery Curl, Kroto, and Smalley were awarded the 1996 Nobel Prize in Chemistry.[12]
Buckminsterfullerene is a type of fullerene with the formula C60. It has a cage-like fused-ring structure (truncated icosahedron) that resembles a soccer ball, made of twenty hexagons and twelve pentagons, with a carbon atom which has one π bond and two single bonds at each vertex of each polygon and a bond along each polygon edge.
Contents
1 Preparation and occurrence
2 Etymology
3 History
4 Synthesis
5 Structure
6 Properties
6.1 Solution
6.2 Solid
7 Chemical reactions and properties
7.1 Hydrogenation
7.2 Halogenation
7.3 Addition of oxygen atoms
7.4 Cycloadditions
7.5 Free radical reactions
7.6 Cyclopropanation (Bingel reaction)
7.7 Redox reactions - C60 anions and cations
7.7.1 C60 anions
7.7.2 C60 cations
7.8 Metal complexes
7.9 Endohedral fullerenes
8 Applications
つづく
432:現代数学の系譜 雑談 古典ガロア理論も読む
19/11/02 10:37:11.66 ZLEqKHqI.net
>>381
つづき
URLﾘﾝｸ(en.wikipedia.org)
ADE classification
(抜粋)
URLﾘﾝｸ(upload.wikimedia.org)
The simply laced Dynkin diagrams classify diverse mathematical objects.
以上
433:現代数学の系譜 雑談 古典ガロア理論も読む
19/11/02 10:56:10.70 ZLEqKHqI.net
>>375 補足
まあ、当方の知識と理解に穴があるというのは、その通りだろう。認めるよ
但
434:し、数学科生といえども、入学から卒業まで、試験は全部満点という人も、いないだろう 全部満点でなくとも、卒業できるし 穴なら埋めれば良い ところで、 （>>324より） >全然深くねぇよ、馬鹿ｗｗｗ 半分は正しいが、半分は間違っている 一見簡単はことが、視点を変えると、深い意味が見えてくることがある（視点を高くするという意味もある） 例えば、「マイナスとマイナスをかけるとなぜプラス？」（下記） 中学生向けには、中学生向けがある 複素平面と、-1=cos(π)+isin(π)=e^(iπ) が図形の回転として、π：180度の回転と教えるのも、高校生向けにはありだろう 大学生向けで、群の作用として、-1が逆の作用を表わしていて、2回作用させると必ず元に戻る (-1)^2＝e＝1 なんてのもありだろう さらに上記の見方は、数学の鉱脈の一部が露頭しているという見方もなりたつ だから、「全然深くねぇ」よりも、どこまで鉱脈が繋がっていて、一般化できるかという視点も大事だね https://naop.jp/topics/topics27.html マイナスとマイナスをかけるとなぜプラス？ 日刊『中・高校教師用ニュースマガジン』第１９１９号掲載 数学まるかじり (抜粋) そんなピカピカの数学で，初めて子どもたちが学習するのが「正の数・負の数」という分野です。 プラスとかマイナスの数字のことです。 面白いことに，＋５とか－３という数はほとんどの子どもが教える前から知っていて，３－７＝？と質問すると，半分近くの子が「－４」と答えてきます。 ところが，正の数・負の数の計算が始まると，徐々につまづく子どもたちが増え始めます。マイナスの数を「足す」，「引く」，「かける」，「割る」といった，四則演算の規則の理解に苦しんでいるようです。 例えば， －３と－５を足すと，－８ －２に－５をかけると，＋１０ といった計算を習うわけですが，このメルマガをお読みの皆さんは，どうしてこれらの計算の答えがこうなるのか， というのを理解することが，中学校数学のまず初めの関門なのです。 https://ja.wikipedia.org/wiki/%E3%83%95%E3%82%A1%E3%82%A4%E3%83%AB:ExpIPi.gif オイラーの等式
435:現代数学の系譜 雑談 古典ガロア理論も読む
19/11/02 11:26:51.10 ZLEqKHqI.net
>>375
> PSL(2,q)はP1(Fq)への推移的な作用で
URLﾘﾝｸ(en.wikipedia.org)
Projective space
(抜粋)
Morphisms
Injective linear maps T ∈ L(V, W) between two vector spaces V and W over the same field k induce mappings of the corresponding projective spaces P(V) → P(W) via:
[v] → [T(v)],
where v is a non-zero element of V and [...] denotes the equivalence classes of a vector under the defining identification of the respective projective spaces. Since members of the equivalence class differ by a scalar factor, and linear maps preserve scalar factors, this induced map is well-defined.
(If T is not injective, it has a null space larger than {0}; in this case the meaning of the class of T(v) is problematic if v is non-zero and in the null space. In this case one obtains a so-called rational map, see also birational geometry).
Two linear maps S and T in L(V, W) induce the same map between P(V) and P(W) if and only if they differ by a scalar multiple, that is if T = λS for some λ ≠ 0. Thus if one identifies the scalar multiples of the
436:identity map with the underlying field K, the set of K-linear morphisms from P(V) to P(W) is simply P(L(V, W)). The automorphisms P(V) → P(V) can be described more concretely. (We deal only with automorphisms preserving the base field K). Using the notion of sheaves generated by global sections, it can be shown that any algebraic (not necessarily linear) automorphism must be linear, i.e., coming from a (linear) automorphism of the vector space V. The latter form the group GL(V). By identifying maps that differ by a scalar, one concludes that Aut(P(V)) = Aut(V)/K× = GL(V)/K× =: PGL(V), the quotient group of GL(V) modulo the matrices that are scalar multiples of the identity. (These matrices form the center of Aut(V).) The groups PGL are called projective linear groups. The automorphisms of the complex projective line P1(C) are called Mobius transformations. つづく
437:現代数学の系譜 雑談 古典ガロア理論も読む
19/11/02 11:27:29.67 ZLEqKHqI.net
>>384
つづき
Finite projective spaces and planes
Further information on finite projective planes: Projective plane § Finite projective planes
For finite projective spaces of dimension at least three, Wedderburn's theorem implies that the division ring over which the projective space is defined must be a finite field, GF(q), whose order
(that is, number of elements) is q (a prime power). A finite projective space defined over such a finite field has q + 1 points on a line, so the two concepts of order coincide. Notationally, PG(n, GF(q)) is usually written as PG(n, q).
All finite fields of the same order are isomorphic, so, up to isomorphism, there is only one finite projective space for each dimension greater than or equal to three, over a given finite field.
The smallest projective plane is the Fano plane, PG(2, 2) with 7 points and 7 lines. The smallest 3-dimensional projective spaces is PG(3,2), with 15 points, 35 lines and 15 planes.
Algebraic geometry
An important property of projective spaces and projective varieties is that the image of a projective variety under a morphism of algebraic varieties is closed for Zariski topology (that is, it is an algebraic set). This is a generalization to every ground field of the compactness of the real and complex projective space.
A projective space is itself a projective variety, being the set of zeros of the zero polynomial.
つづく
438:現代数学の系譜 雑談 古典ガロア理論も読む
19/11/02 11:28:01.09 ZLEqKHqI.net
>>385
つづき
Scheme theory
Scheme theory, introduced by Alexander Grothendieck during the second half of 20th century, allows defining a generalization of algebraic varieties, called schemes,
by gluing together smaller pieces called affine schemes, similarly as manifolds can be built by gluing together open sets of {\displaystyle \mathbb {R} ^{n}.}{\displaystyle \mathbb {R} ^{n}.}
The Proj construction is the construction of the scheme of a projective space, and, more generally of any projective variety, by gluing together affine schemes. In the case of projective spaces, one can take for these affine schemes the affine schemes associated to the charts (affine spaces) of the above description of a projective space as a manifold.
See also: Algebraic geometry of projective spaces
URLﾘﾝｸ(ja.wikipedia.org)
射影空間
439:現代数学の系譜 雑談 古典ガロア理論も読む
19/11/02 11:48:09.63 ZLEqKHqI.net
>>375 追加
＞ PSL(2,q)はP1(Fq)への推移的な作用で
これ大丈夫か？
”PGL(2,q)はP1(Fq)への推移的な作用”ならば、言えると思うが
下記の”ポワンカレの上半平面モデル”より、
「この群の部分群で上半平面 H を H 自身の上に移すものは、すべての係数が実数であるような変換全体の成す群 PSL(2, R) 」
「その作用は上半平面上推移的かつ等距」とあるけどね？（＾＾；
(>>362より）
URLﾘﾝｸ(ja.wikipedia.org)
ポワンカレの上半平面モデル
(抜粋)
対称性の群
射影線型群 PGL(2,C) はリーマン球面に一次分数変換で作用する。
この群の部分群で上半平面 H を H 自身の上に移すものは、すべての係数が実数であるような変換全体の成す群 PSL(2, R) で、
その作用は上半平面上推移的かつ等距ゆえ、
上半平面はこの作用に関する等質空間となる。
URLﾘﾝｸ(en.wikipedia.org)
Projective linear group
Action on p points
While PSL(n, q) naturally acts on (qn?1)/(q?1) = 1+q+...+qn?1 points, non-trivial actions on fewer points are rarer. Indeed, for PSL(2, p) acts non-trivially on p points if and only if p = 2, 3, 5, 7, or 11; for 2 and 3 the group is not simple, while for 5, 7, and 11, the group is simple ? further, it does not act non-trivially on fewer than p points.[note 5]
This was first observed by Evariste Galois in his last letter to Chevalier, 1832.[7]
This can be analyzed as follows; note that for 2 and 3 the action is not faithful (it is a non-trivial quotient, and the PSL group is not simple), while for 5, 7, and 11 the action is faithful (as the group is simple and the action is non-trivial),
and yields an embedding into Sp. In all but the last case, PSL(2, 11), it corresponds to an exceptional isomorphism, where the right-most group has an obvious action on p points:
Examples
PSL(2,7)
Modular group, PSL(2, Z)
PSL(2,R)
Mobius group, PGL(2, C) = PSL(2, C)
440:１３２人目の素数さん
19/11/02 12:01:39.92 bLBYtw2f.net
こんなの大丈夫かどうか10秒でチェックできるじゃん。
441:１３２人目の素数さん
19/11/02 12:36:16.05 EY8zp53+.net
英語の出来ない工業高校卒が英文文献をペタペタ貼って勝ち誇るスレ
442:１３２人目の素数さん
19/11/02 17:17:17.48 lDq+/ft5.net
スレ主は全然基本的なことが分かってないな。
PSLのSの意味は行列式が1ということ。
PSLには z→z+1 したがってまた、z→z+n
という変換が含まれているので、0,1,...,qの上に推移的に作用している。
（そして0を外すわけにはいかない）
また、z→-1/z という変換が含まれてるので
この変換での0の行先として∞が含まれざるを得ない。
443:１３２人目の素数さん
19/11/02 17:23:05.41 lDq+/ft5.net
>0,1,...,qの上に
F_q上では0=qなので、0,1,...,q-1ですね。
444:１３２人目の素数さん
19/11/02 20:59:35 lDq+/ft5.net
>>390
失礼。
>PSLには z→z+1 したがってまた、z→z+n
>という変換が含まれているので
z→z+a(a∈F_q)という変換が含まれてるので
に訂正します。
勿論、この変換はPSL(2,q)に含まれてる。
そもそも任意のz∈F_qに対して、z+p=zですね...
445:現代数学の系譜 雑談 古典ガロア理論も読む
19/11/03 06:58:01.20 apiWSBWV.net
>>390
ID:lDq+/ft5さん、どうも。スレ主です。
レスありがとう
(引用開始)
PSLのSの意味は行列式が1ということ。
z→z+a(a∈F_q)という変換が含まれてるので、
0,1,...,qの上に推移的に作用している。
（そして0を外すわけにはいかない）
また、z→-1/z という変換が含まれてるので
この変換での0の行先として∞が含まれざるを得ない。
勿論、この変換はPSL(2,q)に含まれてる。
そもそも任意のz∈F_qに対して、z+p=zですね...
(引用終り)
すごいすごい（＾＾
「PSLのSの意味は行列式が1ということ」
を昔読んだ気がするが
全然、理解できていないってことだろうね（＾＾；
で、>>387は素朴な疑問で
>>375より
PSL(2, q) の群の位数は、PGL(2, q) を経由して出している
それは、URLﾘﾝｸ(en.wikipedia.org)
Projective linear group
に書いてあるので
そこは分かった
では、「PSLのSの意味は行列式が1ということ」から、
直接 PSL(2, q) の群の位数が、PGL(2, q) を経由しないで、出せる？
そもそもは
>>317
"16は位数16の有限体F_16を意味する。
なんでPSL(2,16)が対称群S_17の
部分群として現れるか分かる？
16+1=17なんだけど、+1の意味分かる？"
だったのだが