相互写像の構成
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/06/05 05:30 UTC 版)
相互律準同型を構成する標準的な方法は、まず大域体の完備化の乗法群からその最大アーベル拡大のガロア群への局所相互律同型を構成し(ここまでは局所類体論の範疇でできる)、それからそれらすべての局所相互律写像の積を大域体のイデール群上で定義するとき、その積が大域体の乗法群の像の上で自明となることを示すことで行われる。最後のところのこの性質を大域相互律 (global reciprocity law) と言い、これはガウスの二次の相互律の広汎な一般化になっている。 相互律準同型を構成するのに類構造(英語版)を用いる方法もある。 コホモロジー群(特にブラウアー群)を用いる方法や、コホモロジーを用いずに非常に明示的で応用が利く方法などもある。
※この「相互写像の構成」の解説は、「類体論」の解説の一部です。
「相互写像の構成」を含む「類体論」の記事については、「類体論」の概要を参照ください。
- 相互写像の構成のページへのリンク