同相群の構成