>>305
>そういえば砂消し君の言う群論での分数の定義はどうなるんだ？
>それに基づき「2(3)^{-1}÷5(6)^{-1} 」が駄目だという説明をしてくれ。
0でない分数は、0でない実数だが…。
そして、「2(3)^{-1}÷5(6)^{-1} 」なんて書いたら分数の除法が定義出来ないから
括弧()を用いて「2(3)^{-1}÷(5(6)^{-1}) 」の如く書いている。
群論での定義は>>271に書いてある。

>整理しようか。
>「a×b」「a÷b」「a×b^{-1}」「ab」「ab^{-1}」「a/b」の表記を優先度によりグループ分けし、
>優先度が高い順に、「砂消し君の仮定」でどうなるか並べてくれ。
群論で「÷」を定義したとき、こんな細かい優先度はない。
しいていえば、「分数(/)＞÷＞・(×)＝省略・(×)」になる。