>>397
(引用開始)
>>385
>アーベルは完全な証明をしたはず。「虚数乗法を持つ場合」ね
笑える
・”完全な証明”の”完全”の定義は？
（アーベルが、虚数乗法を持つ場合の何を証明したのか？ｗ）
・”はず”？ なんだそれ？
・下記を見る限り、虚数乗法（complex multiplication）の大きな部分は
　クロネッカーの青春の夢（ヒルベルトの第12問題）で類体論でしょ？
(引用終り)

さて、宿題の前にこいつを片付けよう
・Cox ガロワ理論下 第15章 レムニスケートで
　15.4 虚数乗法、15.5 アーベルの定理
　となっている
・この15.5 アーベルの定理については
　”B 直定規とコンパスによる作図”とある節で
　ここで、レムニスケートのn等分につき
　直定規とコンパスによる作図できる条件の証明している
・一方、15.4 虚数乗法は、1850年のシェーネマン アイゼンシュタインなどを説明している
　内容は、ガウス整数に関係する
・15.5 アーベルの定理の”歴史ノート”に
　ガウスDAと、アーベルの定理 ”B 直定規とコンパスによる作図”との関係の解説がある
　ここに、アーベルに刺激を受けたクロネッカーが、アーベル拡大が円分拡大であること
　および彼の青春の夢をデデキント宛の手紙に書いたこと
　そして、1920年代に高木とフューターによって
　類体論と虚数乗法の定理の最初の完全な証明が与えられた
　と記す
・さて、高木「近世数学史談」 20 初発の楕円函数論 の最後で
　クラインの楕円函数論の評にたいして
　『アーベルの虚数乗法が最も適当であろうと我々は思う。
　クラインが好むにもせよ、虚数乗法が大物であることは歴史が明らかに示してる・・』
　と記す

纏めると、虚数乗法という用語は、アーベルの後の後世の人の命名のようです
虚数乗法は、ガウス整数あたりからDAには直には書かれなかったが
ガウスがほのめかしたレムニスケートの等分問題（これを解いて発表したのがアーベルで
上記の”B 直定規とコンパスによる作図”の項ご参照）などに発する
後、高木先生の類体論に繋がる

なお、虚数乗法は大きく捉えれば、>>397のwikipediaの記述の如く
ラングランズ哲学までつながって、未完の大物らしいね