16.3 半群的同余