群 を単位半群(モノイド)とし、 を単位元とします。もし、次の法則が成り立つならば、 は群であると言います。 任意の に対し、 によって定まる の元 があって を満たす。 を の逆元と言います。 全変換半群と対称群 を集合とするとき、 から自身への写像の…