>>55
1桁の数を組(a,10)と思い，2桁の数を組(b,100)と思い，一般にn桁の数を(x,10^n)と思う．
自然数と10のベキからなる乗法半群との組に，演算を
(a,10^m)@(b,10^n)=(a*10^n+b,10^{m+n})
によって定めると，これは半直積になっている(非可換だが)．
この演算の単位元は(0,10^0)である．
(別に乗法半群である必要はなく，普通に10^Z={10^n|n∈Z}による群にしてもよい．左側も同様．)


誰か>>54の順序をきれいなHasse図として出力するプログラムを作ってくれないかなー．