高校数学議論

文献あり

ある加群上の分解とそのwell-defined

超幾何数列,数列,約分

367

こんにちは。Mark6という者です。
この記事の主題は、ある写像のwell-defined性を、あの整数論の大定理を援用して示すことです。

どうやら子葉さんの記事を読む限り、超幾何数列の話に関係がありそうなんですが、怖すぎて先行研究を調べないまま公開します。ごめんなさい。

経緯とモチベ

最近下のような式を大量にいじくり回す機会がありました。

恒等式

整数 $n \geq 2$ について下の式が成り立つ。
$\sum_{k = 1}^{n} \frac{(- 1)^{k} (3 k - 2) (2 k - 2)! (2 n + k - 3)!}{k! (k - 1)! (n + 2 k - 2)! (n - k)!} = 0$

証明は読者に任せます(言ってみたかった)。
この記事では別のことについて書きたいと思います。

上の式のシグマの中の式から $(- 1)^{k}$ を取り払い、 $(3 k - 2)$ を $(3 k - 2)! / (3 k - 3)!$ と書き直すと
$\frac{(3 k - 2)! (2 k - 2)! (2 n + k - 3)!}{k! (k - 1)! (3 k - 3)! (n + 2 k - 2)! (n - k)!}$
となります。分母分子が複数の $(a n + b k + c)!$ の積で書けました。

上のような式の簡略化として、下の式について考えてみます。

$6 (n + 1) (2 n + 1)! (3 n + 2)!$

この式の表示には、ある種の冗長性があります。

$\begin{aligned} 6 (n + 1) (2 n + 1)! (3 n + 2)! \\ = 3 (2 n + 2)! (3 n + 2)! \\ = 2 (2 n + 1)! (3 n + 3)! \end{aligned}$

表示方法が複数あること自体は受け入れるとしても、その構造についてもう少し理解したくなりました。
この記事ではこの問いを、環上の加群のあたりの言葉を使って定式化したのち、うまい写像を構成してこの「表示揺れ」のひとつの支点の姿を明らかにします。

予防線

最低限数学的な間違いは無いよう気をつけていますが、この記事の内容は、独りよがりなモチベから始まり、ただ楽しい方向に進んだだけの、数学という学問からすればおそらく邪道も甚だしいであろう議論です。
あとこの記事は、環上の加群についてpdf１枚とWikipediaしか調べていないという、基礎カスの記事です。

定式化の概観

① まず考える対象とする式、つまり
$f (n, k) = \prod_{i = 1}^{N} [(a_{i} n + b_{i} k + c_{i})!]^{\pm e_{i}}$
のように書ける $f (n, k)$ のことを「ユニット」と呼ぶことにします。
このユニットは、通常の意味での積を演算として、群を成します。

② 「ユニットの表示方法」を考える上でユニットそのものを使うことはできません。例えば
$\frac{(2 n)! k!}{(2 n - 1)! (k - 1)!} = \frac{n! (2 k)!}{(n - 1)! (2 k - 1)!}$
は、 $n, k$ の関数としては全く同じなので、ユニットとして扱っている限りは区別することができません。

ユニットの表示方法を考える上では、これらを区別し、それぞれの表示を構成する $(2 n)!$ などを分離して扱うことができるような枠組みが必要です。

③ この記事ではその枠組みとして「骨格」と呼ぶ対象を導入します。
ユニット
$\prod_{i = 1}^{N} [(a_{i} n + b_{i} k + c_{i})!]^{e_{i}}$
に対応して
$\sum_{i = 1}^{N} e_{i} (a_{i}, b_{i}, c_{i})$
という形式和のことを骨格と呼びます。骨格には自由加群としての構造が入り、これはある準同型写像を通してユニットの積と対応します。

④ ユニットや骨格に同値関係「合同」を導入します。この同値類が直感的な「表記揺れ」の範囲になっています。
そして「同値類それぞれに代表元を定めたい」として問いを定式化します。
つまり、「ユニット $f, g$ が合同なら $Φ (f) = Φ (g)$ 」となるような写像 $Φ$ を探します。
表記揺れ全体をひとつの元にまで潰し込むこの写像 $Φ$ が、この記事の目標です。

問いの定式化

初心者なので下の定義は非常に読みにくいです。許してください。良い書き方を教えてください。

良い組

下の２条件を満たす整数３つの順序組 $(a, b, c)$ を「良い組」と呼ぶ。

$a \neq 0$ または $b \neq 0$
$n \geq k \geq 1$ を満たす任意の整数 $n, k$ に対して $a n + b k + c \geq 0$

良い組の集合を $Y$ とする。

Yoikumiなので $Y$ です(カス)。

良い組

$(1, 2, 3)$ や $(2, 0, - 1)$ は良い組です。
$(3, - 2, - 2)$ は、 $3 n - 2 k - 2$ に $(n, k) = (1, 1)$ を代入すると値が $- 1$ になることから２つ目の条件を満たさないため、良い組ではありません。

骨格

$Y$ を基底とする自由 $Z$ 加群を $K$ とし、 $K$ の元を骨格と呼ぶ。

つまり、非ゼロ整数の有限列 ${e_{i}}_{i = 1}^{N}$ と良い組の有限列 ${(a_{i}, b_{i}, c_{i})}_{i = 1}^{N}$ を用いた
$\sum_{i = 1}^{N} e_{i} (a_{i}, b_{i}, c_{i})$
という形式和全体と単位元 $0$ を合わせ、この集合に加法で群としての構造を入れ、これを $K$ と呼ぶ。

Kokkakuなので $K$ です(カス)。
$F = \sum_{i = 1}^{N} e_{i} (a_{i}, b_{i}, c_{i})$ という書き方をする場合、暗黙に $e_{i} \neq 0$ が満たされているものとします。

骨格

$F = 2 (1, 2, 3) - 1 (2, 0, - 1)$
は骨格です。これに骨格
$G = 3 (1, 2, 3) + 2 (0, 1, 0)$
を足す演算をすると骨格 $F + G = 5 (1, 2, 3) - 1 (2, 0, - 1) + 2 (0, 1, 0)$
が得られます。
$\pm 1 (\dots)$ は $\pm (\dots)$ と略記するかもしれません。

ユニット、セル

$K$ を定義域とする写像 $Ω$ を
$Ω (0) = 1$
$Ω : \sum_{i = 1}^{N} e_{i} (a_{i}, b_{i}, c_{i}) \mapsto \prod_{i = 1}^{N} {[(a_{i} n + b_{i} k + c_{i})!]}^{e_{i}}$
で定める。
$K$ の $Ω$ による像を $U$ と書き、 $U$ の元を「ユニット」と呼ぶ。
特に $[(a n + b k + c)!]^{e}$ と表されうるユニットを「セル」と呼ぶ。

Unitなので $U$ です。

つまり…？

$f = \prod_{i = 1}^{N} {[(a_{i} n + b_{i} k + c_{i})!]}^{e_{i}}$ と表されうる、 $n, k$ (定義域は $n \geq k \geq 1$ )の２変数関数 $f$ を「ユニット」と呼びます。
特に $N = 1$ で書ける場合をセルと呼びます。

良い組をギリシャ小文字 $α, β$ など、骨格を英大文字 $F, G$ など、ユニットを英小文字 $f, g$ などで表します。また、ユニットの $n, k$ に対する代入操作を考える場合は $f (n, k)$ などと明示的に書きます。

ユニットと骨格の合同

ユニット $f$ と $g$ が下の条件を満たすとき、 $f$ と $g$ は合同であるといい、 $f \equiv g$ と書く。

ある正整数 $m, n$ が存在して、 $m \cdot f = n \cdot g$

骨格 $F$ と $G$ が下の条件を満たすとき、 $F$ と $G$ は合同であるといい、 $F \equiv G$ と書く。

$Ω (F) \equiv Ω (G)$

要するに定数倍を無視するという話です。

例

例えば、先に示したように
$3 \cdot (2 n + 2)! (3 n + 2)! = 2 \cdot (2 n + 1)! (3 n + 3)!$
であることから、ユニットとしては
$(2 n + 2)! (3 n + 2)! \equiv (2 n + 1)! (3 n + 3)!$
であり、骨格としては
$(2, 0, 2) + (3, 0, 2) \equiv (2, 0, 1) + (3, 0, 3)$
です。

この意味での $\equiv$ は反射律、対称律、推移律を満たすことが簡単に分かります。つまり同値関係です。

問いを立てます。

ユニットの分解

写像 $Φ : U \to K$ であって、任意のユニット $f, g$ に対して

$f \equiv Ω (Φ (f)), g \equiv Ω (Φ (g))$
$f \equiv g \Leftrightarrow Φ (f) = Φ (g)$

を満たすものを探そう。

上の要請を満たす写像 $Φ$ を「分解写像」と呼ぶことにしましょう。

要するに、「 $K$ を” $\equiv$ ”で割った同値類の代表元を定める」ことであり、「合同なユニットを判定する方法を見つける」ことです。

ユニットの骨格とユニットを厳しく区別する必要があったために、定義が複雑になってしまいました。

基本的な性質の整理

$Φ$ の構成を与える前にできる議論は一通り終わらせてしまいます。

(1) $Y$ の整理

下の同値性が成り立ちます。

良い組の条件

$(a, b, c)$ が良い組であることは、下の４条件と同値である。

$a \neq 0$ または $b \neq 0$
$a \geq 0$
$a + b \geq 0$
$a + b + c \geq 0$

良い組の条件

良い組ならば、 $N$ を十分に大きな整数として、
2. $(N, 1)$
3. $(N, N)$
4. $(1, 1)$
を $(n, k)$ に代入しながら $a n + b k + c \geq 0$ となる条件を見ることで、2,3,4それぞれの条件の必要性が分かります。
また
$a n + b k + c = a (n - k) + (a + b) (k - 1) + (a + b + c)$
と書けば十分性も分かります。

(2) $U$ の整理

ユニットの集合 $U$ は、通常の意味での積を演算として可換群を成します。
ユニット同士の積は記号を省略して $f g$ などと書きます。

(3) $Ω$ の整理

ユニットの定義の式
$f = \prod_{i = 1}^{N} {[(a_{i} n + b_{i} k + c_{i})!]}^{e_{i}}$
は正の有理数 $r \neq 1$ の素因数分解
$r = \prod_{i = 1}^{N} p_{i}^{e_{i}}$
と形が同じです。
しかし、有理数の素因数分解は一意なのに対して、ユニットをセルの積に分解する方法は一般には一意ではないという相違点があります。

例

$\begin{aligned} 2 n k & = (2 n) k = [(2 n)!]^{1} [(2 n - 1)!]^{- 1} [k!]^{1} [(k - 1)!]^{- 1} \\ = n (2 k) = [n!]^{1} [(n - 1)!]^{- 1} [(2 k)!]^{1} [(2 k - 1)!]^{- 1} \end{aligned}$
（つまり頭の2を $n$ と $k$ のどちらに分配するのかによって変わってしまう）などが例となります。

つまり、 $Ω$ は単射ではありません。複数の骨格が同一のユニットに対応する可能性があります。

$Ω$ について重要なのは、これが骨格からユニットへの全射な準同型であるという点です。

準同型写像

Ω

任意の骨格 $F, G$ について
$Ω (F + G) = Ω (F) Ω (G)$

(4)合同 $\equiv$ の整理

ユニットの合同に関して下の性質が成り立ちます。 $\equiv$ の定義と上の定理より自明です。

\equiv

の扱い

ユニット $f, g$ が $f \equiv g$ を満たすとき、任意のユニット $h$ に対して
$f h \equiv g h$
が成立する。
骨格 $F, G$ が $F \equiv G$ を満たすとき、任意の骨格 $H$ に対して
$F + H \equiv G + H$
が成立する。

(5) $Φ$ の整理

分解写像 $Φ$ の要請を再掲します。

分解写像の要請

写像 $Φ : U \to K$ であって、任意のユニット $f, g$ に対して

$f \equiv Ω (Φ (f)), g \equiv Ω (Φ (g))$
$f \equiv g \Leftrightarrow Φ (f) = Φ (g)$

を満たすものを分解写像と呼ぶ。

分解写像の判定法

分解写像の要請1を満たす写像 $P : U \to K$ について、下の２命題は同値である。

$P$ は分解写像の要請2を満たす
任意の骨格 $F, G \in Im P$ に対して、 $F \equiv G$ ならば $F = G$

分解写像の判定法

長いので畳む

((1)→(2))まず $P$ が分解写像の要請1,2を満たすとする。
$F \equiv G$ を満たす任意の骨格 $F, G \in Im P$ に対し、 $Im$ の定義より
$P (f) = F, P (g) = G$
を満たすユニット $f, g$ が存在する。
分解写像の要請の1つめより
ア $f \equiv Ω (F)$
イ $g \equiv Ω (G)$
だが、 $F \equiv G$ であったことを思い出し、さらに骨格の合同の定義は
ウ $Ω (F) \equiv Ω (G)$
であったことを思い出せば、アイウと合同の推移律より $f \equiv g$ である。
分解写像の２つ目の要請より $P (f) = P (g)$ つまり $F = G$ である。

((2)→(1))次に、任意の骨格 $F, G \in Im P$ に対して、「 $F \equiv G$ ならば $F = G$ 」が成立しているとする。
I. $f \equiv g \to P (f) = P (g)$ を示す。
$f \equiv g$ とする。 $P$ は分解写像の要請1を満たすから
$f \equiv Ω (P (f))$
$g \equiv Ω (P (g))$
である。推移律より $Ω (P (f)) \equiv Ω (P (g))$ であり、これは骨格の合同の定義より $P (f) \equiv P (g)$ を意味する。仮定より $P (f) = P (g)$ となる。
II. $P (f) = P (g) \to f \equiv g$ を示す。
$P (f) = P (g)$ とする。両辺に $Ω$ を作用させ $Ω (P (f)) = Ω (P (g))$ である。 $P$ は分解写像の要請1を満たすから再び
$f \equiv Ω (P (f))$
$g \equiv Ω (P (g))$
であり、推移律より $f \equiv g$ が言えた。

よって $P$ が分解写像の要請2を満たすことが確認できた。

この「分解写像の判定法」が今回のメインウェポンです。

$Φ$ の準備

非ゼロ基底

骨格 $F \neq 0$ が
$F = \sum_{i = 1}^{N} e_{i} (a_{i}, b_{i}, c_{i})$
と書かれるとする。

「良い組 $(a, b, c)$ は $F$ の非ゼロ基底である」とは、 $(a, b, c) = (a_{i}, b_{i}, c_{i})$ となる $i$ が存在することを言う。骨格 $0$ には非ゼロ基底は存在しないとする。
$F$ の非ゼロ基底の集合を $Y (F)$ と書く。 $Y (F)$ は有限集合であり、 $Y (F) \subset Y$ である。

成分

骨格 $F \neq 0$ が
$F = \sum_{i = 1}^{N} e_{i} (a_{i}, b_{i}, c_{i})$
と書かれるとする。

良い組 $(a, b, c)$ に対して「 $F$ の $(a, b, c)$ 成分」とは、

$(a, b, c) = (a_{i}, b_{i}, c_{i})$ となる $i$ が存在すれば $e_{i}$
そうでなければ $0$

を指す。

良い組の既約

良い組 $(a, b, c)$ が以下の条件を満たすとき、 $(a, b, c)$ は既約であるという。

$a + b + c = 0$ または $gcd (a, b, c) = 1$

ただし $gcd (a, b, c)$ は $a, b, c$ の最大公約数です。

詳しく $Φ$ の構成を述べる前に、次の章で構成する $Φ$ がどのように働くかを見てみましょう。ユニット $(6 n + 3)!$ の分解は以下のように進みます。

$\begin{aligned} (6 n + 3)! & = (6 n + 3) \cdot (6 n + 2)! \\ = 3 (2 n + 1) \cdot (6 n + 2)! \\ \equiv (2 n + 1) \cdot (6 n + 2)! \\ = \frac{(2 n + 1)!}{(2 n)!} \cdot (6 n + 2)! \\ = \frac{1}{2 n} \cdot \frac{(2 n + 1)!}{(2 n - 1)!} \cdot (6 n + 2)! \\ \equiv \frac{1}{n} \cdot \frac{(2 n + 1)!}{(2 n - 1)!} \cdot (6 n + 2)! \\ = \frac{(n - 1)!}{n!} \cdot \frac{(2 n + 1)!}{(2 n - 1)!} \cdot (6 n + 2)! \\ = \frac{(n - 1)!}{n!} \cdot \frac{(2 n + 1)!}{(2 n - 1)!} \cdot (6 n + 2) \cdot (6 n + 1)! \\ = \frac{(n - 1)!}{n!} \cdot \frac{(2 n + 1)!}{(2 n - 1)!} \cdot 2 (3 n + 1) \cdot (6 n + 1)! \\ \equiv \frac{(n - 1)!}{n!} \cdot \frac{(2 n + 1)!}{(2 n - 1)!} \cdot (3 n + 1) \cdot (6 n + 1)! \\ = \frac{(n - 1)!}{n!} \cdot \frac{(2 n + 1)!}{(2 n - 1)!} \cdot \frac{(3 n + 1)!}{(3 n)!} \cdot (6 n + 1)! \\ = \frac{(n - 1)!}{n!} \cdot \frac{(2 n + 1)!}{(2 n - 1)!} \cdot \frac{1}{3 n} \cdot \frac{(3 n + 1)!}{(3 n - 1)!} \cdot (6 n + 1)! \\ \equiv \frac{(n - 1)!}{n!} \cdot \frac{(2 n + 1)!}{(2 n - 1)!} \cdot \frac{1}{n} \cdot \frac{(3 n + 1)!}{(3 n - 1)!} \cdot (6 n + 1)! \\ = \frac{(n - 1)!}{n!} \cdot \frac{(2 n + 1)!}{(2 n - 1)!} \cdot \frac{(n - 1)!}{n!} \cdot \frac{(3 n + 1)!}{(3 n - 1)!} \cdot (6 n + 1)! \\ = \frac{(6 n + 1)! (3 n + 1)! (2 n + 1)! [(n - 1)!]^{2}}{(3 n - 1)! (2 n - 1)! [n!]^{2}} \end{aligned}$

最終的に全てのセルの骨格が既約になるように、
$\begin{aligned} (g a n + g b k + g c)! \\ \equiv \frac{(a n + b k + c)!}{(a n + b k + c - 1)!} (g a n + g b k + g c - 1)! \end{aligned}$
を根拠とした変形を繰り返して手続きが進んでいきます。

$Φ$ の構成

分解手続き

Φ

ユニット $f$ に対して、骨格 $Φ (f)$ を下の手続きを実行した出力として定義する。
(説明が分かりにくい場合、こちら(wandbox) をご参照ください。処理2以降と大体同じことをC++で実行するプログラムです。)

$Ω (F) = f$ を満たす骨格 $F$ をひとつ取る。
$F = 0$ の場合は $0$ を出力して終了する。
$F$ の非ゼロ基底が全て既約ならば $F$ を出力して終了する。
$F$ の非ゼロ基底のうち既約でないものをひとつ選び $α = (g a, g b, g c)$ とする( $g \geq 2, gcd (a, b, c) = 1$ )。 $F$ の $α$ 成分を $e$ とする。
上の $α = (g a, g b, g c)$ を用いて
$α_{1}^{'} : = (g a, g b, g c - 1)$
$α_{2}^{'} : = (a, b, c)$
$α_{3}^{'} : = (a, b, c - 1)$
と定める。 $F$ を
$F \leftarrow F - e α + e α_{1}^{'} + e α_{2}^{'} - e α_{3}^{'}$
と更新する。
2へ戻る。

諸々の正当性の確認をしましょう。

処理4の $α_{1}^{'}, α_{2}^{'}, α_{3}^{'}$ が良い組である保証
手続きの停止性の保証
出力の一意性の保証

1.の証明は容易なので省略します。
2.を示す必要があるのは明らかでしょう。処理2~5のループを抜けられる保証が必要です。
3.については、手続き内に「骨格をひとつ取る」「非ゼロ基底のうち既約でないものをひとつ取る」という自由度が存在することによります。選び方によらず出力がひとつに定まることを言わなければなりません。その一意性を示すのがこの記事の主題です。

手続き

Φ

の停止性

良い組 $β = (a, b, c)$ に対して
$sum (β) = a + b + c$
として $sum$ を定義する。
少し計算すれば、処理4の $α, α_{1}^{'}, α_{2}^{'}, α_{3}^{'}$ について
$sum (α) - 1 \geq sum (α_{1}^{'}), sum (α_{2}^{'}), sum (α_{3}^{'}) \geq 0$
となっていることが分かる。 $F$ の更新後に $F$ の $α$ 成分が $0$ になること、 $sum$ に下限 $0$ が存在することを踏まえると、操作は有限回で停止する。

とりあえず、 $Φ$ にユニットを突っ込むと、(途中の選び方によって違う結果になるかもしれないとはいえ)なんらかの骨格が出力されるということは、最低限保証できました。

下は割と重要な主張です。

出力の性質

ユニット $f$ を $Φ$ に通した出力として骨格 $F$ が得られたとする。この時 $Ω (F) \equiv f$

出力の性質

処理4において、
$\begin{aligned} Ω (F - e α + e α_{1}^{'} + e α_{2}^{'} - e α_{3}^{'}) \\ = Ω (F) \frac{Ω (e α_{1}^{'}) Ω (e α_{2}^{'})}{Ω (e α) Ω (e α_{3}^{'})} \\ = Ω (F) \frac{[(g a n + g b k + g c - 1)!]^{e} [(a n + b k + c)!]^{e}}{[(g a n + g b k + g c)!]^{e} [(a n + b k + c - 1)!]^{e}} \\ = Ω (F) \frac{1}{g^{e}} \\ \equiv Ω (F) \end{aligned}$
より、各更新ごとに更新前の骨格と更新後の骨格は合同であり、はじめ $Ω (F) = f$ だったことと合わせれば分かる。

$Φ$ の出力の一意性保証

(1) $K_{P F}$ について

定義

集合

K_{P F}

集合 $K_{P F} \subset K$ を下のように定義する。ただし $0 \in K_{P F}$ であるとする。
$K_{P F} = {\sum_{i = 1}^{N} e_{i} (a_{i}, b_{i}, c_{i}) \in K | (a_{i}, b_{i}, c_{i}) は全て既約}$
$K_{P F}$ の元を既約骨格と呼ぶ。

つまり「非ゼロ基底が全て既約な骨格」を既約骨格と呼びます。

$K_{P F}$ の $_{P F}$ は $Prime Factorization$ です。
既約な良い組と素数には類似性があり、 $K_{P F}$ の元(既約骨格)はある意味で素因数分解されたような形になっています。

$K_{P F}$ の対外的な立ち位置

実は「 $Φ$ からの出力としてありうる骨格全ての集合」は $K_{P F}$ と等しいことが言えます。

演習:なぜ？

出力としてありうる骨格全ての集合を $A$ とおく。まず $Φ$ の出力として得られる骨格に属する良い組は必ず既約になっているから $A \subset K_{P F}$ が成立する。
次に $K_{P F}$ に属する骨格 $F$ を取ってくる。 $Ω (F)$ を $Φ$ に突っ込み、処理1で骨格として $F$ を選べば、処理2ですぐに $F$ そのものが出力される。つまり $A \supset K_{P F}$ も成立し、結局 $A = K_{P F}$ である。

$K_{P F}$ 自体の構造

$K_{P F}$ は $K$ の部分加群になります。確認は容易です。

(2)問題の整理

メインウェポン「分解写像の判定法」について、「考えている手続きがそもそも写像と言えるかどうかすら分からない」という現状に合わせて議論しなおします。

結局の問題

任意の $F, G \in K_{P F}$ に対し、 $F \equiv G \to F = G$

命題7の重要性

命題7が成立するならば、 $Φ$ は分解写像である。

命題7の重要性

ユニット $f$ を $Φ$ に通した結果、手続き途中の選び方を変えたことで異なる $F, G$ の2種類の骨格が出力されたとする。出力の性質より $f \equiv Ω (F) \equiv Ω (G)$ であり、これは定義通り $F \equiv G$ を意味する。命題7の仮定より $F = G$ となる。

出力の一意性が保証されたので $Φ (f)$ という書き方ができる。これを使って出力の性質を書き直すと $f \equiv Ω (Φ (f))$ であり、これは分解写像の要請1そのものである。
以上と「分解写像の判定法」より $Φ$ は分解写像となる。

以上より、既約骨格 $K_{P F}$ に関する命題である命題7さえ証明できれば良いことが分かります。問題を手続き $Φ$ から分離できました。

(3)議論する対象の拡張

さて、命題7の証明は、 $Φ$ による分解よりもう一度「深い」分解 $Φ^{'}$ を考えることで行います。 $Φ$ による分解を整数の素因数分解に例えるなら、 $Φ^{'}$ による分解はガウス整数環での素因数分解に例えられます。

この分解はユニットを関数として見た時の $n, k$ の定義域を犠牲にします。この辺りは厳密に述べようとするとほとんど繰り返しになってしまうので概略のみ示します。これは論文ではないので…

悪くない組

下の４条件を満たす整数３つの順序組 $(a, b, c)$ を「悪くない組」と呼ぶ。

$a \neq 0$ または $b \neq 0$
$a \geq 0$
$a + b \geq 0$
$a + b + c \geq - 1$

悪くない組の集合を $Y^{'}$ とする。

「良い組」の条件を緩めたものになっており、 $Y \subset Y^{'}$ が成立します。

悪くない組の性質

$(a, b, c)$ が悪くない組であるとき、下の性質が成り立つ。

$n - 1 \geq k \geq 2$ ならば $a n + b k + c \geq 0$

$a = 0$ のとき、 $b \geq 1, b + c \geq - 1$ なので、
$a n + b k + c = b (k - 2) + b + (b + c)$
と書けば分かる。
$a \geq 1$ のとき、
$a n + b k + c = a (n - 1 - k) + (a + b) (k - 1) + a + (a + b + c)$
と書けば分かる。

これに伴い、悪くない組を組み込んだ骨格を定義します。

擬骨格、擬ユニット、擬セル

$Y^{'}$ を基底とする自由 $Z$ 加群を $K^{'}$ と書き、 $K^{'}$ の元を擬骨格と呼ぶ。

$Ω$ の定義域を擬骨格まで自然に広げ、 $K^{'}$ の $Ω$ による像を $U^{'}$ と書き、 $U^{'}$ の元を擬ユニットと呼ぶ。

悪くない組 $(a, b, c)$ と整数 $e \neq 0$ により
$α = [(a n + b k + c)!]^{e}$
と表されうる擬ユニット $α$ を特に擬セルと呼ぶ。

$(2 n + 3 k - 1)!$ はセルですが、擬セルでもあります。 $(2 n + 3 k - 6)!$ はセルではありませんが、擬セルです( $2 + 3 + (- 6) = - 1$ だから)。
一般に
(概念) $\subset$ 擬(概念)
(集合) $\subset$ (集合)’
となっています。
これに伴い、骨格の合同の定義を擬骨格・擬ユニットまで自然に広げておきます。

悪くない組の完全既約

悪くない組 $α = (a, b, c)$ が以下の条件を満たすとき、 $α$ は完全既約であるという。

$gcd (a, b, c) = 1$

特に、 $a + b + c = - 1$ のとき必ず $gcd (a, b, c) = 1$ となるため、「よい組でない悪くない組」は必ず完全既約です。

集合

K_{P F}^{'}

集合 $K_{P F}^{'} \subset K^{'}$ を下のように定義する。ただし $0 \in K_{P F}^{'}$ であるとする。
$K_{P F}^{'} = {\sum_{i = 1}^{N} e_{i} (a_{i}, b_{i}, c_{i}) \in K^{'} | (a_{i}, b_{i}, c_{i}) は全て完全既約}$
$K_{P F}^{'}$ の元を完全既約擬骨格と呼ぶ。

下のような包含関係が成り立ちます。

包含関係

整数としては素数だがより大きなガウス整数のなかでは素数として振る舞わないものがあること、及び通常の意味での素数ではないがガウス素数であるものが存在すること、によく似ています。

記号は適当に察して

考える対象をユニットから擬ユニットにまで広げ、それに伴い既約と呼ぶ条件を厳しくして( $a + b + c = 0$ を削除して)います。

(4) $K_{P F}, K_{P F}^{'}$ の構造

$K_{P F} \cup K_{P F}^{'}$ から生成される加群を $⟨ K_{P F} \cup K_{P F}^{'} ⟩$ と書くことにします。
これは以下のように４つの部分加群の直和に分解することができます。

⟨ K_{P F} \cup K_{P F}^{'} ⟩

の直和分解

$⟨ K_{P F} \cup K_{P F}^{'} ⟩ = K_{1}^{'} \oplus K_{2}^{'} \oplus K_{3}^{'} \oplus K_{4}^{'}$
ただし
$K_{1}^{'} : = {F \in K_{P F} | \begin{aligned} \forall (a, b, c) \in Y (F) : \\ gcd (a, b, c) \geq 2 \land a + b + c = 0 \end{aligned}} \cup {0}$
$K_{2}^{'} : = {F \in K_{P F} | \begin{aligned} \forall (a, b, c) \in Y (F) : \\ gcd (a, b, c) = 1 \land a + b + c \geq 0 \end{aligned}} \cup {0}$
$K_{3}^{'} : = {F \in K_{P F}^{'} | \begin{aligned} \forall (a, b, c) \in Y (F) : \\ gcd (a, b) \geq 2 \land a + b + c = - 1 \end{aligned}} \cup {0}$
$K_{4}^{'} : = {F \in K_{P F}^{'} | \begin{aligned} \forall (a, b, c) \in Y (F) : \\ gcd (a, b) = 1 \land a + b + c = - 1 \end{aligned}} \cup {0}$

既約な良い組が $K_{1}^{'}, K_{2}^{'}$ の、完全既約な悪くない組が $K_{3}^{'}, K_{4}^{'}$ の2行目の条件のうちいずれか１つのみを満たすことから明らかだと思います。

(5) $Φ^{'}$ の構成

$Φ^{'}$ の定義域は $K_{P F}$ です。 $Φ$ がユニットから既約骨格への写像だったのに対し、 $Φ^{'}$ は既約骨格から完全既約擬骨格への写像です。

完全分解手続き

Φ^{'}

既約骨格 $F \in K_{P F}$ に対して、 $Φ^{'} (F)$ を下の手続きを実行した出力として定義する。

$F = F_{1} + F_{2} + F_{3} + F_{4}$ と分割する。ただし前の章の直和分解を用いて $F_{i} \in K_{i}^{'}$ となるように取る。よってはじめ $F_{3} = F_{4} = 0$ である。
$F_{1} = 0$ ならば $F_{2} + F_{3} + F_{4}$ を出力して終了する。
$F_{1}$ の非ゼロ基底をひとつ選び、 $(g a, g b, - g a - g b)$ とする( $g \geq 2, gcd (a, b) = 1$ )。 $F_{1}$ の $(g a, g b, - g a - g b)$ 成分を $e$ とする。
上の $(g a, g b, - g a - g b)$ を用いて
$F_{1} \leftarrow F_{1} - e (g a, g b, - g a - g b)$
$F_{2} \leftarrow F_{2} + e (a, b, - a - b)$
$F_{3} \leftarrow F_{3} + e (g a, g b, - g a - g b - 1)$
$F_{4} \leftarrow F_{4} - e (a, b, - a - b - 1)$
と更新する。この更新前後で $F_{i} \in K_{i}^{'}$ という性質は保たれる。
処理2に戻る。

停止保証はいいでしょう(ループごとに $F_{1}$ の非ゼロ基底がひとつずつ減る)。
出力の一意性については、 $Φ$ と異なり $Φ^{'}$ は引数として明示的に骨格を取る点、 $F_{1}$ に新たな非ゼロ基底が生まれることがない点、加法に結合法則が成り立つ点より、「 $F_{1}$ の非ゼロ基底全てに対して一気に一度だけ操作を行う」としても良いので大丈夫でしょう。

$Φ^{'}$ には下の重要な性質があります。

Φ^{'}

の性質1

$F \in K_{P F}$ について、 $F \neq 0$ ならば $Φ^{'} (F) \neq 0$
(ほぼ同じことだが) $Ker Φ^{'} = {0}$

これの証明のため補題を１つ用意します。

F_{3}

を用意した意味

処理4の更新により、 $F_{3}$ の非ゼロ基底数は必ず $1$ 増える。

F_{3}

を用意した意味

長いので畳む

あるループにおいて、処理3で $F_{1}$ の非ゼロ基底として $(g a, g b, - g a - g b)$ が選ばれ、処理4で
$F_{3} \leftarrow F_{3} + e (g a, g b, - g a - g b - 1)$
という更新が行われたとする。この更新前の $F_{3}$ の $(g a, g b, - g a - g b - 1)$ 成分が $0$ であることを示せば良い。
更新前の $F_{3}$ の $(g a, g b, - g a - g b - 1)$ 成分が $0$ でなかったと仮定する。手続き $Φ^{'}$ 開始時には $F_{3} = 0$ であったから、どこかのループの処理3で $F_{1}$ から $F_{1}$ の非ゼロ基底として $(g a, g b, - g a - g b)$ が選ばれたことになるが、そのループの処理4での更新後に $F_{1}$ の $(g a, g b, - g a - g b)$ 成分は $0$ になったはずであり、今回 $(g a, g b, - g a - g b)$ が $F_{1}$ の非ゼロ基底として選ばれたことと矛盾する。

補題を用いて証明します。

Ker Φ^{'} = {0}

$Φ^{'} (0) = 0$ はよい。
骨格 $F \neq 0$ に $Φ^{'}$ を適用する。処理1の終了時点で $F_{1}$ と $F_{2}$ のいずれかは $0$ でない。
$F_{1}$ が $0$ である場合、処理2で即座に $F_{2}$ が出力され、このとき $F_{2}$ は $0$ でないままなので良い。
$F_{1}$ が $0$ でない場合は処理4が少なくとも $1$ 回行われ、上の補題より出力時の $F_{3}$ の非ゼロ基底数は $1$ 以上である。
よってどちらの場合でも $F_{1} + F_{2} + F_{3}$ は $0$ ではない。

標語的には、「 $Φ$ によって $0$ まで潰れないなら、 $Φ^{'}$ によっても $0$ まで潰れない」と言えるでしょう。

また下も成立します。証明は $Φ$ の時と全く同様なので省略します。

Φ^{'}

の性質2

$F \in K_{P F}$ に対して、 $F \equiv Φ^{'} (F)$

$(2 n - 2)!$ (既約なセル)を、完全既約な擬セルの積に分解してみます。 $Φ$ ではこれ以上分解されませんが、 $Φ^{'}$ はさらに分解します。

$\begin{aligned} (2 n - 2)! & = (2 n - 2) \cdot (2 n - 3)! \\ = 2 (n - 1) \cdot (2 n - 3)! \\ \equiv (n - 1) \cdot (2 n - 3)! \\ = \frac{(n - 1)!}{(n - 2)!} \cdot (2 n - 3)! \\ = \frac{(2 n - 3)! (n - 1)!}{(n - 2)!} \end{aligned}$

$Φ^{'}$ による分解により、 $n = 1$ を代入できなくなっています。これが「ユニットの定義域を犠牲にする」の意味です。

実は $Φ^{'}$ は単射な準同型であり、 $K_{P F} ≅ Im Φ^{'}$ が成立するのですが、この事実は使わないので詳しくは述べません。

(6)命題7の証明

ディリクレの算術級数定理

互いに素な正整数の組 $a, b$ に対し、 $a n + b$ ( $n$ は正整数)の形で書ける素数は無限に存在する。

ここから牛刀の極み（ディリクレの算術級数定理）をやりすぎなほど用いて、鶏（命題7）を割いて（証明して）いきます。

まず補題を示します。

本質部分

$N \geq 2$ とする。完全既約擬骨格 $F$ が
$F = \sum_{i = 1}^{N} e_{i} (a_{i}, b_{i}, c_{i})$
と書かれているとする。ただし、非ゼロ基底を並び替えることで、任意の $2 \leq i \leq N$ に対して

$a_{1} > a_{i}$
$a_{1} = a_{i}$ かつ $b_{1} > b_{i}$
$a_{1} = a_{i}$ かつ $b_{1} = b_{i}$ かつ $c_{1} > c_{i}$

のいずれかが成立するようにしておく。
この時、以下の条件を満たす素数 $p$ は無限に存在する。

ある整数 $n, k$ が存在し、下の2条件を満たす。
1. 任意の $2 \leq i \leq N$ に対し $a_{1} n + b_{1} k + c_{1} > a_{i} n + b_{i} k + c_{i} \geq 0$
2. $p = a_{1} n + b_{1} k + c_{1}$

割と本質情報を沢山使うのでここが証明の本体です。

補題17

まず $i$ ごとに $(a_{1} - a_{i}) n + (b_{1} - b_{i}) k + (c_{1} - c_{i}) > 0$ が成立する $n, k$ の集合がどのようであるかを示し、それらの共通部分を取る。
① $a_{1} = a_{i}$ かつ $b_{1} = b_{i}$ のとき
$c_{1} > c_{i}$ が成立する。よって任意の $n, k$ で成立する。
② $a_{1} = a_{i}$ かつ $b_{1} > b_{i}$ のとき
$k > - \frac{c_{1} - c_{i}}{b_{1} - b_{i}}$ で成立する。 $n$ は任意。
③ $a_{1} > a_{i}$ のとき
任意の $k$ に対し、 $n > - \frac{(b_{1} - b_{i}) k + (c_{1} - c_{i})}{a_{1} - a_{i}}$ で成立する。

②のパターンの $i$ 全てにわたって $k$ の下限値 $- \frac{c_{1} - c_{i}}{b_{1} - b_{i}}$ を計算し、これの最大値と $1$ のうち大きい方に $1$ を足したものを $k_{min}$ とする。ただし②のパターンの $i$ が存在しない場合、 $k_{min} = 2$ とする。
さらに、 $k$ を決めた上で③のパターンの $i$ 全てにわたって $n$ の下限値 $- \frac{(b_{1} - b_{i}) k + (c_{1} - c_{i})}{a_{1} - a_{i}}$ を計算し、これの最大値と $k$ のうち大きい方に $1$ を足したものを $n_{min} (k)$ とする。ただし③のパターンの $i$ が存在しない場合、 $n_{min} (k) = k + 1$ とする。
$k \geq k_{min}$ を満たす任意の $k$ に対して、 $n \geq n_{min} (k)$ を満たす $n$ で(1)の条件が満たされることがわかった。
この範囲の $n, k$ によって $a_{1} n + b_{1} k + c_{1}$ と書ける素数が無限にあることを示せば良い。

$a_{1} = 0$ の場合、 $b_{1} \geq 1$ であり、かつ $F$ が完全既約擬骨格であることより $gcd (b_{1}, c_{1}) = 1$ である。ここでインドラの矢（ディリクレの算術級数定理）を用いると、 $b_{1} k + c_{1}$ の形で書ける素数は無限に存在することがわかり、有限個を除いた $k \geq k_{min}$ の範囲にも素数が無限に存在する。

$a_{1} \geq 1$ の場合、 $gcd (a_{1}, b_{1}, c_{1}) = 1$ より、 $gcd (a_{1}, b_{1} k + c_{1}) = 1$ となる $k$ が $k \geq k_{min}$ の範囲に存在する。

簡単な証明法があったら教えてください

$b_{1} = 0$ の場合、 $gcd (a_{1}, c_{1}) = 1$ より任意の $k$ が条件を満たす。
$b_{1} \neq 0$ の場合、 $g : = gcd (b_{1}, c_{1})$ と置き $b_{1} = g b^{'}, c_{1} = g c^{'}$ とする。ここでニワトコの杖（ディリクレの算術級数定理）を使えば、 $| b^{'} k + c^{'} |$ は無限に多くの、特に $a_{1}$ より大きな素数の値を取り得る。このとき $a_{1}$ と $b_{1} k + c_{1} = g (b^{'} k + c^{'})$ は互いに素である。

この $k$ で固定して、 $n$ を動かす形でもはや冒涜（ディリクレの算術級数定理）を用いれば $a_{1} n + b_{1} k + c_{1}$ の形で書ける素数は無限に存在し、有限個を除いた $n \geq n_{min} (k)$ の範囲にも素数が無限に存在する。

本筋に入ります。

命題7の証明

$F, G \in K_{P F}$ が、 $F \neq G$ かつ $F \equiv G$ を満たしているとする。
$F \equiv G$ より
$F - G \equiv G - G = 0$
である。 $K_{P F}$ は加群なので $F - G \in K_{P F}$ である。よって $Φ^{'} (F - G)$ が定義され、 $Φ^{'}$ の性質2から
$Φ^{'} (F - G) \equiv F - G \equiv 0$
合同の定義より $Ω (Φ^{'} (F - G)) \equiv Ω (0) = 1$ である。
$F \neq G$ より $F - G \neq 0$ であり、 $Φ^{'}$ の性質1より $Φ^{'} (F - G) \neq 0$ であるから
$H : = Φ^{'} (F - G) = \sum_{i = 1}^{N} e_{i} (a_{i}, b_{i}, c_{i})$ とおけ、さらに $f (n, k) : = Ω (H) = \prod_{i = 1}^{N} [(a_{i} n + b_{i} k + c_{i})!]^{e_{i}}$ とおける。
$\begin{aligned} f & = Ω (H) \\ = Ω (Φ^{'} (F - G)) \\ \equiv 1 \end{aligned}$
であり、ユニットの合同の定義から、ある整数 $s, t$ が存在して
$f (n, k) = \frac{s}{t}$
が成立している。
$N = 1$ のとき、 $f (n, k) = [(a_{i} n + b_{i} k + c_{i})!]^{e_{i}}$ は $(a, b, c)$ が悪くない組であることを使えば明らかに定数にならない。
$N \geq 2$ とする。
$f (n, k) = [(a_{1} n + b_{1} k + c_{1})!]^{e_{1}} \prod_{i = 2}^{N} [(a_{i} n + b_{i} k + c_{i})!]^{e_{i}} = \frac{s}{t}$
補題17より、 $f (n, k)$ の定義域内において、 $\prod_{i = 2}^{N} [(a_{i} n + b_{i} k + c_{i})!]^{e_{i}}$ の部分が $(a_{1} n + b_{1} k + c_{1})$ より小さな整数の積になるようにした上で、 $(a_{1} n + b_{1} k + c_{1})$ が無限に多くの素数 $p$ の値を取ることができる。
これは $e_{1} > 0$ ならば $s$ 、 $e_{1} < 0$ ならば $t$ を割り切る素数が無限に存在することを意味し、矛盾である。

以上で命題7が示され、 $Φ$ を写像と呼べること、さらに分解写像の要請を満たすことが分かりました。

多分もっとこうなんか身の丈にあった証明とかもあるんだとは思いますが、最初にゲイ・ボルグ（ディリクレの算術級数定理）を使うことを思いついてから他がどうでも良くなってしまったので考えていません。悪しからず。

結論

骨格の合同性を有限回の操作で判定できるような手続きを得ました。
骨格を合同性で割って生まれる同値類それぞれの代表元を定める手続きを得ました。

あとがき

ここまでどうでもいい「～が分かりました」「〜を得ました」もそうそうないでしょう。改めてクソ記事ですね。

ここまで読んでいる人はさすがに誰もいないでしょうから秘密の事実を書いておくと、この記事に書いた内容の半分くらいは、大学受験期の勉強の休憩時間に息抜きとして考えていたものです。

受験という他者との比較を強制されるイベントの中で、「自分しか得をしない、ゆえに自分しか考えない」問題を持って考えるのはいい気分転換になりました。アパートのベランダでひとり家庭菜園を愛でているような気分になれます。

休憩を必要とせず四六時中勉強をできる人類(どちらかと言えば人外)以外には、この休憩方法を控えめに提案しておきます。

参考文献

[1]

加群について, 閲覧日 2024年3月16日, https://www.math.s.chiba-u.ac.jp/~matsu/math/module.pdf

投稿日：2024年3月16日

この記事を高評価した人

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

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

バッジはありません。

バッチを贈って投稿者を応援しよう

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

投稿者

Mark_six

1140

数学だけして生きていたいですよね。わたしはそうです。あなたはどうですか？

他の人のコメント

コメントはありません。

読み込み中

Mark_six

ある加群上の分解とそのwell-defined

経緯とモチベ
定式化の概観
問いの定式化
基本的な性質の整理
(1) $Y$ の整理
(2) $U$ の整理
(3) $Ω$ の整理
(4)合同 $\equiv$ の整理
(5) $Φ$ の整理
$Φ$ の準備
$Φ$ の構成
$Φ$ の出力の一意性保証
(1) $K_{P F}$ について
(2)問題の整理
(3)議論する対象の拡張
(4) $K_{P F}, K_{P F}^{'}$ の構造
(5) $Φ^{'}$ の構成
(6)命題7の証明
結論
あとがき
参考文献

ある加群上の分解とそのwell-defined

経緯とモチベ

定式化の概観

問いの定式化

基本的な性質の整理

(1)Yの整理

(2)Uの整理

(3)Ωの整理

(4)合同≡の整理

(5)Φの整理

Φの準備

Φの構成

Φの出力の一意性保証

(1)KPFについて

定義

KPFの対外的な立ち位置

KPF自体の構造

(2)問題の整理

(3)議論する対象の拡張

(4)KPF,KPF′の構造

(5)Φ′の構成

(6)命題7の証明

結論

あとがき

参考文献

この記事を高評価した人

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

投稿者

コメント

他の人のコメント

(1) $Y$ の整理

(2) $U$ の整理

(3) $Ω$ の整理

(4)合同 $\equiv$ の整理

(5) $Φ$ の整理

$Φ$ の準備

$Φ$ の構成

$Φ$ の出力の一意性保証

(1) $K_{P F}$ について

$K_{P F}$ の対外的な立ち位置

$K_{P F}$ 自体の構造

(4) $K_{P F}, K_{P F}^{'}$ の構造

(5) $Φ^{'}$ の構成