結合則と可換性、単位元 を代数系とし、 とします。また、 を と書きます。 が任意の について成り立つとき、この代数系は について結合的であると言います。特に が について結合的であるとき、 は について半群であると言います。 が任意の について成り立…