無限素点はどこから生まれるか【整数論】

[@ならずもの-v5b]

準同型の核をとるとイデアルになる（しかも複素共役で移り合うやつは同一視される）けど，「Cへの準同型の核で表されるイデアル」は良いクラスになってるのかな？

[@ryofujita4472]

そもそも代数的な文脈で絶対値が出る感覚がわかっていない、、

[@mathsakura5099]

面白かったです。r_1 + r_2 になることの証明はどんな感じなんでしょうか？

[@alg-dx]

が、頑張ったらできます……
(多分無限素点で完備化したらℝかℂになるという事実が大きい)