23/03/21 22:00:39.92 w5gPYwOo.net
>>541,554,555,577,588
>>590,593
BはKの部分環である。S野元は単元なので、∃準同型ψ: S⁻¹A→B、φ(a/s)=a/sとなる(Bにおいて)。
ψは全射、零因子aはa=0、Kerψ={0}で単射、よって同型である
ℤのS=ℤ\{0}による局所化、ℚはℤの商体、
Aの商体k(x)、k上のn変数有理関数体、
23/03/21 22:00:39.92 w5gPYwOo.net
>>541,554,555,577,588
>>590,593
BはKの部分環である。S野元は単元なので、∃準同型ψ: S⁻¹A→B、φ(a/s)=a/sとなる(Bにおいて)。
ψは全射、零因子aはa=0、Kerψ={0}で単射、よって同型である
ℤのS=ℤ\{0}による局所化、ℚはℤの商体、
Aの商体k(x)、k上のn変数有理関数体、