24/09/24 19:12:47.27 hHDVmEuW.net
>>9
aとかbとかcとかは何かに対する何らかの操作というものとして定義されているのね？
ならば
操作とは普通の数学では作用と呼ぶもので写像の一種で
自然と結合法則が成り立つのだけれど
演算一般に結合法則が成り立つとは限らないから
自然に成り立つと言うことを確認してるだけなのでは？
24/09/24 19:12:47.27 hHDVmEuW.net
>>9
aとかbとかcとかは何かに対する何らかの操作というものとして定義されているのね？
ならば
操作とは普通の数学では作用と呼ぶもので写像の一種で
自然と結合法則が成り立つのだけれど
演算一般に結合法則が成り立つとは限らないから
自然に成り立つと言うことを確認してるだけなのでは？