代数学

結合則を満たさない演算

S を正の整数全体のなす集合とする。
このとき、a,bS に対して、
ababS
という演算「」を定義する。

(a) S の演算 「」 は結合則を満たさないことを示せ。
(b) S の4つの元 x,y,z,w に演算を施す組み合わせは
((xy)z)w(x(yz))wx((yz)w)x(y(zw))(xy)(zw)
の5種類存在する。x=y=z=w=10 のとき、これら5つの元の大小関係を調べよ。

(a)
a,b,cS に対して、
(ab)c=(ab)c=(ab)ca(bc)=abc=a(bc)
となる。例えば、a=2,b=3,c=2 とすれば
(ab)c=(23)2=64a(bc)=2(32)=512
となり、一般にはこの演算「」は結合則を満たさないことが分かる。

(b)
5種類の演算を施した結果は
((xy)z)w=((xy)z)w=((xy)zw)=((xy)z)w(x(yz))w=(x(yz))w=x(yz)w=(x(yz))wx((yz)w)=x((yz)w)=x((yz)w)=x((yz)w)x(y(zw))=x(y(zw))=x(y(zw))=x(y(zw))(xy)(zw)=(xy)(zw)=(xy)(zw)
となる。これらに、x=y=z=w=10 を代入すれば
((xy)z)w=((xy)z)w=((1010)10)10=101000=X100(x(yz))w=(x(yz))w=(10(1010))10=10(1011)=1010Xx((yz)w)=x((yz)w)=10((1010)10)=10(10100)=10(X10)x(y(zw))=x(y(zw))=10(10(1010)=10(10X)(xy)(zw)=(xy)(zw)=(1010)(1010)=(1010)(1010)=XX
ここに、1010=10,000,000,000=X と置いた。
上記の値の log のさらに log をとると(底を10とする)、上から順に
411100101011
となるので
((xy)z)<(x(yz))w=(xy)(zw)<x((yz)w)<x(y(zw))
となる。