元ネタ：現代代数学 服部昭§1半群 命題1.1 半群において一般の結合法則が成り立つ。命題1.2 単位元は存在すればただひとつに定まる。命題1.3 可換半群において積は順序に無関係に定まる。命題1.4 逆元は存在すればただひとつに定まる。命題1.5 と が同型であ…