23/03/20 20:28:33.00 VOwK7OJu.net
>>521,541
S⊂Aが、1∈S∧∉S、a, b∈S⇒ab∈Sの時, SをA野乗法的集合という
s(a₁s₂－a₂s₁)=0の時, (a₁, s₁)～(a₂, s₂)と定義する。
反射律、対称律、推移律が成り立つ。ss's₃、ss's₁と取る。
～は同値関係である。
s(12)=0、s'(23)=0
ss'(a₁s₃－a₃s₁)=s's(12)+ss'(23)=0
S⁻¹A、a/s、和と積は分数と同じ
環S⁻¹AをAのSによる局所化という
0/1を0と書く。
>>554
>>555