Особые $C$-эквивалентности конечных односторонне обратимых квазигрупп

Доказано, что для любого натурального $n$ и любой подстановки–инволюции $h_l$ ($h_r$) степени $n$, имеющей хотя бы одну неподвижную точку, существует квазигруппа порядка $n$ с тождеством $h_l(x)(xy)=y$ ($(xy)h_r(y)=x$). Найдены условия, при которых такая квазигруппа имеет особые $C$-эквивалентности, а также условия, при которых любая особая $C$-эквивалентность обратимой квазигруппы является конгруэнцией.