22/02/15 23:45:57.31 tOnX6n5y.net
>>239
>原論文のリンク
群の定義の1_1,1_2,1_3の意図がよく分からないや
直後に1に集約してるし
ところで
右単位元(xe=x)と右逆元(xy=e)の存在だけで両側単位元と両側逆元であることが示せるんだな
知らなかった（または忘れてた）
xに対しy,zを
xy=yz=e
となるものと定義し
yx=yxe=yxyz=yez=yz=e
ex=exe=xyxyz=xyez=xyz=xe=x
か
22/02/15 23:45:57.31 tOnX6n5y.net
>>239
>原論文のリンク
群の定義の1_1,1_2,1_3の意図がよく分からないや
直後に1に集約してるし
ところで
右単位元(xe=x)と右逆元(xy=e)の存在だけで両側単位元と両側逆元であることが示せるんだな
知らなかった（または忘れてた）
xに対しy,zを
xy=yz=e
となるものと定義し
yx=yxe=yxyz=yez=yz=e
ex=exe=xyxyz=xyez=xyz=xe=x
か