Inter-universal geometry と ABC予想 (応援スレ) 80

[566 １３２人目の素数さん 2025/12/28(日) 23:52:07.63 ID:cHBLDvCc]

xが整域Rの単元なら(x)=R∉SpecR（Rの素イデアル全体の集合）だからxはRの素元でない。
Zの単元（xy=1の解になり得るもの）は±1のみ。