08/02/23 17:16:24
>>45
私の書き方が悪かったです．
調べられているのは，ある wheel W が，適当な環 R の
wheel of fraction: frac(R) と同型であるための条件です．
もちろん wheels of fraction ⊂ wheels なので，十分ではあります．
歴史はよくわからないのですが，Martin-Lof が 1997 に
「分母に0がくる有理数定義したらどうよ」 と言い出し，
Setzer1997 が wheels of fractions を導入（同値関係定義），
さらに抽象化して wheel を定義．それらの性質を Carlstrom2001 が
色々調べた，ということになってるようです．