$CI$-квазигруппы с непустым дистрибутантом

Квазигруппа $Q(\cdot)$ называется $CI$-квазигруппой, если существует такое отображение $I$ множества $Q$ в себя, что выполняется равенство $xy\cdot Ix=y$ для любых $x,y\in Q$. Назовем дистрибутантом $D$ произвольной квазигруппы $Q(\cdot)$ множество всех элементов $d\in D$, удовлетворяющих равенствам $d\cdot xy=dx\cdot dy$, $xy\cdot d=xd\cdot yd$.
В статье изучаются $CI$-квазигруппы с непустым дистрибутантом, находится вид автотопий $CI$-квазигрупп с непустым дистрибутантом, находятся необходимые и достаточные условия для того, чтобы $CI$-квазигруппа $Q(\cdot)$ обладала непустым дистрибутантом. Приводятся примеры $CI$-квазигрупп с непустым дистрибутантом.