23/03/22 13:14:21.61 GGMqV7nr.net
>>541,554,555,577,588
>>590,593,604,607,610
S=A\pとする。S⁻¹A=AₚとおきAのpによる局所化という
Aᶠは分母=fの冪、Aₚの分母はpに入らない元の集合
Aₚはf(x)/g(x)の形、0の近傍で定義された関数、
自然な準同型π: A→S⁻A
π(I)S⁻AをIS⁻¹A、Ideal J⊂S⁻A
π⁻(J)をJ∩A
23/03/22 13:14:21.61 GGMqV7nr.net
>>541,554,555,577,588
>>590,593,604,607,610
S=A\pとする。S⁻¹A=AₚとおきAのpによる局所化という
Aᶠは分母=fの冪、Aₚの分母はpに入らない元の集合
Aₚはf(x)/g(x)の形、0の近傍で定義された関数、
自然な準同型π: A→S⁻A
π(I)S⁻AをIS⁻¹A、Ideal J⊂S⁻A
π⁻(J)をJ∩A