Об одном подходе к построению транзитивного множества блочных преобразований

Пусть $\Omega$ – произвольное конечное множество и $\mathcal Q(\Omega)$ – семейство всех бинарных квазигрупп, определённых на множестве $\Omega$. Отображение $\Omega^n\to\Omega^n$, $n\in\mathbb N$, реализуемое сетью $\Sigma$ с одной бинарной операцией $F$, будем обозначать $\Sigma^F$. Доказывается критерий биективности всех преобразований из множества $\{\Sigma^F\colon F\in\mathcal Q(\Omega)\}$, а также определяются условия для транзитивности этого множества.