群就是幺半群加上可逆性