現代数学の系譜工学物理雑談古典ガロア理論も読む78

[過去ﾛｸﾞ] 現代数学の系譜工学物理雑談古典ガロア理論も読む78 (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

305: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/10/29(火) 10:59:07.81 ID:wEoW+rwB

コテハンが抜けたか（＾＾
>>300 追加

https://en.wikipedia.org/wiki/Inverse_Galois_problem
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, 」か
http://galoisdb.math.upb.de/home A Database for Number Fields
Technische Universitat Kaiserslautern
http://galoisdb.math.upb.de/groups?deg=17
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が下記
https://www.researchgate.net/publication/297674664_A_New_Characterization_of_PSL2_q_for_Some_q
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
https://www.researchgate.net/profile/Alireza_Asboei/publication/297674664_A_New_Characterization_of_PSL2_q_for_Some_q/links/5c949519299bf111693e526e/A-New-Characterization-of-PSL2-q-for-Some-q.pdf
(抜粋)
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}.

http://rio2016.5ch.net/test/read.cgi/math/1571400076/305

308: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/10/29(火) 14:42:35.94 ID:wEoW+rwB

>>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

http://rio2016.5ch.net/test/read.cgi/math/1571400076/308

309: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/10/29(火) 15:53:35.79 ID:wEoW+rwB

>>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をどうぞ（＾＾

http://galoisdb.math.upb.de/groups?deg=17
http://galoisdb.math.upb.de/home A Database for Number Fields
Technische Universitat Kaiserslautern
http://galoisdb.math.upb.de/groups?deg=17
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

http://galoisdb.math.upb.de/groups/view?deg=17&num=7
Transitive Group 17T7

http://www.lmfdb.org/GaloisGroup/17T7
LMFDB
Galois Group: 17T7

http://galoisdb.math.upb.de/groups/view?deg=17&num=6
Transitive Group 17T6

http://www.lmfdb.org/GaloisGroup/17T6
LMFDB
Galois Group: 17T6

http://rio2016.5ch.net/test/read.cgi/math/1571400076/309

310: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/10/29(火) 17:11:16.31 ID:wEoW+rwB

>>309 補足

degree 18、19のリストから下記抜粋
リストを眺めていたが、確かに、#fieldsの規則性を見つけることができなかった
でも、なにか規則があるかもしれない

確かに、17T7の#fields＝0は例外で
degree 18、19には、”#fields＝0”になる例は無かった
そして、おそらくこの表は、コンピュータの計算結果でしょう（数字の桁が大きいから）
多分、「17T7の#fields＝0」も、”コンピュータの計算結果では”という注釈付きで、証明がないのでは？（＾＾；

http://galoisdb.math.upb.de/groups?
Transitive Groups
Groups are ordered by their degree. Click on one of the boxes below to choose the displayed degree.

http://galoisdb.math.upb.de/groups?deg=18
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

http://galoisdb.math.upb.de/groups?deg=19
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

http://rio2016.5ch.net/test/read.cgi/math/1571400076/310

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.032s