abc予想 - pogi-log

abc予想

abc予想(abc conjecture)

有名な証明の問題

これが証明できていると様々な証明が簡単にできるようになる

1985年にジョゼフ・オステルレ（J.Oesterlé) とデイビッド・マッサー（D.Masser）により提起された数論の予想

オスターリ・マッサー予想とも言うらしい

望月新一がabc予想を証明した

abc予想の命題(?)

互いに素な自然数 $ a, b, c が$ a + b = c, a ＜ b を満たすとする。

また，積 $ abc の互いに異なる素因数全体の積を $ d とおく。

任意の正数$ e に対し，$ c \gt d^{1 + e} となる $ a, b, c の組は有限個しか存在しない。

abc予想論文関連のいろいろなワード

異なる宇宙同士の加算、乗算

テータリンク($ \Theta リンク)で異なる宇宙間の違いを測ろうとした

望月論文ではここが新しい

上から押さえる

「遠アーベル的」

絶対遠アーベル幾何

$ \mathrm{rad}(abc)

$ \mathrm{rad}() の読み方はラディカル

$ \mathrm{rad}() は根基を取る関数

根基は1を除いた素因数がくる感じ