二項モノイドの自己同型は合同群(modular group)である。