>>90
ノイキルヒ・内田 追加するよ

https://ja.wikipedia.org/wiki/%E3%83%8E%E3%82%A4%E3%82%AD%E3%83%AB%E3%83%92%E3%83%BB%E5%86%85%E7%94%B0%E3%81%AE%E5%AE%9A%E7%90%86
ノイキルヒ・内田の定理（ノイキルヒ・うちだのていり）は、代数体に関するすべての問題は、絶対ガロア群に関する問題に還元できることを示している。ユルゲン・ノイキルヒ（英語版） (1969a, 1969b)は、同じ絶対ガロア群をもつ2つの代数的数体が同型であることを示し、内田興二 (1976)は、代数的数体の自己同型がその絶対ガロア群の外部自己同型に対応するというノイキルヒの予想を証明することによってこれを強化した。 フロリアン・ポップ (1990, 1994)は、素体上で有限に生成される無限体に結果を拡張した[1]。

ノイキルヒ・内田の定理は、遠アーベル幾何学の基本的な結果の1つである[3]。主なテーマは、これらの代数的基本群(Algebraic fundamental group)が十分に非アーベルである場合、幾何オブジェクトのプロパティを代数的基本群のプロパティに減らすことである。

脚注
2^ 星裕一郎 (2014年5月). “絶対Galois群による数体の復元”. 京都大学数理解析研究所. p. 4. 2023年12月20日閲覧。
3^ 「Neukirch・内田の定理の証明を検証してみると、関数体の場合、その証明は“単遠アーベル的復元”を与えている」「NF(Number Field)の場合、その証明は“単遠アーベル的復元”を与えていない、つまり、Neukirch・内田の定理の証明から、絶対Galois群を出発点として元々のNFを群論的に構成する手続きを得ることは(少なくとも直ちには)できないのである」[2]