(1)๬݄৽Ұʢژ౎େֶ਺ཧղੳݚڀॴʣ http://www.kurims.kyoto-u.ac.jp/~motizuki ʮग़ுɾߨԋʯ §1

๬݄৽Ұʢژ౎େֶ਺ཧղੳݚڀॴʣ

http://www.kurims.kyoto-u.ac.jp/~motizuki ʮग़ுɾߨԋʯ

§1. Ճݮ৐আͰด͍ͯ͡Δ਺ͷू߹ʮମʯͱͦͷରশੑΛද͢ʮΨϩΞ܈ʯ

§2. Ґ૬ۂ໘্ͷʮྠମʯͱʮඃ෴ʯ

§3. ਺࿦ͱزԿʹڞ௨͢Δʮབྷ·Γ߹͍ͷߏ଄ʯ

§1. Ճݮ৐আͰด͍ͯ͡Δ਺ͷू߹ʮମʯͱͦͷରশੑΛද͢ʮΨϩΞ܈ʯ

਺࿦ͷݪ఺͸༷ʑͳʮ਺ͷू߹ʯͷݚڀʹ͋Δɻݚڀର৅ͱͳΔ୅දత ͳʮ਺ͷू߹ʯͷྫͱͯ͠͸

ࣗવ਺ N = {0,1,2, . . .}

੔਺ Z = {0,±1,±2, . . .}

༗ཧ਺ Q = {a/b | a, b ∈ Z, b = 0}

⊆ R = {a | a ͸࣮਺} ͷΑ͏ͳʮී௨ͷ਺ʯ͔ΒͳΔू߹ͷଞʹ΋ɺ୅਺త਺

Q = {x ∈ C | xⁿ +c_n−1xⁿ⁻¹ +. . . c₁x+c₀ = 0; c₀, c₁, . . . , c_n−1 ∈ Q}

⊆ C = {a+bi | a, b ∈ R}

ͷΑ͏ͳʮී௨ͷ਺ʯͷൣғΛ௒͑ͨू߹΋͋Δɻ

͜ͷΑ͏ͳछʑͷʮ਺ͷू߹ʯͷதͰ΋ɺʮՃݮ৐আͰด͍ͯ͡Δʯ਺

ͷू߹ɺͭ·Γʮମʯ͸ಛʹॏཁͰ͋Δɻઌ΄ͲͷྫͰ͸ɺQ, Q ^΍࣮਺ମ R, ^ෳૉ਺ମ C ͸ମͷجຊతͳྫʹͳΔɻͦͷଞʹ΋ɺ਺࿦Ͱ͸͜ΕΒͷମ ͷ෦෼ମʹͭ·ΓɺՃݮ৐আͰด͍ͯ͡Δ෦෼ू߹Λѻ͏͜ͱ͕͋Δɻ෦෼

ମΛಛఆ͢Δͱ͖͸ɺʮ෦෼ମͷੜ੒ݩʯΛ༻͍Δ͜ͱ͕ଟ͍ɻ͜Ε͸ͭ·

ΓɺʮͦΕΒͷʢੜ੒ʣݩΛؚΉ࠷খͷ෦෼ମʯͱ͍͏ੑ࣭ʹΑͬͯ෦෼ମΛ ಛఆ͢Δͱ͍͏࢓૊ΈͰ͋Δɻྫ͑͹ɺQ ͷ෦෼ମͰ༗ݶݸͷੜ੒ݩͰੜ੒

͞ΕΔମͷ͜ͱΛʮ਺ମʯͱݺͿͷ͕ͩɺ਺ମͷ۩ମྫͱͯ࣍͠ͷΑ͏ͳ΋

ͷ͕ڍ͛ΒΕΔɿ

Q; Q(√

−1); Q(√³

2); Q(√³ 2,√

−3)

਺ମQ(√³ 2,√

−3)^ͷ৔߹ɺ√³ 2^ͱ

ω ^def= −1 +√

−3

2 = e^2πi/3 ∈ Q(√³ 2,√

−3) Λੜ੒ݩʹ࠾Δ͜ͱ΋ՄೳͰ͋Δɻ

਺ମͷݚڀͰ͸ɺʮΨϩΞ܈ʯ͸ඇৗʹجຊతͳ໾ׂΛՌͨ͢ɻ਺ମ F ⊆ Q ^{ͷʮΨϩΞ܈ʯ}Gal(F/Q)͸؆୯ʹ͍͏ͱɺՃݮ৐আͱཱ྆తͰ͋Δɺ

͢΂ͯͷશ୯ࣹ

F →^∼ F

͔ΒͳΔू߹Ͱ͋Δɻ

ྫ͑͹ɺ਺ମF ^def= Q(√³ 2,√

−3) =Q(√³

2, ω) ͷ৔߹ɺੜ੒ݩͷߦઌΛ ࢦఆ͢Ε͹ఆ·ΔGal(F/Q)^ͷೋͭͷݩσ, τ Λ

σ : F → F τ : F → F

√3

2 → √³

2 √³

2 → ω · √³ 2

ω → ω² ω → ω

ͱఆٛ͢Δͱɺ

Gal(F/Q) = {id, σ, τ, τ · σ, τ², τ² ·σ}

ʢͨͩ͠ɺid͸߃౳ࣸ૾ʣͱͳΔ͜ͱ͸؆୯ͳܭࢉʹΑͬͯ֬ೝ͢Δ͜ͱ͕

Ͱ͖Δɻ

§2. Ґ૬ۂ໘্ͷʮྠମʯͱʮඃ෴ʯ

࣍ʹزԿʹ͍ͭͯগ͠ߟ࡯ͯ͠ΈΑ͏ɻʮద੾ͳ৚݅ʯΛຬͨ͢ɺෳૉ਺

܎਺ͷೋม਺ଟ߲ࣜͷɺෳૉ਺ମ C ಺ͷղͷू߹Λߟ͑Δͱɺʢෳૉʣฏ໘

಺ͷ୯Ґԁ൫ͱʮہॴతʹಉܕʯͳزԿతର৅ʹʮҐ૬ۂ໘ʯ͕ग़དྷ্͕Δ ʢਤ̍Λࢀরʣɻ

ਤ̍ɿ୯Ґԁ൫ͱہॴతʹಉܕͳҐ૬ۂ໘

ྫ͑͹ɺ༗໊ͳϑΣϧϚ༧૝ʹग़ͯ͘Δํఔࣜ

Xⁿ +Yⁿ = 1

ʢͨͩ͠ɺn ≥ 3͸੔਺ʣ͸ઌ΄Ͳͷʮద੾ͳ৚݅ʯΛຬ͍ͨͯ͠Δɻ

Ґ૬ۂ໘ͷزԿΛݚڀ͢Δ্ʹ͓͍ͯͦͷۂ໘্ͷ༷ʑͳʮྠମʯͷز Կ͸ॏཁͳςʔϚͱͳΔɻಛʹۂ໘্ͷ͢΂ͯͷྠମ͕ʮੜ੒ʯ͢Δʮجຊ

܈ʯ͸ۂ໘ͷزԿΛղ໌͢Δ্ʹ͓͍ͯॏཁͳಓ۩ʹͳΔɻྫ͑͹ɺۂ໘ͷ ʮछ਺ʯʢʹυʔφπܕͷ݀ͷ਺ʣ͕g ͩͱ͢Δͱɺجຊ܈ͷੜ੒ݩͱͯ͠ɺ

ਤ̎ͷΑ͏ʹʮ͖Ε͍ͳेࣈܗʯʢʹʮॏෳ౓ 1ʯʣͰަΘΔʮ͖Ε͍ͳྠମ

ͨͪʯ

α₁, β₁, α₂, β₂, . . . α_g, β_g

Λ࠾Δ͜ͱ͕Ͱ͖Δɻ͜ͷੜ੒ݩͨͪ͸࣍ͷΑ͏ͳجຊతͳؔ܎ࣜ

α₁ ·β₁ ·α⁻¹₁ ·β₁⁻¹ ·α₂ · β₂ · α⁻¹₂ ·β₂⁻¹ ·. . .· α_g · β_g ·α⁻¹_g · β_g⁻¹ = 1 Λຬͨ͢ɻ͜ͷؔ܎ࣜ͸ੜ੒ݩͨͪͷʮަΘΓํʯʹʮབྷ·Γ߹͍ํʯͷ༷

ࢠΛهड़͍ͯ͠Δ΋ͷͱݟΔ͜ͱ͕Ͱ͖Δɻ

ਤ̎ɿʮॏෳ౓1ʯͰབྷ·Γ߹͏ɺҐ૬ۂ໘্ͷ୅දతͳྠମ

Ґ૬ۂ໘ͷجຊ܈͸ઌ΄ͲʮྠମͰੜ੒͞ΕΔ܈ʯͱͯ͠ఆٛͨ͠Θ͚

͕ͩɺ࣮͸ʮۂ໘ͷඃ෴ͷม׵܈ʯͱͯ͠ఆٛ͢Δ͜ͱ΋ՄೳͰ͋Δɻ͜͜

α 1

β 1 β

2

α 2

Ͱ͍͏ʮۂ໘ͷඃ෴ʯͱ͸ɺଞͷۂ໘͔Βɺݩʑ༩͑ΒΕͨۂ໘΁ͷࣸ૾Ͱ͋

Γɺ͔ͭͦͷࣸ૾ΛہॴతʹݟΔͱɺ༩͑ΒΕͨۂ໘ͷখ͞ͳۙ๣ͷίϐʔ ΛԿຕ͔ूΊͨΑ͏ͳߏ଄ʹͳ͍ͬͯΔΑ͏ͳ΋ͷΛ͍͏ɻίϐʔͷʮຕ਺ʯ

͕༗ݶͳͱ͖͸ඃ෴Λ༗ݶ࣍ඃ෴ͱݺͿɻ࣮͸ɺ༗ݶ࣍ඃ෴͸ݩʑ༩͑ΒΕ

ਤ̏ɿҐ૬ۂ໘ͷ༗ݶ࣍ඃ෴ͱͦͷ্ʹ͋Δແݶ࣍ͷඃ෴

ͨۂ໘ͱಉ༷ʹʢෳૉ਺܎਺ͷʣଟ߲ࣜͷղͷू߹ͱͯ͠ʮ୅਺తʯʹఆٛ͞

ΕΔ΋ͷʹͳΔɻ͔͠΋ݩʑ༩͑ΒΕͨۂ໘Λఆٛ͢Δଟ߲ࣜͷ܎਺͕୅਺

త਺ɺͭ·ΓQͷݩʹऔΕΔͱ͖ɺඃ෴ͷۂ໘Λఆٛ͢Δଟ߲ࣜͷ܎਺΋ಉ

༷ʹ୅਺త਺ʹͳΔΑ͏ʹऔΕΔ͜ͱ͸؆୯ʹࣔ͢͜ͱ͕Ͱ͖Δɻ͜ͷʮඃ

෴ͷ୅਺ੑʯͱ͍͏ੑ࣭͸࣍અͰ͸ॏཁͳҙຯΛ࣋ͭɻ

Ұํɺίϐʔͷຕ਺͕ແݶʹͳΔΑ͏ͳແݶ࣍ඃ෴΋ܾͯ͠໾ʹཱͨͳ

͍΋ͷͰ͸ͳ͘ɺྫ͑͹ɺجຊ܈ͷઌ΄ͲͷೋछྨͷఆٛʢʹʮྠମʯʹΑ Δ΋ͷͱɺʮඃ෴ʯʹΑΔ΋ͷʣ͕࣮͸ಉ஋Ͱ͋Δͱ͍͏ࣄ࣮͸ɺແݶ࣍ඃ෴

Λ༻͍ͯূ໌͢ΔͷͰ͋Δɻ۩ମతʹ͸ɺݩʑ༩͑ΒΕͨۂ໘ͷྠମΛແݶ

࣍ඃ෴ʹʮด͍ͯ͡ͳ͍ಓʢʹʮύεʯʣʯͱ্ͯ࣋ͪ͛͠ɺͦͷಓͷ࢝఺Λ ऴ఺ʹࣸ͢Α͏ͳม׵܈ͷݩΛߟ࡯͢Δ͜ͱʹΑͬͯࣔ͢ͷͰ͋Δʢਤ̏Λ

ࢀরʣɻ

§3. ਺࿦ͱزԿʹڞ௨͢Δʮབྷ·Γ߹͍ͷߏ଄ʯ

ͯ͞§1^{ʹొ৔ͨ͠਺ମ} F ^def= Q(√³ 2,√

−3) =Q(√³

2, ω) ^ͷΨϩΞ܈

Gal(F/Q) = {id, σ, τ, τ · σ, τ², τ² ·σ}

ͷ࿩ʹ໭Ζ͏ɻ͜ͷΑ͏ͳΨϩΞ܈ʹରԠ͢Δମ͸ʮΫϯϚʔ֦େʯͱݺ͹

ਤ̐ɿΫϯϚʔ֦େ͔Βੜ͡Δʮ਺࿦తͳॏෳ౓ 1^{ͷབྷ·Γ߹͍ʯ}

ω j

ω k

ω i ω

2 n/3

ΕΔ΋ͷͰͦͷΨϩΞ܈͸ಛघͳߏ଄Λ͍࣋ͬͯΔɻ۩ମతʹॻ͘ͱɺΨϩ Ξ܈ͷੜ੒ݩσ, τ ͸ʢ؆୯ʹ֬ೝͰ͖ΔΑ͏ʹʣ࣍ͷΑ͏ͳؔ܎ࣜΛຬͨ͠

͍ͯΔɿ

σ² = τ³ = id, σ·τ ·σ⁻¹ = τ²

ਤ̑ɿ਺ମͷઈରΨϩΞ܈͸Ґ૬ۂ໘ͷ෭༗ݶجຊ܈ʹࣗવʹ֎࡞༻͢Δ

. . .

数体の

外作用

ガロア群

ಛʹ࠷ޙͷؔ܎ࣜ͸ σͱτ ͷʮབྷ·Γ߹͍ํʯΛهड़͍ͯ͠Δ΋ͷͱݟΔ͜

ͱ͕Ͱ͖ɺجຊ܈ͷྠମʹؔ͢Δؔ܎ࣜΛ࿈૝ͤ͞ΒΕΔ΋ͷͰ͋Δɻ࣮ࡍɺ σ͕ɺ୯Ґԁͷ্ʹࡌ͍ͬͯΔҰͷϕΩ৐ࠜω ʹʢఆٛΑΓʣؔ܎͍ͯͯ͠ɺ τ ͷํ͕ɺ࣮࣠ͷ্ʹࡌ͍ͬͯΔ √³

2ʢ΍ͦͷࣗવ਺ϕΩʣʹʢఆٛΑΓʣؔ

܎͍ͯ͠Δ͜ͱΛࢥ͍ग़͢ͱɺ͜ͷʮབྷ·Γ߹͍ํʯ͸ਖ਼ʹʮ୯Ґԁʯͱʮ࣮

࣠ʯͱ͍͏ʮ਺࿦తͳྠମʯͷབྷ·Γ߹͍ํΛ൓ө͍ͯ͠Δ΋ͷͱݟΔ͜ͱ

͕Ͱ͖ɺӹʑ§2ͷྠମͷབྷ·Γ߹͍ͷٞ࿦Λ࿈૝ͤ͞ΒΕΔ΋ͷͰ͋Δʢਤ

̐Λࢀরʣɻ

࣮͸ɺ͜ͷ਺࿦ͱزԿͷߏ଄తྨࣅੑ͸ܾͯ͠఩ֶతͳ؍࡯ʹཹ·Δ΋

ͷͰ͸ͳ͘ɺ༷ʑͳܗͰݫີͳ਺ֶͱͯ͠ఆࣜԽ͢Δ͜ͱ͕ՄೳͰ͋Δɻ͜ͷ Α͏ͳఆࣜԽʹ͓͍ͯॏཁͳ໾ׂΛՌͨ͢ͷ͸ɺ§3ͷٞ࿦Ͱݴٴͨ͠ɺʮ༗

ݶ࣍ඃ෴ͷ୅਺ੑʯͰ͋Δɻ͜ͷ୅਺ੑΛ༻͍Δ͜ͱʹΑΓɺ਺ମͷΨϩΞ

܈͕ɺʢ͋Δద੾ͳҙຯʹ͓͍ͯʣ༗ݶ࣍ඃ෴ͷม׵܈ʹࣗવʹ࡞༻͢Δ͜ͱ Λࣔ͢͜ͱ͕Ͱ͖Δɻ͜ͷ࡞༻ͷ͜ͱΛɺ਺ମͷઈରΨϩΞ܈ͷ෭༗ݶجຊ

܈΁ͷ֎࡞༻ͱݺͿʢਤ̑Λࢀরʣɻ

ઌ΄Ͳͷʮ਺࿦ͱزԿͷߏ଄తྨࣅੑʯΛʢԿΒ͔ͷҙຯʹ͓͍ͯʣςʔ Ϛͱͨ͠ఆཧ͸ແ਺ʹ͋Γɺ࣌ؒͷؔ܎ͰݸʑͷఆཧΛ͜͜Ͱৄ͘͠঺հ͢Δ

͜ͱ͸Ͱ͖ͳ͍͕ɺ1990೥୅Ҏ߱ɺ਺ཧղੳݚڀॴΛத৺ʹ׆༂ͨ͠ɺʮ਺

࿦తجຊ܈ʯؔ࿈ͷݚڀΛखֻ͚Δݚڀऀάϧʔϓʢʹҏݪ߁ོɺদຊᚸɺ தଜതতɺۄ઒ٍ҆உɺ๬݄৽Ұɺݹঙӳ࿨ɺ੕༟Ұ࿠౳ʑʣͷ࢓ࣄͷେ෦

෼͸ਖ਼ʹຊߨԋͰ঺հͨ͠Α͏ͳ਺ֶతઃఆʢʹʮ෩ܠʯʣͷԼͰ͜ͷΑ͏

ͳςʔϚ΍ͦͷԆ௕ઢ্ʹ͋Δ಺༰Λѻ͍ͬͯΔͷͰ͋Δɻ