平成26年度(第36回)数学入門公開講座テキスト(京都大学数理解析研究所，平成26年8月4日～8月7日開催

1

乗法的情報による加法構造の復元
星 裕一郎 (京都大学 数理解析研究所)

目次
1

数や式に対する加法 · 乗法

12

有理式に付随する様々な乗法的概念

73

主定理とその証明の準備

134

加法構造の復元の手続き

18

1 数や式に対する加法 · 乗法
まず最初に, 基本的な記号を導入しましょう. 整数 (例えば, 1 や 0 や −2 などといった数のことです) 全体
3
整数
1と書ける数のことで, 例えば,
や − などのなす集合を Z と書くことにします. 有理数 (=0 でない整数
72nとも書けますので, すべての整数は有理数です) 全体のなす集合を Q と書くのことです; 任意の整数 n は1√√2 や円周率 π や 1 + −1 などといった数のことです; すべての有理数は複ことにします. 複素数 (例えば,素数です) 全体のなす集合を C と書くことにします.
def

def

def

Z = { 整数 } ⊆ Q = { 有理数 } ⊆ C = { 複素数 }さて, こういった数に対するもっとも基本的な操作として, “加法 (=足し算)” と “乗法 (=掛け算)” があります. 上で定めた 3 つの集合 Z, Q, C のいずれに対しても, その中で, 通常の加法や乗法を自由に行うことができます. つまり, 2 つの整数の和 (あるいは積) はやはり整数ですし, 2 つの有理数の和 (あるいは積) はやはり有理数ですし, 2 つの複素数の和 (あるいは積) はやはり複素数となります. この加法 · 乗法という 2 つの操
作は, 非常に複雑に絡み合っており, 例えば整数に関わる様々な問題の難しさは, ある意味において, この複雑な絡み合いに起因していると考えられます.
まず最初に, 有理数の加法と乗法の関わりの理解の困難さを, “素因数分解” という具体的かつ初等的な枠組
みを通じて観察しましょう. 0 でない整数に対して, 素因数分解というものを考えることができます. 即ち, 0平成26年度(第36回)数学入門公開講座テキスト(京都大学数理解析研究所，平成26年8月4日～8月7日開催

1 数や式に対する加法 · 乗法

2でない整数 n ∈ Z に対して, 相異なる素数 p1 , . . . , pr と正整数 d1 , . . . , dr と ϵ ∈ {1, −1} が存在して,

n = ϵ · pd11 · · · pdr rとなります. また, 上で述べたとおり, 有理数とは整数の比として得られる数のことですので, 0 でない有理数に対しても, 素因数分解というものを考えることができます. 即ち, 0 でない有理数 q ∈ Q に対して, 相異なる
素数 p1 , . . . , pr と 0 でない整数 d1 , . . . , dr と ϵ ∈ {1, −1} が存在して,

q = ϵ · pd11 · · · pdr r
536= 1 · 3−1 · 5, −= −1 · 22 · 32 · 5−1 · 229−1 が素因数分解の例です. この “素因数31145
分解” の持つ重要な性質として, 以下の 2 つの性質が挙げられます.

となります. 例えば,

(a)0 でない有理数 q ∈ Q に対して, その素因数分解を q = ϵ · pd11 · · · pdr r と書くと, 組のなす集合{(p1 , d1 ), . . . , (pr , dr )} と ϵ ∈ {1, −1} は q より一意的に定まる. また, 逆に, この集合 {(p1 , d1 ), . . . , (pr , dr )}と ϵ ∈ {1, −1} によって元々の有理数 q は完全に決定される. 上の例を用いて説明すると,

−

36
1145

(
)
5
↔ {(3, −1), (5, 1)}, 1 ,3()↔ {(2, 2), (3, 2), (5, −1), (229, −1)}, −1という対応において, 左側から右側が復元可能, また, 右側から左側が復元可能.

(b) 0 でない 2 つの有理数 q, q ′ ∈ Q に対して, q と q ′ のそれぞれの素因数分解から, 積 q · q ′ の素因数分解を簡単に与えることができる. その手続きの厳密な詳細は省略するが, 上の例を用いて説明すると,

536= 1 · 3−1 · 5, −= −1 · 22 · 32 · 5−1 · 229−1
3
1145
180
12
5
36
(= −
=−
) の素因数分解は以下のように簡単に計算可能.
という素因数分解から, 積 · −
3
1145
3435
229
36
5
·−
= 1 · 3−1 · 5 · −1 · 22 · 32 · 5−1 · 229−1 = −1 · 22 · 31 · 229−1 .
31145
つまり, (a) で議論された対応

−

36
1145

(
)
5
↔ {(3, −1), (5, 1)}, 1 ,3()↔ {(2, 2), (3, 2), (5, −1), (229, −1)}, −1の右側のみから, 対応の左側の積として得られる有理数の素因数分解を記述することが容易に可能.

(){(3, −1), (5, 1)}, 1 ,(){(2, 2), (3, 2), (5, −1), (229, −1)}, −1⇝(){(2, 2), (3, 1), (229, −1)}, −1 .

性質 (a) は, “素因数分解とは, 有理数のある適切な整理の方法である” ということを意味していると考えられます. そして, この視点に立ちますと, 性質 (b) は, “素因数分解という有理数の整理の方法は, 乗法と非常に相性が良い”, もっと踏み込んだ表現をするならば,



素因数分解とは, 有理数の乗法的な理解そのものであるということを主張していると考えられると思います.

平成26年度(第36回)数学入門公開講座テキスト(京都大学数理解析研究所，平成26年8月4日～8月7日開催

1 数や式に対する加法 · 乗法

3





数の管理, ラべリングの方法:
従来型: ..., 4, 5, 6, 7, 8, 9, 10, ...
素因数分解型: ..., {(2, 2)}, {(5, 1)}, {(2, 1), (3, 1)}, {(7, 1)}, {(2, 3)}, {(3, 2)}, {(2, 1), (5, 1)}, ...

(“ϵ 部分” はすべて 1 なので省略)
乗法:
従来型: 2 · 5 = 10,

6 · 9 = 54

素因数分解型: {(2, 1)} · {(5, 1)} = {(2, 1), (5, 1)},{(2, 1), (3, 1)} · {(3, 2)} = {(2, 1), (3, 3)}(従来型への移行の必要はない!)

素因数分解型の数の管理

一方, この “有理数の乗法的な理解そのもの” であるところの “素因数分解” と, “加法” はどのように関連しているでしょうか. 私にとっての答えを述べてしまいますと, “少なくとも私には簡単な関係は見い出せな
い” となります. 実際, 例えば, いくつかの簡単な足し算の式

4 + 9 = 13,

5 + 7 = 12,

12 + 16 = 28

を素因数分解の表示で書くと

22 + 32 = 131 ,

51 + 71 = 22 · 3,

22 · 3 + 24 = 22 · 7となりますが, 左辺の分解の様子から右辺の分解の様子を想像することは, まったく容易ではないと言えると思います. つまり, 有理数を素因数分解型の表示で表したとき, その和を, 従来型への移行なくして記述することは, 非常に困難だということです. このように, “数の乗法的な整理の方法” である “素因数分解” は, 加法と相性が良いとは言い難いものとなっています. こういった議論から, 加法と乗法の関連はそう簡単に理解できるものではない, ということがおわかりいただけるかと思います.
また, 加法と乗法の関連の難しさの別の例として, Fermat 予想*1 が挙げられると思います. Fermat 予想とは, 以下の主張が正しいであろうという予想です.

3 以上の整数 n ∈ Z と有理数 a, b, c ∈ Q に対して, もしも an + bn = cn ならば, abc = 0.
与えられた有理数に対して, それがある有理数の n 乗として得られる, という性質は, 乗法的に簡単に定義される, そして, 比較的珍しい性質です. この視点に立ちますと, Fermat 予想の主張とは, “そのような乗法的な比較的珍しい性質を有する 2 つの数の和が再びその乗法的な比較的珍しい性質を有することは, 当たり前な場
合を除いて起こり得ない” という, 乗法と加法の間のある関連についてのものだと考えられます. そして, 乗法と加法の関連についてのこの予想が非常に難しい問題であったという歴史的事実をご存知の方も少なくないと思います.

さて, これまで議論してきた “加法” や “乗法” は所謂 “数” に対してのみ定義されるものではありません.
*1 2007 年に, この数学入門公開講座で, 安田正大さん (現 · 大阪大学) が, “R = T

定理の仕組みとその応用” という演題で, このFermat 予想に関する講義を行いました. その際のテキストは, 数理解析研究所のホームページから入手することが可能です.

平成26年度(第36回)数学入門公開講座テキスト(京都大学数理解析研究所，平成26年8月4日～8月7日開催

1 数や式に対する加法 · 乗法

4

例えば, “式” に対しても, 加法や乗法が定義されます. ここで, 本講義で議論の中心となるタイプの “式” を定義しておきましょう. x をその変数として, 複素数 a0 , . . . , an ∈ C を用いて

an xn + an−1 xn−1 + · · · + a2 x2 + a1 x + a0と書ける式のことを, (複素数係数) 多項式 と呼び, その全体のなす集合を C[x] と書きます. 具体的には, 例
えば,x,x2 + 2x + 1,

x + 1,

84x2014などが多項式です. (少なくとも) a0 を除いた係数がすべて 0 の場合だと考えることによって, 複素数も多項式だと見做すことができます.
def

C ⊆ C[x] = {(複素数係数) 多項式 }.
また, 整数をもとに有理数を定義する方法を多項式に適用することによって,多項式0 でない多項式と書ける式を考えることができます. このような式のことを, (複素数係数) 有理式 と呼び, その全体のなす集合を C(x) と書きます. 具体的には, 例えば,

x
,
x+1

84x2014x2 + 2x + 1などが有理式です. 整数を有理数と見做す方法と同様の方法によって (つまり, 分母を 1 だと考えることによって), 多項式もやはり有理式と見做すことができます.
def

C[x] ⊆ C(x) = {(複素数係数) 有理式 }.
本講義の主役は, この有理式となります. また, これら多項式や有理式に対して, 普通の意味の加法や乗法が定義できることは皆さんご存知だと思います. 形式的にその厳密な定義を書くこともできますが, そんなことをしなくても, 以下のようないくつかの例で確認をすれば, 一般的な場合においてもその具体的な実行方法を想像できると思います.

(x + 1) + (x2 + 2x + 1) = x + 1 + x2 + 2x + 1 = x2 + (1 + 2)x + (1 + 1) = x2 + 3x + 2,x
84x2014x(x + 1)84x2014x(x + 1) + 84x2014
84x2014 + x2 + x
+ 2
=
+
=
=
,
x + 1 x + 2x + 1(x + 1)2(x + 1)2(x + 1)2x2 + 2x + 1(x+1)·(x2 +2x+1) = x·(x2 +2x+1)+1·(x2 +2x+1) = (x3 +2x2 +x)+(x2 +2x+1) = x3 +3x2 +3x+1,x
84x2014x · 84x2014
84x2015· 2==.
x + 1 x + 2x + 1(x + 1) · (x2 + 2x + 1)
x3 + 3x2 + 3x + 1
また, この “式” に対する加法や乗法も, 先ほど議論した “数” に対するそれと同様, 容易には理解し難い, 複
雑な結び付き, 絡み合いを有しています.

一方, その絡み合いの 1 つの表れとして, 数や式の適当な集まりに対して, そこで定義される加法を, その乗法的な情報によって記述 · 復元することができる場合があります. 本講義では, そのようなタイプの数学的命題について, お話をしようと思います. 特に, 本講義の目標であるところの定理の主張を大雑把に述べるならば,平成26年度(第36回)数学入門公開講座テキスト(京都大学数理解析研究所，平成26年8月4日～8月7日開催

1 数や式に対する加法 · 乗法

5





C(x) のある乗法的な情報から, その加法を復元 · 記述するある手続きが存在するとなります. そのもう少し正確な主張については, §3 の冒頭をご参照ください. 今回の講義では, 時間の都合により, それについて詳しく議論をすることはできませんが, この定理には, “有理数版” も存在します. 有理数の方が有理式よりも身近で, その分その主張を説明することが容易ですので, 以下でその “有理数版” のもう
少し正確な主張を述べることで, 本講義の目標である定理の雰囲気を感じ取っていただきましょう.
すべての素数のなす集合を Primes と書くことにします.
defPrimes = { 素数 } = {2, 3, 5, 7, 11, 13, 17, 19, ...}.
また, 各素数 p ∈ Primes に対して, Q の部分集合▷
Z=1(p) ⊆ Z(p) ⊆ Q

を, 以下のように定義します.

n, ただし, ϵ ∈ {1, −1}, n と m は 1 以外にm
公約数を持たない正整数, と書いたとき, m が p を約数として持たないもの全体のなす集合とする.
n• Z=1, ただし, ϵ ∈ {1, −1}, n と m は 1 以外に(p) ⊆ Q を, 0 でない有理数 q ∈ Q であって, q を q = ϵ ·m
公約数を持たない正整数, と書いたとき, ϵ · n を p で割った余りと m を p で割った余りが等しいもの全体の• Z▷(p) ⊆ Q を, 0 でない有理数 q ∈ Q であって, q を q = ϵ ·なす集合とする.

36
の場合,
1145
• 分母 1145 の素因数は 5 と 229 のみなので,

例えば, 有理数 −p ̸= 5, 229 のときには −

36
36
▷
∈ Z▷
, また, −̸∈ Z▷(p)(5) , Z(229) ,
1145
1145

• 分子 −36 と分母 1145 をそれぞれ割って余りが等しくなる素数は 1181 のみなので,
−

36
36
∈ Z=1
̸∈ Z=1(1181) , また, p ̸= 1181 のときには −
(p) ,
1145
1145

となります.
この記号の準備のもと, 主定理の “有理数版” のもう少し正確な主張は, 以下のようになります.
主定理の “有理数版”(1) Q の乗法構造

集合 Q と Primes が与えられたとき,

Q × Q −→
(q, q ′ )7→Qq · q′ ,(2) Primes の元で添字付けられた Q の部分集合の族}{ =1
Z(p) ⊆ Z▷(p) ⊆ Q p∈Primes平成26年度(第36回)数学入門公開講座テキスト(京都大学数理解析研究所，平成26年8月4日～8月7日開催

1 数や式に対する加法 · 乗法という情報から, Q の加法構造

6

Q × Q −→
(q, q ′ )7→Q
q + q′を記述する手続きが存在する.

§1 の最後に, こういったタイプの数学的命題たちに関する簡単な歴史を述べましょう. こういった内容の定理は, その起源を [6] に求めることができると思います. [6] では, 所謂 “関数体に対する Neukirch · 内田の定理” という定理—その当時そういった枠組みはありませんでしたが, 現代的表現を用いれば, “有限体上の代数曲線に対する Grothendieck による遠アーベル予想の双有理版”—を証明するために, 本講義の主結果のようなタイプの結果が用いられています. また, [6] で用いられたその結果は, [2] に “Proposition 1.3” として, 簡
潔に纏められています. [6], [2] のどちらを見てもわかりますが, この復元の手続きは, 今回の講義で議論する“複素数係数有理式全体” という式の集まりに対してのみ適用されるべきものではなく, より一般に, “代数的閉体上の代数曲線の関数体” という式の集まりがその適用対象となっています. そして, 式の集まりに対する加法構造の復元手続きに関するこの結果は, 順番に, [5], [3], [4] という論文の中で, 改良され, そして, 進化しています. 一方, すぐ上で述べた “有理数版” ですが, これは [1] の中で議論されています. [1] においては, 所望の結果を “手続き的な形式” では述べていませんが, その議論を適切に処理することによって, “手続き的な形式” による結果に書き換えることが可能です. また, [1] で得られている結果も, 先の “式” に対するそれと同様, “有理数全体” という数の集まりに対してのみ適用されるべきものではなく, より一般に, “数体” という数の集まりがその適用の対象となっています.

平成26年度(第36回)数学入門公開講座テキスト(京都大学数理解析研究所，平成26年8月4日～8月7日開催

2 有理式に付随する様々な乗法的概念

72 有理式に付随する様々な乗法的概念
この §2 では, §1 でその定義を復習した “有理式” に付随する様々な概念を導入しましょう.
定義 2.1.

(i) 0 でない多項式 f (x) ∈ C[x] に対して, f (x) がf (x) = an xn + an−1 xn−1 + · · · + a2 x2 + a1 x + a0 ,ただし, a0 , . . . , an ∈ C, an ̸= 0, と書けるとき,
defdeg(f (x)) = n ∈ Zと定義する.

(ii) 0 でない有理式 Q(x) ∈ C(x) に対して, Q(x) がQ(x) =

f (x)
,
g(x)

ただし, f (x), g(x) ∈ C[x], g(x) ̸= 0, f (x) と g(x) は共通因子を持たない (つまり, 2 つの方程式 f (x) = 0と g(x) = 0 が共通解を持たない), と書けるとき,
defdeg(Q(x)) = deg(f (x)) − deg(g(x)) ∈ Zと定義する.
定数的でない多項式 f (x) ∈ C[x] \ C を与えますと, 複素数のなす集合 C のよく知られた性質によって, 方
程式 f (x) = 0 は常に (複素数) 解を持ちます. 特に, 多項式 f (x) は適当な複素数 a ∈ C による x − a という多項式をその因子として持ちます. 即ち, ある多項式 g(x) ∈ C[x] が存在して, f (x) = (x − a) · g(x) と書くことができます. このとき, 当然 deg(g(x)) = deg(f (x)) − 1 となりますので, “deg” に関する帰納法により, 以下の命題を証明することができます.
命題 2.2. 0 でない多項式 f (x) ∈ C[x] に対して, 相異なる複素数 a1 , . . . , an ∈ C, 正整数 d1 , . . . , dn ∈ Z, 0でない複素数 c ∈ C が存在して, 等式

f (x) = c · (x − a1 )d1 · · · (x − an )dnが成立する. また, 集合 {(a1 , d1 ), . . . , (an , dn )} は f (x) より一意的に定まる.
命題 2.2 で与えられている等式は, 多項式に対する “整数の素因数分解” の類似と考えられます.
有理式とは多項式の比として得られる式のことですので, 命題 2.2 より, 以下の命題が得られます.
命題 2.3. 0 でない有理式 Q(x) ∈ C(x) に対して, 相異なる複素数 a1 , . . . , an ∈ C, 0 でない整数 d1 , . . . , dn ∈Z, 0 でない複素数 c ∈ C が存在して, 等式
Q(x) = c · (x − a1 )d1 · · · (x − an )dnが成立する. また, 集合 {(a1 , d1 ), . . . , (an , dn )} は Q(x) より一意的に定まる.

平成26年度(第36回)数学入門公開講座テキスト(京都大学数理解析研究所，平成26年8月4日～8月7日開催

2 有理式に付随する様々な乗法的概念

8

命題 2.3 で与えられている等式は, 有理式に対する “有理数の素因数分解” の類似と考えられます. また, 命
題 2.2 では di たちは “正整数” ですが, 命題 2.3 では “0 でない整数” となっていることに注意しましょう.
具体的な例を与えますと, 例えば,

5x + 5という有理式は,
x3 − 14x2 + 49x

5x + 55(x + 1)
= 5 · (x + 1)1 · x−1 · (x − 7)−2=x3 − 14x2 + 49xx(x − 7)2と “素因数分解” できます.

Q(x) ∈ C(x) を 0 でない有理式とします. このとき, 命題 2.3 によって {(a1 , d1 ), . . . , (an , dn )} という集合を定めることができます. 一方, 命題 2.3 で与えられている表示から簡単にわかるとおり, この集合{(a1 , d1 ), . . . , (an , dn )} によって元々の有理式 Q(x) は “0 でない複素数倍” を除いて一意的に決定されます.
この観察から, 集合 {(a1 , d1 ), . . . , (an , dn )} は有理式 Q(x) に対する非常に重要な情報であることがわかると思います. 上で挙げた例

5x + 5x3 − 14x2 + 49xで説明するならば, 件の集合は{(−1, 1), (0, −1), (7, −2)}となり, この集合から, もとの有理式が? · (x − (−1))1 · (x − 0)−1 · (x − 7)−2 = ? ·x+1
x+1= ?· 3x(x − 7)2
x − 14x2 + 49xというように, “0 でない複素数倍” を除いて決定されます.
さて, この重要な情報 “{(a1 , d1 ), . . . , (an , dn )}” と等価と考えられる “ord” という概念を, 以下のように定義しましょう.
定義 2.4. 0 でない有理式 Q(x) ∈ C(x) と複素数 a ∈ C に対して,

orda (Q(x)) ∈ Zを以下のように定義する. Q(x) = c · (x − a1 )d1 · · · (x − an )dn を 命題 2.3 で与えられた Q(x) の表示とした
とき,
def(1) もしも a ̸∈ {a1 , . . . , an } ならば orda (Q(x)) = 0,
def(2) もしもある 1 ≤ i ≤ n が存在して a = ai が成立するならば, orda (Q(x)) = di .
(2) の場合に関する注意ですが, a1 , . . . , an は相異なる複素数ですので, ある 1 ≤ i ≤ n が存在して a = aiが成立しますと, i とは異なる 1 ≤ j ≤ n に対して a = aj が成立することはない, ということに注意しましょう. また, すべての複素数 a ∈ C に対する orda (Q(x)) たちを考えれば, 先の集合 “{(a1 , d1 ), . . . , (an , dn )}”を復元することができることは容易に確認できると思います. 上で挙げた例
理式の “素因数分解” から,

5x + 5ord−1 ( 3
) = 1,
x − 14x2 + 49x
5x + 5
ord7 ( 3) = −2,x − 14x2 + 49xとなります.

5x + 5の場合, その有
x3 − 14x2 + 49x

5x + 5
ord0 ( 3) = −1,x − 14x2 + 49x

5x + 5ordz ( 3) = 0
x − 14x2 + 49x(∀z ∈ C \ {−1, 0, 7})平成26年度(第36回)数学入門公開講座テキスト(京都大学数理解析研究所，平成26年8月4日～8月7日開催

2 有理式に付随する様々な乗法的概念

9

定義 2.5. Q(x) ∈ C(x) を 0 でない有理式, a ∈ C を複素数とする. 不等式 orda (Q(x)) > 0 が成立するとき,

a は Q(x) の 零点 であると言う. 不等式 orda (Q(x)) < 0 が成立するとき, a は Q(x) の 極 であると言う.
従って, 上で挙げた例

5x + 5x3 − 14x2 + 49xの場合, −1 がその零点であり, そして, 0 と 7 がその極となります.

0 でない値”と0なってしまい, つまり (普通の意味では) 代入はできません. 逆に, a が Q(x) の極でなければ, Q(x) に a を代
簡単に確認できるとおり, a が Q(x) の極であるときには, Q(x) に a を代入しようとすると “

入することができ, Q(a) ∈ C という複素数が得られます. また, 再び簡単に確認できるように, a が Q(x) の極でないとしますと, Q(a) = 0 となることと, a が Q(x) の零点であることは同値です.
定義 2.6. 複素数 a ∈ C に対して, C(x) の部分集合

Oa× ⊆ Oa▷ ⊆ C(x)を以下のように定義する.

Oa× = { Q(x) ∈ C(x) \ {0} | orda (Q(x)) = 0 }def⊆ Oa▷ = { Q(x) ∈ C(x) \ {0} | orda (Q(x)) ≥ 0 }.
def

つまり, Oa× ⊆ C(x) は “a を零点としても極としても持たない有理式全体” で, Oa▷ ⊆ C(x) は “a を極として持たない有理式全体” です. すぐ上の観察から, Oa▷ に属する有理式には a を代入することができます. こ
こで, 折角 “代入” という操作を観察したところですので, この代入によって定義される簡単な概念を導入しましょう.
定義 2.7. 複素数 a ∈ C に対して, C(x) の部分集合

Oa=1 ⊆ C(x)を以下のように定義する.

Oa=1 = { Q(x) ∈ Oa▷ | Q(a) = 1 }.
def

つまり, Oa=1 ⊆ C(x) は “a を代入すると 1 となる有理式全体” です. Oa=1 に属する有理式に a を代入すると 1 になるのですから, 特に, Oa=1 に属する有理式は a を零点としても極としても持ちません. 従って,

Oa=1 ⊆ Oa× となります.
次に, 後々の話の都合上, これまでに複素数 a ∈ C に対して定義した orda , Oa=1 ⊆ Oa× ⊆ Oa▷ という概念
を, “∞” という点に対しても定義したいと思います.
定義 2.8.

(i) 0 でない有理式 Q(x) ∈ C(x) に対して,
def

ord∞ (Q(x)) = − deg(Q(x))と定義する.

(ii) C(x) の部分集合

×
▷
O∞
⊆ O∞
⊆ C(x)

を以下のように定義する.
×O∞= { Q(x) ∈ C(x) \ {0} | ord∞ (Q(x)) = 0 }def平成26年度(第36回)数学入門公開講座テキスト(京都大学数理解析研究所，平成26年8月4日～8月7日開催

2 有理式に付随する様々な乗法的概念

10

▷
⊆ O∞
= { Q(x) ∈ C(x) \ {0} | ord∞ (Q(x)) ≥ 0 }.
def▷(iii) Q(x) ∈ O∞
に対して, 複素数 Q(∞) ∈ C を, 以下のように定義する.
def×(1) Q(x) ̸∈ O∞(つまり, ord∞ (Q(x)) > 0) ならば, Q(∞) = 0.
×(2) Q(x) ∈ O∞
(つまり, ord∞ (Q(x)) = 0) ならば, Q(x) = c · (x − a1 )d1 · · · (x − an )dn を命題 2.3 でdef与えられた表示とすると, Q(∞) = c.

(iv) C(x) の部分集合=1
O∞⊆ C(x)

を以下のように定義する.
=1×O∞= { Q(x) ∈ O∞
| Q(∞) = 1 }def

×= { Q(x) ∈ O∞
| Q(x) = c · (x − a1 )d1 · · · (x − an )dn を命題 2.3 で与えられた表示としたとき, c = 1 }.

(v) 0 でない有理式 Q(x) ∈ C(x) に対して, 不等式 ord∞ (Q(x)) > 0 が成立するとき, ∞ は Q(x) の 零点であると言う. 不等式 ord∞ (Q(x)) < 0 が成立するとき, ∞ は Q(x) の 極 であると言う.
ここで,
def

P1 = C ∪ {∞}と書くことにします. これまでに議論よって, 任意の a ∈ P1 に対して,

Q(x) ∈ Oa▷ ⇔ orda (Q(x)) ≥ 0 ⇔ Q(x) に a を代入可能

0 でない有理式 Q(x) ∈ C(x) に対して,

Q(x) ∈ Oa▷ に対して,
Q(x) ̸∈ Oa× ⇔ orda (Q(x)) > 0 ⇔ Q(a) = 0 ⇔ a は Q(x) の零点






という関係が存在することに注意しましょう.
次に, “∞” という点に対しても適切に “ord” を定義した恩恵と考えられる以下の命題を確認します.
命題 2.9. 0 でない有理式 Q(x) ∈ C(x) に対して, 有限部分集合 S ⊆ P1 が存在して, a ̸∈ S ならば

orda (Q(x)) = 0. また, 等式∑

orda (Q(x)) = 0a∈P1が成立する.
証明は簡単です. 主張の前半部分は命題 2.3 の表示から直ちに従います. また, 再び命題 2.3 の表示と, そして, 複素数 a ∈ C に対する orda の定義から,∑

orda (Q(x)) = deg(Q(x))

a∈Cが容易に確認できますので, 残っている ord∞ の定義から, 主張の後半部分の等式が従います.
この §2 では, 有理式に関する概念として, 任意の a ∈ P1 に対して,

orda ,

Oa=1 ⊆ Oa× ⊆ Oa▷

平成26年度(第36回)数学入門公開講座テキスト(京都大学数理解析研究所，平成26年8月4日～8月7日開催

2 有理式に付随する様々な乗法的概念

11を定義してきました. §2 の最後に, これらの概念について, この講義の観点から非常に重要な事実を観察しま
しょう. それは,orda , Oa=1 ⊆ Oa× ⊆ Oa▷ は, 乗法との相性は良いが, 加法との相性は良くないという事実です. 別の言い方をしますと,







orda , Oa=1 ⊆ Oa× ⊆ Oa▷ は, 加法的な概念ではなく乗法的な概念である


という事実です. 乗法との相性の良さについては, 以下の命題がそれを支持しています.
命題 2.10. a ∈ P1 とする.

(i) 0 でない有理式 Q(x), P (x) ∈ C(x) に対して, 等式
orda (Q(x) · P (x)) = orda (Q(x)) + orda (P (x)),

orda (Q(x)−1 ) = −orda (Q(x))

が成立する.

(ii) Q(x), P (x) ∈ Oa=1 ならば, Q(x) · P (x) ∈ Oa=1 , Q(x)−1 ∈ Oa=1 が成立する.
(iii) Q(x), P (x) ∈ Oa× ならば, Q(x) · P (x) ∈ Oa× , Q(x)−1 ∈ Oa× が成立する.
(iv) Q(x), P (x) ∈ Oa▷ ならば, Q(x) · P (x) ∈ Oa▷ が成立する.
まずその証明を与えてしまいましょう. (i) は “orda ” の定義から簡単に確認できますので, 演習問題としましょう. (iv) は (i) と Oa▷ の定義から直ちに従います. 実際, Q(x), P (x) ∈ Oa▷ ならば, Oa▷ の定義から,

orda (Q(x)), orda (P (x)) ≥ 0 となりますので, (i) より orda (Q(x) · P (x)) = orda (Q(x)) + orda (P (x)) ≥ 0となり, 再び Oa▷ の定義から, Q(x) · P (x) ∈ Oa▷ が成立します. (iii) も (iv) の証明とほとんど同様の議論から得られます. (ii) を証明するために, Q(x), P (x) ∈ Oa=1 としましょう. すると, (iii) より, Q(x) · P (x),Q(x)−1 ∈ Oa× ⊆ Oa▷ となりますので, 特に, Q(x) · P (x) や Q(x)−1 に a を代入することが可能です. そして,実際に Q(x) · P (x) に a を代入してみますと, その値は Q(a) · P (a) = 1 · 1 = 1 となり, Q(x) · P (x) ∈ Oa=1が確認できますし, また, Q(x)−1 に a を代入してみますと, その値は Q(a)−1 = 1−1 = 1 となり, やはり

Q(x)−1 ∈ Oa=1 が確認できます.
命題 2.10 の内容ですが, まず, (i) の帰結としまして

orda (Q(x) · P (x)) を orda (Q(x)) と orda (P (x)) のみから計算することができる
という観察が得られます. つまり, 2 つの有理式の積の “orda ” による値は, 元々の 2 つの有理式の “orda ” による値たちから完全に決定される, ということです. 一方, (ii), (iii), (iv) は

Oa=1 , Oa× , Oa▷ のいずれに対しても, その中で自由に乗法ができるという主張を含んでいます.
一方, orda , Oa=1 ⊆ Oa× ⊆ Oa▷ といった対象が, 加法とは相性が良くないという主張を, 以下の例で観察しましょう. 加法に対する命題 2.10 の類似は成立しないことが以下の例でわかります.

平成26年度(第36回)数学入門公開講座テキスト(京都大学数理解析研究所，平成26年8月4日～8月7日開催

2 有理式に付随する様々な乗法的概念

12• orda (Q(x)) と orda (P (x)) のみから orda (Q(x) + P (x)) を計算することはできない. 実際, 例えば,
def

Q1 (x) = x − 1,def

Q2 (x) = x − 2,

P (x) = 1とすると,ord0 (Q1 (x)) = ord0 (Q2 (x)) = ord0 (P (x)) = 0
であるが,ord0 (Q1 (x) + P (x)) = ord0 (x) = 1 ̸= 0 = ord0 (x − 1) = ord0 (Q2 (x) + P (x))
となる.

• Q(x), P (x) ∈ Oa=1 (あるいは Oa× , あるいは Oa▷ ) であっても, Q(x) + P (x) ∈ Oa=1 (あるいは Oa× , あ
るいは Oa▷ ) とは限らない. 実際, 例えば,
def

Q(x) = x + 1,

def

P (x) = 1,

def

R(x) = −x − 1とすると, Q(x), P (x) ∈ O0=1 であるが, Q(x) + P (x) ̸∈ O0=1 となる. また, Q(x), R(x) ∈ O0× (従って

∈ O0▷ ) であるが, Q(x) + R(x) ̸∈ O0▷ (従って ̸∈ O0× ) となる.
このように,



orda (Q(x) + P (x)) を orda (Q(x)) と orda (P (x)) のみから計算することはできない

となっており, また,

Oa=1 , Oa× , Oa▷ のいずれに対しても, その中では自由には加法ができない



となっています.

こういった事実から,

orda , Oa=1 ⊆ Oa× ⊆ Oa▷ は, 乗法との相性は良いが, 加法との相性は良くない,




あるいは,





orda , Oa=1 ⊆ Oa× ⊆ Oa▷ は, 加法的な概念ではなく乗法的な概念である


と考えることは, 少なからず妥当なことだと言えると思います.
ちなみに, 時間の都合でここでは詳しい議論は与えられませんが, 上の議論の結論同様, §1 の後半で定義を与えた Q の 2 つの部分集合▷
Z=1(p) ⊆ Z(p) ⊆ Q

に対しても, (例えば “その中で自由に乗法はできるが加法はできない” という観点から) やはり “乗法との相性は良いが, 加法との相性は良くない”, あるいは, “加法的な概念ではなく乗法的な概念である” と考えることができます.

平成26年度(第36回)数学入門公開講座テキスト(京都大学数理解析研究所，平成26年8月4日～8月7日開催

3 主定理とその証明の準備

133 主定理とその証明の準備
本講義の目標は, 以下の主張の内容, 及び, その証明を理解していただくことです.


主定理



集合 C(x) と P1 が与えられたとき,(1) C(x) の乗法構造

C(x) × C(x)

−→

C(x)

(Q(x), P (x))7→

Q(x) · P (x),(2) P1 の元で添字付けられた C(x) の部分集合の族{}
Oa=1 ⊆ Oa▷ ⊆ C(x) a∈P1という情報から, C(x) の加法構造

C(x) × C(x)

−→

C(x)

(Q(x), P (x))7→

Q(x) + P (x)を記述する手続きが存在する.



この定理は, 大雑把に言えば, (抽象的な) 集合 C(x) が与えられたとき,• C(x) の掛け算,

{}• C(x) の部分集合の族 Oa=1 ⊆ Oa▷ ⊆ C(x) a∈P1を入力すると,C(x) の足し算


がその出力として得られるあるアルゴリズムが存在する, ということを主張しています. ここで, この講義の観点から着目していただきたい点は,

このアルゴリズムの入力側の情報は, どれも乗法的な情報である

という点です. “C(x) の掛け算” は乗法そのものですので, 文字どおり “乗法的な情報” ですし, また, “部分集合 Oa=1 ⊆ Oa▷ ⊆ C(x)” が (加法的でなく) 乗法的な概念である, という事実は, §2 の後半で観察したとおり
です. つまり, 上の定理の内容を更に大雑把にまとめるならば,



C(x) のある乗法的な情報から, その加法を復元するある手続きが存在するとなります.

平成26年度(第36回)数学入門公開講座テキスト(京都大学数理解析研究所，平成26年8月4日～8月7日開催

3 主定理とその証明の準備

14

上の定理の証明は §4 で与えられます. そのために, この §3 では, いくつかの補題を準備します. まず最初の補題 3.1 は簡単に確認できると思います.
補題 3.1. Q(x) ∈ C(x) を有理式とする.

(i) 以下の 2 条件は同値.
(1) Q(x) = 0.
(2) 任意の有理式 P (x) ∈ C(x) に対して, Q(x) · P (x) = Q(x).
(ii) 以下の 2 条件は同値.
(1) Q(x) = 1.
(2) 任意の有理式 P (x) ∈ C(x) に対して, Q(x) · P (x) = P (x).
(iii) 以下の 2 条件は同値.
(1) Q(x) = −1.
(2) Q(x) ̸= 1 かつ Q(x)2 = 1.
次の補題 3.2 もそれほど難しい内容ではないので, その証明は省略します. 演習問題として考えてみてくだ
さい.
補題 3.2. 0 でない有理式 Q(x) ∈ C(x) に対して, 以下の 2 条件は同値.

(1) Q(x) は複素数, 即ち, Q(x) ∈ C (⊆ C(x)).
(2) 任意の a ∈ P1 に対して, orda (Q(x)) = 0.
次の補題 3.3 もそれほど難しくないので, その証明は演習問題とさせていただきます.
補題 3.3. 0 でない有理式 Q(x), P (x) ∈ C(x) に対して, 以下の 2 条件は同値.

(1) Q(x) = P (x).
(2) Q(x), P (x) ∈ Oa▷ なる無限に多くの a ∈ P1 に対して, Q(a) = P (a).
次の補題 3.4 は少々ややこしい格好をしていますが, 実質的な内容はそれほど難しくないと思います.
補題 3.4. a, b, c ∈ P1 を相異なる P1 の元; s ∈ C を 0 でない複素数とする. このとき, 以下の 2 つの条件
(a,b,c)(1)s(a,b,c), (2)s(a,b,c)を満たす 0 でない有理式 Qs(a,b,c)orda (Qs(a,b,c)

Qs

(1)s
(2)s

(a,b,c)(a,b,c)(x)) = −1,(a,b,c)ordb (Qs(x) が唯一つ存在する.
(a,b,c)(x)) = 1, ordz (Qs(x)) = 0 (∀z ∈ P1 \ {a, b}).

(c) = s.

∞ ̸∈ {a, b, c} の場合の補題 3.4 を証明しましょう. (a, b, c のどれかが ∞ の場合の証明は, 演習問題とさ(a,b,c)

せていただきます.) ∞ ̸∈ {a, b, c} の場合, 所望の Qs
def

Q(a,b,c)(x) = s ·s(x) は以下の有理式です.

c−a x−b·∈ C(x).
c−b x−a平成26年度(第36回)数学入門公開講座テキスト(京都大学数理解析研究所，平成26年8月4日～8月7日開催

3 主定理とその証明の準備

15(a,b,c)

この有理式が補題の主張の中の 2 つの条件 (1)s(a,b,c), (2)sを満たすことは簡単に確認できます. 最後に,

(a,b,c)(a,b,c)
補題の主張の中の 2 つの条件 (1)s
, (2)sを満たす有理式がこれしかないことを確認しましょう. も(a,b,c)
しもある有理式 Q(x) が条件 (1)sを満たすとしますと, 簡単に確認できるように, ある 0 でない複素数t ∈ C が存在して,Q(x) = t ·

x−b
x−a

c−b
c−b
(a,b,c)を満たすとしますと, s = t ·= Q(c) ですので, 更に Q(x) が条件 (2)s
とな
c−a
c−a
(a,b,c)(x) となります. これで補題 3.4 の証明は終了です.
り, 特に, Q(x) = Qsと書けます. t ·次は補題 3.5 です. 記号の複雑度が段々と上がっていますが, やはり, 実質的な内容はそれほど難しくないと思います.
補題 3.5. a, b, c, d ∈ P1 を相異なる P1 の元; s, t ∈ C を 0 でない複素数とする. このとき, 以下の 2 つの条(a,b,c,d)

件 (1)(s,t)(a,b,c,d), (2)(s,t)(a,b,c,d)orda (Q(s,t)(a,b,c,d)Q(s,t)(1)(s,t)(2)(s,t)(a,b,c,d)を満たす 0 でない有理式 Q(s,t)(a,b,c,d)(a,b,c,d)(a,b,c,d)(x)) ≥ −1, ordz (Q(s,t)(a,d,c)(b) = Qt

(a,b,c,d)(b), Q(s,t)(x) が唯一つ存在する.

(x)) ≥ 0(a,b,c)(d) = Qs(∀z ∈ P1 \ {a}).
(a,d,c)(d)(有理式 Qt(a,b,c)(x) につ(x), Qs

いては, 補題 3.4 を参照).
(a,b,c,d)

補題 3.5 を証明しましょう. 補題 3.4 の証明と同様, 先に “答え” を書いてしまいますと, 所望の Q(s,t)(x)

は以下の有理式で与えられます.
(a,b,c,d)Q(s,t)

def(a,d,c)(x) = Q(a,b,c)(x) + Qts
(a,b,c,d)

この有理式が補題の主張の中の 2 つの条件 (1)(s,t)(a,b,c,d), (2)(s,t)(x) ∈ C(x).

を満たすこと, 特に 0 でないこと, は簡単(a,b,c,d)(a,b,c,d)に確認できます. 最後に, 補題の主張の中の 2 つの条件 (1)(s,t), (2)(s,t)
を満たす有理式がこれしかな(a,b,c,d)(a,b,c,d)
いことを確認しましょう. この事実を確認するために, ある有理式 Q(x) が条件 (1)(s,t), (2)(s,t)
を満た

し, かつ,
def(a,d,c)P (x) = Q(x) − Q(a,b,c)(x) − Qtsとなると仮定して, 矛盾を導きましょう.

(x) ̸= 0(a,b,c,d)Q(x) が条件 (1)(s,t)(a,b,c)を, Qs(a,b,c)を,(a,b,c)(x)(x) が条件 (1)s(a,d,c)(a,d,c)Qt(x) が条件 (1)tをそれぞれ満たすことから,(I) orda (P (x)) ≥ −1,ordz (P (x)) ≥ 0(∀z ∈ P1 \ {a})(a,b,c,d)となることが, それほどの困難なく確かめられます. 次に Q(x) が条件 (1)(s,t)(a,b,c,d)と (2)(s,t)

を, Qs(a,b,c)(a,b,c)(a,d,c)(a,d,c)(a,d,c)が条件 (1)sと (2)sを, Qt(x) が条件 (1)tと (2)tをそれぞれ満たすことから,(a,d,c)P (b) = Q(b) − Q(a,b,c)(b) − Qts(a,d,c)P (d) = Q(d) − Q(a,b,c)(d) − Qts(a,d,c)(b) = Qt

(a,d,c)(b) − 0 − Qt(b) = 0,(d) = Q(a,b,c)(d) − Q(a,b,c)(d) − 0 = 0ssとなることが, つまり, b と d が有理式 P (x) の零点であることが確かめられます. これは(II) ordb (P (x)) ≥ 1, ordd (P (x)) ≥ 1

平成26年度(第36回)数学入門公開講座テキスト(京都大学数理解析研究所，平成26年8月4日～8月7日開催

3 主定理とその証明の準備

16という条件と同値であることを思い出しましょう. 従って, (I) と (II) によって,∑∑ordz (P (x)) = orda (P (x))+ordb (P (x))+ordd (P (x))+

ordz (P (x)) ≥ −1+1+1+0 = 1

z∈P1 \{a,b,d}z∈P1となり, 命題 2.9 の後半部分の等式に矛盾します. これで補題 3.5 の証明が完了しました.
次に, 以下の補題を確認しましょう.
(a,b,c,d)

補題 3.6. 補題 3.5 で得られた有理式 Q(s,t)(x) ∈ C(x) は, 等式(a,b,c,d)Q(s,t)(c) = s + tを満たす.
実際, 補題 3.5 の証明から,(a,b,c,d)Q(s,t)(a,b,c)であることを知っていますので, Qs(a,d,c)(x) = Q(a,b,c)(x) + Qts(a,d,c)(x), Qt(x)(a,b,c)(x) が条件 (2)s(a,d,c), (2)tをそれぞれ満たすこと

から,(a,b,c,d)Q(s,t)(a,d,c)(c) = Q(a,b,c)(c) + Qts(c) = s + tとなり, 結論が従います.

§3 の最後に, Oa▷ という部分集合と代入という操作に関する以下の補題を確認しましょう.
補題 3.7. a ∈ P1 とする.

(i) 0 でない有理式 Q(x) ∈ C(x) に対して, 以下の条件は同値.
(1) orda (Q(x)) = 1.
(2) Oa▷ の任意の元は, Oa× の元と Q(x) の非負の巾 (つまり, Q(x)n , ただし, n は非負整数) の積で表される.

(ii) Q(x) ∈ Oa▷ に対して, Q(x) に a を代入して得られる複素数 Q(a) ∈ C は, 以下の 2 つの条件のいずれかを満たす唯一つの複素数 s ∈ C である.

(1) s = 0 かつ orda (Q(x)) ̸= 0.
(2) s · Q(x)−1 ∈ Oa=1 .
まず最初に (i) を証明しましょう. (1) ⇒ (2) を証明するために, orda (Q(x)) = 1 を仮定して, また, Oa▷ のdef

任意の元 P (x) ∈ Oa▷ をとります. このとき, Oa▷ の定義から, n = orda (P (x)) ≥ 0 となります. また, 命
題 2.10, (i), より,()
orda P (x) · Q(x)−n = orda (P (x)) + (−n) · orda (Q(x)) = n + (−n) · 1 = 0
defですので, Oa× の定義から, R(x) = P (x) · Q(x)−n ∈ Oa× となります. 一方,

P (x) = P (x) · Q(x)−n · Q(x)n = R(x) · Q(x)n平成26年度(第36回)数学入門公開講座テキスト(京都大学数理解析研究所，平成26年8月4日～8月7日開催

3 主定理とその証明の準備

17ですので, 条件 (2) の成立が確認できました. 次に, (2) ⇒ (1) を証明するために, 条件 (2) が成立することを仮定しましょう. a ̸= ∞ の場合, orda (x − a) = 1, 特に, x − a ∈ Oa▷ ですので, 条件 (2) から, Oa× のある元P (x) ∈ Oa× と正整数 n が存在して,

x − a = P (x) · Q(x)nと書けるはずです. この等式の両辺の “orda ” を 命題 2.10, (i), を用いて計算してみましょう. すると()
1 = orda (x−a) = orda P (x)·Q(x)n = orda (P (x))+n·orda (Q(x)) = 0+n·orda (Q(x)) = n·orda (Q(x))となります. その定義から orda (Q(x)) は整数ですので, 正整数である n と整数である orda (Q(x)) を掛けて 1 とするためには, n = orda (Q(x)) = 1 でなければなりません. 特に, 条件 (1) の成立が確認されました.

a = ∞ の場合には, 上と同様の議論を, “x − a” の代わりに1を用いて実行することにより, 条件 (1) の成立
xが確認されます.
最後に補題 3.7, (ii), を証明しましょう. まず Q(a) ∈ C が, 補題の主張内の 2 つの条件のいずれかを満たすことを確認します. もしも Q(a) = 0 ならば, a は Q(x) の零点ですから, 特に, orda (Q(x)) ̸= 0 が従い, 条
件 (1) が成立します. 次に Q(a) ̸= 0 と仮定しましょう. この場合, a は Q(x) の零点でも極でもありません
ので, Q(x) ∈ Oa× となります. また, Q(a) ∈ C より orda (Q(a)) = 0, つまり, Q(a) ∈ Oa× となります. 従って, 命題 2.10, (iii), より Q(a) · Q(x)−1 ∈ Oa× ⊆ Oa▷ となり, Q(a) · Q(x)−1 に a を代入することが可能だということがわかります. さて, 実際に代入してみましょう. 有理式 Q(a) · Q(x) に a を代入してみますと,Q(a) · Q(a)−1 = 1 となります. ですので, Oa=1 の定義から, Q(a) · Q(x)−1 ∈ Oa=1 が得られ, 特に, 条件 (2)の成立が確認されます.
次に, 補題 3.7, (ii), の主張内の 2 つの条件のいずれかを満足する複素数が Q(a) ∈ C のみである, という主張を確認しましょう. もしも複素数 s ∈ C が条件 (1) を満足すると仮定しますと, Q(x) ∈ Oa▷ (つまり, orda (Q(x)) ≥ 0) という仮定と条件 (1) の後半部分から, orda (Q(x)) > 0 が得られます. これは, a がQ(x) の零点であるということを意味していますので, 特に, Q(a) = 0 となり, 条件 (1) の前半部分から,Q(a) = 0 = s という所望の結論が得られます. 次に, 複素数 s ∈ C が条件 (2) を満足したと仮定しましょう. すると, Oa=1 の定義から, 有理式 s · Q(x)−1 に a を代入して得られる値が 1 となります. さて, 実際に代入してみましょう. 有理式 s · Q(x)−1 に a を代入してみますと, s · Q(a)−1 (= 1) となります. ですので,

s = Q(a) という所望の結論が得られます.

平成26年度(第36回)数学入門公開講座テキスト(京都大学数理解析研究所，平成26年8月4日～8月7日開催

4 加法構造の復元の手続き

18

4 加法構造の復元の手続き
本講義の主定理の内容を復習しましょう.


主定理



集合 C(x) と P1 が与えられたとき,(1) C(x) の乗法構造

C(x) × C(x)

−→

C(x)

(Q(x), P (x))7→

Q(x) · P (x),(2) P1 の元で添字付けられた C(x) の部分集合の族{}
Oa=1 ⊆ Oa▷ ⊆ C(x) a∈P1という情報から, C(x) の加法構造

C(x) × C(x)

−→

C(x)

(Q(x), P (x))7→

Q(x) + P (x)を記述する手続きが存在する.



この §4 では, 上の主張を証明します. 所望の手続きを, 以下のとおり, 7 つのステップにわけました.



手続き 1 (0, 1, −1):(i) 以下の条件を満たす C(x) の唯一つの元 Q(x) ∈ C(x) を 0 と書く: 任意の C(x) の元 P (x) ∈ C(x)に対して, Q(x) · P (x) = Q(x).

(ii) 以下の条件を満たす C(x) の唯一つの元 Q(x) ∈ C(x) を 1 と書く: 任意の C(x) の元 P (x) ∈ C(x)に対して, Q(x) · P (x) = P (x).

(iii) 以下の条件を満たす C(x) の唯一つの元 Q(x) ∈ C(x) を −1 と書く: Q(x) ̸= 1 ((ii) を参照) かつ

Q(x) · Q(x) = 1 ((ii) を参照).



この手続きによって定められた “0”, “1”, “−1” が, 皆さんの知っている “0”, “1”, “−1” と一致していることは, 補題 3.1 から直ちに従います.




−1

手続き 2 (Q(x)):

0 でない (手続き 1, (i), を参照) C(x) の元 Q(x) ∈ C(x) に対して, 以下の条件を満たす C(x) の唯一つの元 P (x) ∈ C(x) を Q(x)−1 と書く: Q(x) · P (x) = 1 (手続き 1, (ii), を参照).

−1

この手続きによって定められた “Q(x)に確認できると思います.

−1” が, 皆さんの知っている “Q(x)” と一致していることは, 簡単

平成26年度(第36回)数学入門公開講座テキスト(京都大学数理解析研究所，平成26年8月4日～8月7日開催

4 加法構造の復元の手続き

19





手続き 3 (orda ):a ∈ P1 , n ∈ Z とする. また, Q(x) ∈ C(x) を 0 でない (手続き 1, (i), を参照) C(x) の元とする.
(i) 以下の条件が成立するとき, orda (Q(x)) = 0 と書く: Q(x) ∈ Oa▷ かつ Q(x)−1 ∈ Oa▷ (手続き 2 を参照).

(ii) C(x) の部分集合 Oa× ⊆ C(x) を以下のように定める:
Oa× = { Q(x) ∈ C(x) | Q(x) ̸= 0 かつ orda (Q(x)) = 0 }def((i), 及び, 手続き 1, (i), を参照.)(iii) 以下の条件が成立するとき, orda (Q(x)) = 1 と書く: Oa▷ の任意の元は, Oa× ((ii) を参照) の元と
d

z
}|
{
Q(x) の非負の巾 (つまり, Q(x) · · · Q(x), ただし, d は非負整数) の積で表される.
(iv) 以下の条件が成立するとき, orda (Q(x)) = n と書く:
(1) n = 0 ならば, (i) のとおり.
(2) n = 1 ならば, (iii) のとおり.
(3) n ≥ 2 ならば, ある元 P (x) ∈ C(x) が存在して, orda (P (x)) = 1 ((iii) を参照) かつ
n
z
}|
{
−1
Q(x) · P (x) · · · P (x) ∈ Oa× ((ii), 及び, 手続き 2 を参照) が成立.
(4) n ≤ −1 ならば, ある元 P (x) ∈ C(x) が存在して, orda (P (x)) = 1 ((iii) を参照) かつ
−n



z
}|
{
Q(x) · P (x) · · · P (x) ∈ Oa× ((ii) を参照) が成立.

手 続 き 3, (i), に よ っ て 定 め ら れ た “orda (Q(x)) = 0” が 定 義 2.4 や 定 義 2.8, (i), で 定 義 さ れ た“orda (Q(x)) = 0” と一致していることは, Oa▷ の定義と命題 2.10, (i), から従います. 手続き 3, (ii),によって定められた “Oa× ⊆ C(x)” が定義 2.6 や定義 2.8, (ii), で定義された “Oa× ⊆ C(x)” と一致することは簡単に確認できると思います. 手続き 3, (iii), によって定められた “orda (Q(x)) = 1” が定義 2.4 や定義 2.8, (i), で定義された “orda (Q(x)) = 1” と一致していることは, 補題 3.7, (i), から従います. 手続き 3,(iv), によって定められた “orda (Q(x)) = n” が定義 2.4 や定義 2.8, (i), で定義された “orda (Q(x)) = n” と一致していることは, 命題 2.10, (i), と orda の値が 1 であるような有理式の存在 (a ̸= ∞ ならば, 例えば

x − a; a = ∞ ならば, 例えば1) から従います.
x

手続き 4 (C):C(x) の部分集合 C ⊆ C(x) を以下のように定義する:
def

C = {0} ∪

(∩

Oa×

)

⊆ C(x)

a∈P1(手続き 1, (i), 及び, 手続き 3, (ii), を参照).
平成26年度(第36回)数学入門公開講座テキスト(京都大学数理解析研究所，平成26年8月4日～8月7日開催

4 加法構造の復元の手続き

20

この手続きによって定められた “C ⊆ C(x)” が, 従来の “C ⊆ C(x)” と一致していることは, 補題 3.2 から
従います.





手続き 5 (代入):a ∈ P1 , Q(x) ∈ Oa▷ , s ∈ C ⊆ C(x) (手続き 4 を参照) に対して, 以下の 2 つの条件のいずれかが成立するとき, Q(a) = s と書く:

(1) s = 0 (手続き 1, (i), を参照) かつ orda (Q(x)) ̸= 0 (手続き 3, (i), を参照).
(2) s · Q(x)−1 ∈ Oa=1 (手続き 2 を参照).


この手続きによって定められた “Q(a) = s” が, 従来の “Q(a) = s” と一致していることは, 補題 3.7, (ii),
から従います.



手続き 6 (C の加法構造):s, t ∈ C ⊆ C(x) (手続き 4 を参照) に対して, 以下の条件を満たす C ⊆ C(x) の唯一つの元 u ∈ C を
s + t と書く:
(1) s = 0 (手続き 1, (i), を参照) ならば, u = t.
(2) t = 0 (手続き 1, (i), を参照) ならば, u = s.
(3) 0 ̸∈ {s, t} (手続き 1, (i), を参照) の場合, まず最初に, 相異なる P1 の元 a, b, c, d を固定する. 以(a,b,c)下の 2 つの条件を満たす C(x) の唯一つの元 Q(x) ∈ C(x) を Qs(x) と書く:• orda (Q(x)) = −1, ordb (Q(x)) = 1, ordz (Q(x)) = 0 (∀z ∈ P1 \ {a, b}) (手続き 3, (iv), を参照).
• Q(c) = s (手続き 5 を参照).
(a,d,c)また, 以下の 2 つの条件を満たす C(x) の唯一つの元 Q(x) ∈ C(x) を Qt(x) と書く:• orda (Q(x)) = −1, ordd (Q(x)) = 1, ordz (Q(x)) = 0 (∀z ∈ P1 \ {a, d}) (手続き 3, (iv), を参照).
• Q(c) = t (手続き 5 を参照).
(a,b,c,d)

次に, 以下の 2 つの条件を満たす C(x) の唯一つの元 Q(x) ∈ C(x) を Q(s,t)(x) と書く:• orda (Q(x)) ≥ −1, ordz (Q(x)) ≥ 0 (∀z ∈ P1 \ {a}) (手続き 3, (iv), を参照).
(a,d,c)• Q(b) = Qt

(a,b,c,d)

このとき, u = Q(s,t)(a,b,c)(b), Q(d) = Qs(d) (手続き 5 を参照).

(c) (手続き 5 を参照) が成立.



この手続きの正当性は補題 3.4 と補題 3.5 が保証して, また, この手続きで定められた “s + t” が, 皆さんの知っている “s + t” と一致していることは, 補題 3.6 から従います.

平成26年度(第36回)数学入門公開講座テキスト(京都大学数理解析研究所，平成26年8月4日～8月7日開催

参考文献

21





手続き 7 (C(x) の加法構造):

Q(x), P (x) ∈ C(x) に対して, 以下の条件を満たす C(x) の唯一つの元 R(x) ∈ C(x) を Q(x) + P (x) と書く:(1) Q(x) = (−1) · P (x) (手続き 1, (iii), を参照) ならば, R(x) = 0.
(2) Q(x) = 0 (手続き 1, (i), を参照) ならば, R(x) = P (x).
(3) P (x) = 0 (手続き 1, (i), を参照) ならば, R(x) = Q(x).
(4) Q(x) ̸= (−1) · P (x) (手続き 1, (iii), を参照) かつ 0 ̸∈ {Q(x), P (x)} (手続き 1, (i), を参照) ならば, Q(x), P (x), R(x) ∈ Oa▷ となるようなすべての a ∈ P1 に対して, Q(a) + P (a) = R(a) (手続き

5, 及び, 手続き 6 を参照) が成立.


この手続きで定められた “Q(x) + P (x)” が, 皆さんの知っている “Q(x) + P (x)” と一致していることは,
命題 2.9 の前半部分と補題 3.3 から従います.
以上のステップにより, C(x) の加法構造の復元が完了しました.

参考文献[1] Y. Hoshi, On the field-theoreticity of homomorphisms between the multiplicative groups of number
fields, to appear in Publ. Res. Inst. Math. Sci.
[2] S. Mochizuki, Topics in Absolute Anabelian Geometry III: Global Reconstruction Algorithms, RIMS
Preprint 1626 (March 2008).
[3] M. Saı̈di and A. Tamagawa, A prime-to-p version of Grothendieck’s anabelian conjecture for hyperbolic curves over finite fields of characteristic p > 0, Publ. Res. Inst. Math. Sci. 45 (2009), no. 1,
135-186.
[4] M. Saı̈di and A. Tamagawa, On the Hom-form of Grothendieck’s birational anabelian conjecture in
positive characteristic, Algebra Number Theory 5 (2011), no. 2, 131-184.
[5] A. Tamagawa, The Grothendieck conjecture for aﬃne curves, Compositio Math. 109 (1997), no. 2,
135-194.
[6] K. Uchida, Isomorphisms of Galois groups of algebraic function fields, Ann. of Math. (2) 106 (1977),
no. 3, 589-598.