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

Продолжается исследование множества преобразований $\{\Sigma^F : F\in\mathcal Q(\Omega)\}$, реализуемых сетью $\Sigma$ с одной бинарной квазигрупповой операцией $F$. В случае произвольного $k\geqslant2$ определяются условия $k$-транзитивности этого множества и предлагается эффективный способ проверки этих условий. Приводится алгоритм построения таких сетей $\Sigma$, у которых множество преобразований $\{\Sigma^F : F\in\mathcal Q(\Omega)\}$ является $k$-транзитивным.