23/03/22 21:23:15.06 GGMqV7nr.net
>>604,607,610,593
>>614,615,625,628
KをAの商体とする。a∈K、m∈M⇒A_m: a=(A: a)A_m
a∈∩A_m、I=A: a、IA_m=A_m: a
Aの全ての素Idealの集合をXとする。∩[p∈X] p
>>629
23/03/22 21:23:15.06 GGMqV7nr.net
>>604,607,610,593
>>614,615,625,628
KをAの商体とする。a∈K、m∈M⇒A_m: a=(A: a)A_m
a∈∩A_m、I=A: a、IA_m=A_m: a
Aの全ての素Idealの集合をXとする。∩[p∈X] p
>>629