group $G^\mathrm{op}$