可交换幺半群