続々・有限半群の忠実表現

まとめ PDF に、さらに固有第 2 種アルキメデス半群 2 個と群を追加しました。やっていて気付いたんですけど、位数 3 までなら、係数環をわざわざ \mathbb{Q} にしなくても、\mathbb{F}_3 くらいで何とかなりそうな気がしてきました。面倒なので \mathbb{Q} のままやりますが(ぉ