もう一人のY君

iPhoneアプリのレビューやアップデートレビューなどを書いています. たまに数学の記事も書きます.

もう一人のY君 MENU  MENU

【数学】指数表に幾何学的特徴を見る(修正)

f:id:thetheorier:20210317140516p:plain

 以前紹介したものを少し修正したものです.

 

 

 

スポンサーリンク

 

 

 

前回の投稿

blog.thetheorier.com

 前回と言ってももう4年以上前ですね.

 原始根や指数の定義はもはや割愛しますが, 指数表を図式化することで何か特徴を見いだせないか…と思ったのがことの始まりでした.

 

 

描画ルールを変更

f:id:thetheorier:20210317140858p:plain

 前回は素数pに対して単位円をp等分して隣り合う指数の値を繋げました.

 ある程度の傾向は評価できましたが互いに平行に近い, しかし平行でない組があってなんともモヤモヤした結果でしたね.

 

 

f:id:thetheorier:20210317141242p:plain

 というわけでこれをp-1等分するよう変更しました.

 

 

f:id:thetheorier:20210317141349p:plain

 すると画像の通り, 指数表の「中央」を除いたすべての組が互いに平行になります.

 最初からこうすれば良かったですね.

 

 

 

f:id:thetheorier:20210317141621p:plain

 しかもよくよく見ると, 同じ素数に関する指数表のうち, 対応する2組が上下の線対称の関係にあることがわかります.

 

 

f:id:thetheorier:20210317144508p:plain

 

f:id:thetheorier:20210317144549p:plain

 上はp=13の場合でしたが例えばp=17でも結果は同じでした.

 どうやら原始根を小さい順に並べたとき, 1つ目と3つ目, 2つ目と4つ目, 5つ目と7つ目, 6つ目と8つ目…という組み合わせでこの傾向があるようです.

 

 

 

f:id:thetheorier:20210317144835p:plain

 この傾向は指数表自体からも伺い知れます.

 画像のように, 各指数が前回からいくつ増えたか, あるいは減ったか…の値がちょうど反転しています.

 

 

f:id:thetheorier:20210317145000p:plain

 p=13, r=6,11の場合もやはり同じ関係にあります.

 

 しかしここでInd(2)-Ind(1)だけ一致しませんね.

 これは余り難しい話でなく, 指数においてa≡b (mod p)のときInd(a)≡Ind(b) (mod p-1)が成り立ちます.

 

 よってr=7の場合でのInd(2)-Ind(1)=11は11-(13-1)=-1と合同であり, これは+1の反元です.

 同様にr=11の場合のInd(2)-Ind(1)=7は7-(13-1)=-5であり, これは+5の反元です.

 

 

p=37までの図表

 ここから見いだせる性質はないか色々考えていたんですがそう簡単にはいかないものです.

 とりあえずp=37まで作り直しました(前回は29まででしたが), 参考までに.

 

 

p=5

f:id:thetheorier:20210317150302p:plain

 p=5,r=2

 

f:id:thetheorier:20210317150349p:plain

 p=5,r=3

 

 

p=7

f:id:thetheorier:20210317150442p:plain

 p=7,r=3

 

f:id:thetheorier:20210317150511p:plain

 p=7,r=5

 

 

p=11

f:id:thetheorier:20210317150636p:plain

 p=11,r=2

 

f:id:thetheorier:20210317150713p:plain

 p=11,r=6

 

f:id:thetheorier:20210317150845p:plain

 p=11,r=7

 

f:id:thetheorier:20210317150925p:plain

 p=11,r=8

 

 

p=13

f:id:thetheorier:20210317151017p:plain

 p=13,r=2

 

f:id:thetheorier:20210317151100p:plain

 p=13,r=6

 

f:id:thetheorier:20210317151142p:plain

 p=13,r=7

 

f:id:thetheorier:20210317151224p:plain

 p=13,r=11

 

 

p=13

f:id:thetheorier:20210317151323p:plain

 p=17,r=3

 

f:id:thetheorier:20210317151400p:plain

 p=17,r=5

 

f:id:thetheorier:20210317151503p:plain

 p=17,r=6

 

f:id:thetheorier:20210317151539p:plain

 p=17,r=7

 

f:id:thetheorier:20210317151621p:plain

 p=17,r=10

 

f:id:thetheorier:20210317151701p:plain

 p=17,r=11

 

f:id:thetheorier:20210317151739p:plain

 p=17,r=12

 

f:id:thetheorier:20210317151817p:plain

 p=17,r=14

 

 

p=19

f:id:thetheorier:20210317151908p:plain

 p=19,r=2

 

f:id:thetheorier:20210317151947p:plain

 p=19,r=3

 

f:id:thetheorier:20210317152032p:plain

 p=19,r=10

 

f:id:thetheorier:20210317152107p:plain

 p=19,r=13

 

f:id:thetheorier:20210317152147p:plain

 p=19,r=14

 

f:id:thetheorier:20210317152223p:plain

 p=19,r=15

 

 

p=23

f:id:thetheorier:20210317152309p:plain

 p=23,r=5

 

f:id:thetheorier:20210317152342p:plain

 p=23,r=7

 

f:id:thetheorier:20210317152419p:plain

 p=23,r=10

 

f:id:thetheorier:20210317152459p:plain

 p=23,r=11

 

f:id:thetheorier:20210317152521p:plain

 p=23,r=14

 

f:id:thetheorier:20210317152543p:plain

 p=23,r=15

 

f:id:thetheorier:20210317152603p:plain

 p=23,r=17

 

f:id:thetheorier:20210317152631p:plain

 p=23,r=19

 

f:id:thetheorier:20210317152655p:plain

 p=23,r=20

 

f:id:thetheorier:20210317152721p:plain

 p=23,r=21

 

 

p=29

f:id:thetheorier:20210317152800p:plain

 p=29,r=2

 

f:id:thetheorier:20210317152825p:plain

 p=29,r=3

 

f:id:thetheorier:20210317152852p:plain

 p=29,r=8

 

f:id:thetheorier:20210317152918p:plain

 p=29,r=10

 

f:id:thetheorier:20210317152941p:plain

 p=29,r=11

 

f:id:thetheorier:20210317153011p:plain

 p=29,r=14

 

f:id:thetheorier:20210317153037p:plain

 p=29,r=15

 

f:id:thetheorier:20210317153108p:plain

 p=29,r=18

 

f:id:thetheorier:20210317153139p:plain

 p=29,r=19

 

f:id:thetheorier:20210317153205p:plain

 p=29,r=21

 

f:id:thetheorier:20210317153235p:plain

 p=29,r=26

 

f:id:thetheorier:20210317153300p:plain

 p=29,r=27

 

 

p=31

f:id:thetheorier:20210317153341p:plain

 p=31,r=3

 

f:id:thetheorier:20210317153425p:plain

 p=31,r=11

 

f:id:thetheorier:20210317153450p:plain

 p=31,r=12

 

f:id:thetheorier:20210317153517p:plain

 p=31,r=13

 

f:id:thetheorier:20210317153543p:plain

 p=31,r=17

 

f:id:thetheorier:20210317153615p:plain

 p=31,r=21

 

f:id:thetheorier:20210317153643p:plain

 p=31,r=22

 

f:id:thetheorier:20210317153709p:plain

 p=31,r=24

 

 

p=37

f:id:thetheorier:20210317153746p:plain

 p=37,r=2

 

f:id:thetheorier:20210317153817p:plain

 p=37,r=5

 

f:id:thetheorier:20210317153839p:plain

 p=37,r=13

 

f:id:thetheorier:20210317153911p:plain

 p=37,r=15

 

f:id:thetheorier:20210317153934p:plain

 p=37,r=17

 

f:id:thetheorier:20210317153957p:plain

 p=37,r=18

 

f:id:thetheorier:20210317154020p:plain

 p=37,r=19

 

f:id:thetheorier:20210317154043p:plain

 p=37,r=20

 

f:id:thetheorier:20210317154542p:plain

 p=37,r=22

 

f:id:thetheorier:20210317154603p:plain

 p=37,r=24

 

f:id:thetheorier:20210317154623p:plain

 p=37,r=32

 

f:id:thetheorier:20210317154646p:plain

 p=37,r=35