12/09/08 09:49:04.13
>>822
ちなみに非可換群Gの元g_1、g_2、…、g_nの有限積g_1g_2…g_nを、
Π^n_{i=1}g_iなどというように表して考えては見たが、
そうすると、Π^n_{i=1}g_iの逆元は
(Π^n_{i=1}g_i)^{-1}=Π^1_{i=-n}g^{-1}_{-i}
と表すことになって書くとき少し神経使って面倒になるから、
やっぱり初歩的部分では群論や代数の初歩的な部分では、
有限積はg_1g_2…g_nというようにΠを使わずに表す筈だな。
で、元の表記は「a÷bc」だな。これなら「a÷bc」は
「a÷(bc)」なのか「a÷b×c」なのかが曖昧だから、
群論では「a・(bc)^{-1}」とも「a・b^{-1}・c」とも書ける。