代数幾何を勉強するためのスレッド

502 ：１３２人目の素数さん：2020/03/28(土) 00:40:27 ID:En0qB0GI.net

R: UFD
r∈R＼({0}∪R^×)

r = p_1 ... p_n = q_1 ... q_m (p_*, q_*: 素元)

とすると、n = mで、適当に順序を入れ替えれば、p_i = u_i q_i (u_i: 単元, i = 1, ..., n)とできる

Rの既約元は素元である

PIDはUFDである