ABC予想(1)
まず「ABC予想 - Wikipedia」に従って定義を述べます。自然数 に対して、 の互いに異なる素因数の積を の根基 (radical) と呼び、 と書きます。自然数の組 で、 で、 と は互いに素であるものを abc-triple と呼びます。
ABC予想(1) (『日本一わかりやすいABC予想』に合わせて修正)任意の に対して、次を満たすような abc-triple は高々有限個しか存在しない:
ABC予想(2) (ABC予想(1)と同値、Oesterlé–Masser の ABC予想)任意の に対してある が存在し、全ての abc-triple について次が成り立つ:
ABC予想がどのようなものなのかは『日本一わかりやすいABC予想』に書かれています。この本ではABC予想(2)がABC予想として書かれていて、ABC予想(1)はABC予想(言い換え)として書かれています。ABC予想(2)で 、 としたものをABC仮予想としています。
ABC仮予想 全ての abc-triple について次が成り立つ:
ABC仮予想が成り立つとすると、 を考えることによりフェルマー予想の の場合が成り立ちます。 の場合はワイルズの証明とは別に証明されているので、ワイルズの証明とは別に証明されたことになります。
ABC予想(2)
『ABC予想入門 (PHPサイエンス・ワールド新書)』では、 を整数としたABC仮予想に対応するものが書かれています。
abc予想(☆) 互いに素な整数 が を満たすならば
が成り立つ。
また、 を整数としたABC予想(2)に対応するものが書かれています。
abc予想 任意の に対してある が存在し、互いに素な整数 が を満たすならば
が成り立つ。
ABC予想(2)とは記述が少し異なりますが、同じことを主張しているようです。『ABC予想入門 (PHPサイエンス・ワールド新書)』では、整数に関する主張となっています。これは、多項式と整数を対応させているのだと思われるのですが、ABC予想では「多項式版」と「整数版」は直接対応していないようなので、このあたりがどうなっているのかさらに読んでみたいと思います。
また、『ABC予想入門 (PHPサイエンス・ワールド新書)』では、相異なる素数 の有限個の積全体からなる積に関する可換モノイドを と表しています。素因数分解の一意性により、 は単位元をもつ自明ではない可換環上の多項式環 の で生成される積に関する部分モノイドとモノイドとして同型となります。
素因数分解の一意性とは以下のようなものになります。
を相異なる素数とし、 を素数とし、、 とします。 を で生成された自由可換モノイドとし、 を を に写すモノイドの準同型とすると、 となります。
を集合とし、 を で生成される自由可換モノイドを多項式として見たものとします。すると、 を素数全体からなる集合としたとき、 は正の整数全体からなる可換モノイドを多項式として見たものとなります。
多項式abc予想
『ABC予想入門 (PHPサイエンス・ワールド新書)』では、「多項式abc予想」について書かれています。
多項式abc予想(1) (定理 4.1) を互いに素な多項式で、どれかは定数ではないとします。このとき を満たすならば
が成り立ちます。ここで は \begin{eqnarray*}
a(x) & = & A \prod_i (x - \alpha_i)^{l_i} \\
b(x) & = & B \prod_j (x - \beta_j)^{m_j} \\
c(x) & =& C \prod_k (x - \gamma_k)^{n_k}
\end{eqnarray*} ( は定数、 は相異なる根、 は自然数、) のとき
とします。
この定理は一般の体 で成り立つと書かれています。 が の根をすべて含む場合は同じ証明ができるので、まずその場合の証明を書いてみます(ほとんど定理4.1の証明の引用)。
多項式abc予想(2) を体とします。 を互いに素な多項式で、 ではないとします。さらに は の根をすべて含むとします。このとき を満たすならば
が成り立ちます。
[証明] を微分して が成り立ちます。この二つの式より が成り立ちます。
、、 より 、、 は多項式となります。
であり、 は互いに素なので となります。次数を比較して となります。
同様に となります。次数を比較して となります。
より となります。[証明終わり]
体 に対して、 と の根をすべて含む体を考えると以下が成り立ちます。
多項式abc予想(3) (定理 4.3 (A)) を体とします。 を互いに素な多項式で、 ではないとします。このとき を満たすならば
が成り立ちます。ただし
この本ではさらに のときを考えてみることが「お勧め」されていますが、これを考えると多項式と整数の対応がわかるのかもしれません。少し読んでみた限りではわからなかったのでもう少し読んでいきたいと思います。