群論,これはおもしろい ―トランプで学ぶ群― (数学のかんどころ 16) 飯高 茂

P.10の1.3「ある半群」の記述に、とても信じられない誤りが書かれています。

G_2n = {1, 2, 3, ..., 2n}において掛け算（mod 2n+1）ができるから、G_2nは
半群になるという記述があります。

もちろん、2n+1が素数である場合に限り掛け算（mod 2n+1）ができるため、明らか
な誤りです。たとえば、n=4のとき、G_8 = {1, 2, 3, 4, 5, 6, 7, 8}ですが、
3 * 3 = 0(mod 9)ですので、G_8は掛け算に関して閉じていません。

その他、全体的に記述がいい加減なところがあります。