16.1 半群的早期发展简史