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

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