2

[2024年]Z/2024Zの乗法群を求めよう!~円分体のGalois群~

308
0

記事を開いていただいてありがとうございます!
2024年なので(?), (Z/2024Z)×を求めていきたいと思います.

はじめに

この記事では, 群や環の定義を最低限知っていることを前提に, 群論の教科書によく出てくる(Z/nZ)×の構造を紹介します.
進んだ勉強をされている方にとっては少々物足りなく感じる部分もあると思いますが, 群論を勉強した, または現在勉強しているB1, B2の方向けに, このような群を考えるひとつの理由を紹介していきます.
また, 後半のGalois理論のパートは厳密性に欠いている部分があるとは思いますが, 今回は主に(Z/nZ)×の応用をテーマとしているため, ご容赦いただければと思います. 完全に誤っている部分があれば, コメント欄で教えていただけると幸いです.

乗法群(Z/nZ)×の求め方

可換環Aに対して,
A×={xAyAs.t.xy=1}
を, Aの乗法群という.

Z/nZは可換環なので, その乗法群はアーベル群になります. つまり, (Z/nZ)×は有限アーベル群ですから, 巡回群の直積で表せそうですね. また, anが互いに素であることがaZ/nZが可逆元であることの必要十分条件なので, |(Z/nZ)×|=φ(n)とわかります. (ただし, φはオイラー関数で, φ(n)nと互いに素なn以下の自然数の個数を表します.)
まずは, 剰余類に関する以下の定理を思い出してみましょう.

中国剰余定理

abが互いに素であるとき,
Z/aZ×Z/bZZ/abZ
が成り立つ.

f:ZZ/aZ×Z/bZを各成分への自然な全射とする.
Kerf=aZbZ=abZであるから, 準同型定理より, Z/aZ×Z/bZZ/abZ.

組(maでわったあまり, mbでわったあまり)と, mabでわったあまりが一対一に対応する, という定理です. 受験数学でも, 一次不定方程式の問題としてよく出題されますね.
さらに一般化された次の定理も知られています.

中国剰余定理(一般ver.)

a1,a2,,arがどのふたつも互いに素であるとき,
Z/a1Z×Z/a2Z××Z/arZZ/a1a2arZ
が成り立つ.

百五減算

Aさんの年齢を3でわると2あまり, 5でわると2あまり, 7でわると4あまります. Aさんの年齢を105でわったあまりはいくつでしょうか?

さて, n(>1)の素因数分解を,
n=p1e1p2e2prer
としましょう. (ただし, ijならpi,pjは異なる素数, 各iに対して, ei0.)
pieipjejは互いに素なので, 前の定理から,
Z/nZZ/p1e1Z×Z/p2e2Z××Z/prerZ
となります. n=2024の場合を考えると, 2024=231123なので,
Z/2024ZZ/23Z×Z/11Z×Z/23Z
となりますね.
これで, 大きな環を小さな環に分解することができましたが, 乗法群の情報 (笑うところ) はどのようになっているのでしょうか? 以下の命題をみてみましょう.

A,Bに対して,
(1)ABA×B×,
(2)(A×B)×=A××B×.

環の同型と群の同型がごちゃ混ぜになっているので注意が必要ですが, (1)は環同型が乗法群の同型を導くことを, (2)は直積の乗法群が乗法群の直積と等しいことを主張しています.
証明は省略して, Z/2024Z/23Z×Z/11Z×Z/23Zに適用してみましょう. すると,
(Z/2024)×(Z/23Z×Z/11Z×Z/23Z)×(Z/23Z)××(Z/11Z)××(Z/23Z)×
が成り立ちます! 一般の場合を考えても, (Z/peZ)×の構造がわかれば良さそうです!
この記事では証明はしませんが, 結論は以下のようになっています.

(1)p3以上の素数とするとき,
(Z/peZ)×Z/pe1(p1)Z.
(2)
(Z/2Z)×{1},(Z/22Z)×Z/2Z.
(3)e3以上の整数とするとき,
(Z/2eZ)×Z/2Z×Z/2e2Z.

例えばn=2024の場合をみてみると,
(Z/2024)×(Z/23Z×Z/11Z×Z/23Z)×(Z/23Z)××(Z/11Z)××(Z/23Z)×(Z/2Z×Z/2Z)×Z/10Z×Z/22Z
となって, Z/2024Zの乗法群を求めることができましたね.

Galois理論へ

群論の教科書(例えば赤雪江2.4.14.など)では紹介だけされている(Z/nZ)×ですが, そもそもなぜこのような群を考えるのでしょうか? その理由のひとつとして, Galois理論を紹介します.

(1)可換環Aに対して, A×=A{0}が成り立つとき, すなわち, Aの加法単位元以外がすべて可逆であるとき, Aという.
(2)Kが体で, KLを満たすLKと同じ演算で体になるとき, LKの拡大体といい, L/Kと表す.

(1)有理数全体Qは, 通常の加法と乗法で体になる.
(2)QRCは, 体の拡大の列である.
(3)集合{a+b2a,bQ}は, 体である. これを, Q(2)とかく. Q(2)/Qは体の拡大である.

体の拡大L/Kは, その定義からK上のベクトル空間になっています.

L/Kの, K-ベクトル空間としての次数を, L/Kの拡大次数といい, [L:K]と表す. [L:K]<のとき, L/Kを有限次拡大という.

  1. 体の拡大Q(2)/Qの, Q上の基底は{1,2}であるから, [Q(2):Q]=2である.
  2. 1の原始n乗根をζnとおくと, Q(ζn)/Qは体の拡大であり, Q(ζn)を円分体という. その拡大次数はφ(n)である.

ここで, 有理数係数のn次多項式f(x)を考えます. f(x)=0の解のひとつをαとして, Qαの加減乗除で作られる集合をQ(α)とすると,
Q(α)={a0+a1α+a2α2+i,aiQ}
となり, これをQαを添加した体といいます. これは有限次拡大体となることがわかります. これを繰り返して, f(x)=0n個の解α1,,αnを添加した体, L=Q(α1,,αn)を, 多項式f(x)の分解体といいます.

(1)f(x)=x22の解は±2なので, fの分解体は, Q(2,2)=Q(2)である.
(2)Φ(x)=xn1の解は1,ζn,ζn2,,ζnn1なので, Φの分解体は, Q(1,ζn,ζn2,,ζnn1)=Q(ζn)となる.

L/Qがある多項式の分解体であるとき, fのGalois群Gal(f)が定義できます. しかも, その位数が[L:Q]と一致しています!

(1)σ:L/KL/Kが次を満たすとき, σを体の自己同型という.
(a): 任意のx,yL/Kに対して, σ(x+y)=σ(x)+σ(y),σ(xy)=σ(x)σ(y).
(b): 任意のαKに対して, σ(α)=α.
(c): σは全単射.

(2)体の拡大L/Qがあるn次多項式fの分解体であるとする.
このとき, 自己同型σ:L/QL/Qの全体は, 写像の合成を演算に群になる. これを, fのGalois群といい, Gal(f)とかく.

f(x)=x22のとき, L=Q(2)fの分解体である. σGal(f)とすると,
σ(a+b2)=σ(a)+σ(b2)=a+bσ(2)となるので, σ2の行き先だけで決まる. ここで,
σ(2)2=σ(2)=2
となるから, σ(2)=2または, σ(2)=2である. 前者は, 恒等写像であるから, 1とおき, 後者をσと置き直すと,
Gal(f)={1,σσ2=1}Z/2Z
である.

このように, fのGalois群を求めることができました. さて, 次はΦのGalois群を求めていきましょう.

Φ(x)=xn1の分解体Q(ζn)/Qに対して, Gal(Φ)(Z/nZ)×である.

工事中

前半のパートですでに(Z/nZ)×の構造が決定できているので, これで「体」という非常に大きく2種類の演算を持つ複雑な構造を, 「(有限)群」という比較的小さく1種類の演算しか持たない構造に置き換えることができます. これが, Galois理論を考えるひとつの理由です.

おわりに

今回は, 群論の教科書に出てくる(Z/nZ)×を考える理由として, 円分体のGalois群を紹介しました.
私自身まだまだ勉強中なので, これ以外の応用例はたくさんあると思いますし, 円分体についてもさらにたくさんの美しい性質があることでしょう. もしこの記事を読んでGalois理論や円分体に興味を持った方がいらっしゃたらとても嬉しいです. 一緒に勉強していきましょう!
最後まで読んでいただいてありがとうございました. 質問や誤りがありましたら, コメント欄で教えていただけますと幸いです.

投稿日:20231231
更新日:2024528
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

ispc
ispc
24
3668
数学を頑張ります

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. 乗法群(Z/nZ)×の求め方
  2. Galois理論へ
  3. おわりに