Correspondingly the right action $Y_{n}G\equiv \{Y_{n}g:g\in G\}$  and $X_{n}A\equiv \{{\alpha }_{n}A:{\alpha }_n\in X_n\}$  . The left action of $G$  on a $k$  -set $Y_k$  and $A$  on a $k$  -orbit $X_k$  of $G$  for $k<n$  is the same as for $k=n$  , because ${\hat{p}}^{\left(I_k\right)}g{\alpha }_n=g{\hat{p}}^{\left(I_k\right)}{\alpha }_n$  . By the right action the equality ${\hat{p}}^{\left(I_k\right)}\left({\alpha }_{n}g\right)=\left({\hat{p}}^{\left(I_k\right)}{\alpha }_n\right)g$  has senseonly if ${\alpha }_n$  is the initial $n$  -tuple. Hence the right action on $k$  -sets has not a direct reduction from the right action on $n$  sets. If $X_n$  is a $n$  -orbit of $G$  , $A<G$  and $Y_n$  is a $n$  -orbit of $A$  , then $L_n=G{Y}_n=X_{n}A$  and $R_n=Y_{n}G=A{X}_n$  are partitions of $X_n$  on $n$  -orbits of left and right cosets of $A$  in $G$  , at that $n$  -orbits of left cosets are $n$  -orbits of conjugate with $A$  subgroups of $G$  and $n$  -orbits of right cosets are $n$  -orbits of $A$  . Projections of $X_n$  , $L_n$  and $R_n$  on a subspace $I_k$  gives a covering $L_k$  and a partition $R_k$  of the $k$  -orbit $X_k$  on $k$  -orbits of left and right cosets of $A$  in $G$  . If $Y_k={\hat{p}}^{\left(I_k\right)}{Y}_n$  , then $L_k=G{Y}_k$  and $R_k=A{X}_k$  . Below under action of permutations we understand the left action.

Let $k$  be a divisor of $\left|G\right|$  . We call $k$  as an automorphic number if there exists a $k$  -element suborbit of $G$  (a $k$  -element orbit of a subgroup of $G$  ).

Let $Co\left({\alpha }_k\right)$  be a set of coordinates of a $k$  -tuple ${\alpha }_k$  , then for a $k$  -set $X_k$  we define $Co\left(X_k\right)$  as $\left\{Co\right({\alpha }_k):{\alpha }_k\in X_k\}$  .

If $Co\left({\alpha }_k\right)$  is a suborbit of $G$  , then we say that ${\alpha }_k$  is an automorphic $k$  -tuple and $Co\left({\alpha }_k\right)$  is an automorphic subset of $V$  . Let $X_k$  be a $k$  -set we say that $X_k$  is an automorphic $k$  -set, if $Aut\left(X_k\right)$  acts on $X_k$  transitive. Let $X_k$  be a $k$  -orbit (an automorphic $k$  -set) and ${\alpha }_k\in X_k$  be an automorphic $k$  -tuple, then a $k$  -orbit $X_k$  we call as right-automorphic $k$  -orbit or $k$  -rorbit.

Let $U$  be a set and $Q$  be a set of subsets of $U$  , then $\cup Q\equiv {\cup }_{(W\in Q)}W$  . Under $\bigsqcup Q$  we understand a set of unions of intersected on $U$  classes of $Q$  . So $\bigsqcup Q$  is a partition of $\cup Q$  (possibly trivial). A union and intersection of partitions $P$  and $R$  of $U$  we write as $P\bigsqcup R$  and $P\sqcap R$  . Let $P^{\prime }$  be a subpartition of $P$  , then we write $P^{\prime }⊏P$  .

Let ${\alpha }_k\in X_k$  and $Y_k$  be a maximal subset of $X_k$  with $Co\left(Y_k\right)=Co\left({\alpha }_k\right)$  , then we call $Y_k$  as a $k$  -block of $X_k$  .

Let $\cup Co\left(X_k\right)=V$  and $\bigsqcup Co\left(X_k\right)$  be a non-trivial partition of $V$  , then we say that $X_k$  is incoherent. If $\bigsqcup Co\left(X_k\right)$  is a non-trivial covering of $V$  , then we say that $X_k$  is coherent. Any coherent $k$  -orbit consists of intersected on $V$  $k$  -blocks. Classes of a partition of an incoherent $k$  -orbit are coherent $k$  -suborbits or $k$  -blocks. A coherent $k$  -orbit $X_k$  is defined on a set $V=\cup Co\left(X_k\right)$  . Its coherent or incoherent $k$  -suborbit $Y_k$  is defined on a set $U=\cup Co\left(Y_k\right)\subset V$  .

In order to show this we say that $Y_k$  is $U$  -coherent ( $U$  -incoherent). If a ( $V$  -) coherent $k$  -orbit contains no $U$  -coherent and no $U$  -incoherent $k$  -suborbit for any $U\subset V$  , then we call it as elementary coherent.

Let $Y_k$  be a $k$  -suborbit of $G$  . The maximal transitive on $Y_k$  subgroup of $G$  we call a stabilizer of $Y_k$  in $G$  and write it as $Sta{b}_G\left(Y_k\right)$  or simply $Stab\left(Y_k\right)$  .

Let $X_k$  be a $k$  -orbit of $G$  and $Y_k\subset X_k$  be a $k$  -block, then evidently $L_k=G{Y}_k$  is a partition of $X_k$  and $Y_k$  is a $k$  -orbit of $Stab\left(Y_k\right)=Stab\left(Co\right(Y_k\left)\right)$  .

Let a group $G$  be imprimitive, then $G$  contains a non-trivial ( $1<k<n$  ) incoherent $k$  -orbit.

If $G$  is primitive, then any (non-trivial) $k$  -orbit of $G$  is coherent. From here follows that it is convenient to consider primitive Abelian groups as trivial imprimitive or trivial primitive, because, as distinct from non-Abelian primitive groups, such a group $G$  contains no non-trivial suborbit $U\subset V$  that forms a covering $GU$  of $V$  . So further under a primitive group we understand a non-Abelian primitive group. Let a group $G$  be imprimitive and $Q$  be a $G$  -invariant partition of $V$  ( $GQ=Q$  ), then we say that classes of $Q$  are imprimitivity blocks.

We say that a transitive group $G\left(V\right)$  is a minimal degree group or md-group if it cannot be represented isomorphically on a partition $Q$  of $V$  , otherwise we say that $G$  is a non-minimal degree group or nmd-group. It follows that primitive groups are md-groups. Let $F$  be a finite group, $A<F$  and a representation $F(F/A)$  be a md-group isomorphic to $F$  , then we say that $A$  is a md-stabilizer of $F$  . So $A$  is a maximal by including subgroup of $F$  containing no normal subgroup of $F$  .

Let ${\alpha }_k=\langle v_1\dots v_k\rangle$  and ${\alpha }_l^{\prime }=\langle v_1^{\prime }\dots v_l^{\prime }\rangle$  , then a $(k+l)$  -tuple ${\alpha }_{(k+l)}=\langle v_1\dots v_k{v}_1^{\prime }\dots v_l^{\prime }\rangle$  we call a concatenation of ${\alpha }_k$  and ${\alpha }_l^{\prime }$  and write this as ${\alpha }_{(k+l)}={\alpha }_k\circ {\alpha }_l^{\prime }$  .

Proposition 2 Let ${\alpha }_k$  be an automorphic $k$  -tuple, $G=Stab\left(Co\right({\alpha }_k\left)\right)$  , $H=Stab\left({\alpha }_k\right)$  and $X_k=G{\alpha }_k$  , then $H$  is a normal subgroup of $G$  and a factor group $G/H$  is isomorphic to $Aut\left(X_k\right)$  .

Proof: If $H$  is not trivial, then $G$  is an intransitive group. Let $X_n$  be a $n$  -orbit of $G$  , then there exists only one partition $P_n$  of $X_n$  on $\left|G\right|/\left|H\right|$  classes with projection ${\hat{p}}^{\left({\alpha }_k\right)}{P}_n=X_k$  .

Hence $X_{n}H=H{X}_n=P_n$  . The group $Aut\left(X_k\right)$  is isomorphic to the factor group $G/H$  , because $\left|Aut\right(X_k\left)\right|=|G/H|$  and it acts on cosets of $H$  in $G$  transitive. $\square$ 

Proposition 3 Let $X_k\in Or{b}_k\left(G\right)$  , $Y_k\subset X_k$  be a $k$  -suborbit of $G$  , $H=Stab\left(Y_k\right)$  , $L_k=G{Y}_k$  and $R_k=H{X}_k$  . Let $L_k=R_k$  , then $H$  is a normal subgroup of $G$  .

Proof: There exists only one partition $P_n$  of $X_n$  on $\left|G\right|/\left|H\right|$  classes so that ${\hat{p}}^{\left(I_k\right)}{P}_n=L_k$  .

Hence $X_{n}H=H{X}_n=P_n$  . $\square$ 

Proposition 4 Let $G\left(V\right)$  be an imprimitive group, $Q$  be a partition of $V$  on imprimitivity blocks and $\overrightarrow{Q}$  be ordered set $Q$  , then $H=Stab\left(\overrightarrow{Q}\right)$  is a normal subgroup of $G$  .

Proof: Subgroups $\left\{Stab\right(U)<G:U\in Q\}$  form a class of conjugate subgroups and $H={\cap }_{(U\in Q)}Stab\left(U\right)$  . If $G\left(V\right)$  is a nmd-group and $G\left(Q\right)$  is an isomorphism, then $H$  is trivial. $\square$ 

Proposition 5 Let $X_k\in Or{b}_k\left(G\right)$  , $Y_k,Z_k\subset X_k$  be $k$  -suborbits of $G$  , $L_k^{\prime }=G{Y}_k$  and $L_k^{\prime \prime }=G{Z}_k$  , then $L_k^1=L_k^{\prime }\sqcap L_k^{\prime \prime }$  and $L_k^2=L_k^{\prime }\bigsqcup L_k^{\prime \prime }$  are also partitions of $X_k$  on isomorphic $k$  -suborbits of $G$  . If $Y_k\cap Z_k=T_k$  be not trivial and $U_k\in L_k^2$  contains $Y_k$  and $Z_k$  , then $L_k^1=G{T}_k$  , $L_k^2=G{U}_k$  , $Stab\left(T_k\right)=Stab\left(Y_k\right)\cap Stab\left(Z_k\right)$  and $Stab\left(U_k\right)=gr\left(Stab\right(Y_k),Stab(Z_k\left)\right)$  .

Proof: Let $k=n$  , then equalities follows from corresponding properties of sets of left cosets of subgroups of $G$  . For $k<n$  equalities are projections of corresponding equalities for $k=n$  . $\square$ 

Lemma 6 Let for every $k$  -suborbit $Y_k$  of a $k$  -orbit $X_k$  a set $L_k=Aut\left(X_k\right)Y_k$  be a partition of $X_k$  , then $\left|Aut\right(X_k\left)\right|=\left|X_k\right|$  .

Proof: Let $G=Aut\left(X_k\right)$  , $M$  be a set of partitions of $X_k$  on isomorphic $k$  -suborbits of $G$  and $L_k^{\prime },L_k^{\prime \prime }\in M$  , then $L_k^1=L_k^{\prime }\sqcap L_k^{\prime \prime }$  and $L_k^2=L_k^{\prime }\bigsqcup L_k^{\prime \prime }$  are partitions from $M$  . Let $L_k^{\prime \prime }\in M$  be a partition of $X_k$  on $k$  -blocks, then there exists a partition $L_k^{\prime }\in M$  so that $L_k^2=L_k^{\prime }\bigsqcup L_k^{\prime \prime }$  is not trivial, i.e. $\left|L_k^2\right|<min\left(\right|L_k|,|B_k\left|\right)$  . By repeating we obtain that there exist partitions $L_k^{\prime },L_k^{\prime \prime }\in M$  so that $L_k^2=L_k^{\prime }\bigsqcup L_k^{\prime \prime }=\left\{X_k\right\}$  .

For each partition $L_k$  in the union process there exists a subgroup $A<G$  so that a class $Y_k\in L_k$  is a $k$  -orbit of $A$  and $\left|A\right|=\left|Y_k\right|$  , because we can begin from a subgroup that is isomorphic to the automorphism group of a $k$  -block, and with a subgroup of a prime order that permutes $k$  -blocks. Thus $G$  contains a subgroup $H$  of order $\left|X_k\right|$  that acts transitive on $X_k$  .

Let $g$  be any permutation from $G$  and $R_k=gr\left(g\right)X_k$  , then $\left(gr\right(g)\cap B)X_k=R_k$  , because any class $Z_k$  of $R_k$  generates a partition $G{Z}_k\in M$  . It follows that the action of $G$  and $B$  on $X_k$  are isomorphic and hence $G=B$  . $\square$ 

Proposition 7 Let $X_k$  be an incoherent automorphic $k$  -set, then $\left|Aut\right(X_k\left)\right|/\left|X_k\right|>1$  .

Proof: If $X_k$  is incoherent, then $Aut\left(X_k\right)$  has evidently a permutation that fixes a $k$  -tuple from $X_k$  . $\square$ 

Lemma 8 Let $X_k$  be an elementary coherent $k$  -orbit, then $\left|Aut\right(X_k\left)\right|=\left|X_k\right|$  .

Proof: Let $Y_k\subset X_k$  be a $k$  -block and $Z_k\subset X_k$  be a $k$  -suborbit of $Aut\left(X_k\right)$  that has non-trivial intersection with $Y_k$  . Let $A=gr\left(Stab\right(Y_k),Stab(Z_k\left)\right)$  , then $k$  -orbit of $A$  in $X_k$  is $X_k$  , because the elementary coherent $k$  -orbit $X_k$  is the unique super- $k$  -suborbit for any $k$  -block.

Hence $Aut\left(X_k\right)Z_k$  is a partition of $X_k$  . Then the statement follows from lemma  6 . $\square$ 

Lemma 9 Let $G$  be a transitive group, a $n$  -tuple ${\alpha }_n={\alpha }_k\circ {\alpha }_k^{\prime }\circ {\alpha }_m$  , $2k+m=n$  , ${\alpha }_k$  and ${\alpha }_k^{\prime }$  be automorphic and $G$  -isomorphic, and $Co\left({\alpha }_m\right)$  contains no $k$  -tuple $G$  -isomorphic to ${\alpha }_k$  , then

• ∙ the $\left(2k\right)$  -tuple ${\alpha }_{2k}={\alpha }_k\circ {\alpha }_k^{\prime }$  is automorphic,
• ∙ the group $A=Stab\left(Co\right({\alpha }_k\left)\right)\cap Stab\left(Co\right({\alpha }_k^{\prime }\left)\right)$  is not trivial,
• ∙ the group $A$  has a normalizer $N$  that acts imprimitive on $Co\left({\alpha }_{2k}\right)$  with imprimitivity blocks $Co\left({\alpha }_k\right)$  and $Co\left({\alpha }_k^{\prime }\right)$  .

Proof: Let $X_n\in Or{b}_n\left(G\right)$  , $X_k={\hat{p}}^{\left({\alpha }_k\right)}{X}_n$  , $X_k^{\prime }={\hat{p}}^{\left({\alpha }_k^{\prime }\right)}{X}_n$  and $X_{2k}={\hat{p}}^{\left({\alpha }_{2k}\right)}{X}_n$  . Let $Y_k,Y_k^{\prime }\subset X_k=X_k^{\prime }$  be $k$  -blocks with coordinates $Co\left(Y_k\right)=Co\left({\alpha }_k\right)$  and $Co\left(Y_k^{\prime }\right)=Co\left({\alpha }_k^{\prime }\right)$  . Consider a maximal $\left(2k\right)$  -subset $Y_{2k}\subset X_{2k}$  , whose projection on ${\alpha }_k$  is $Y_k$  and a maximal $\left(2k\right)$  -subset $Y_{2k}^{\prime }\subset X_{2k}$  , whose projection on ${\alpha }_k^{\prime }$  is $Y_k^{\prime }$  . The $\left(2k\right)$  -subset $Y_{2k}$  can be partition on $\left(2k\right)$  -orbits of $Stab\left(Co\right({\alpha }_k\left)\right)$  and the $\left(2k\right)$  -subset $Y_{2k}^{\prime }$  can be partition on $\left(2k\right)$  -orbits of $Stab\left(Co\right({\alpha }_k^{\prime }\left)\right)$  . Take in opinion that ${\alpha }_k$  and ${\alpha }_k^{\prime }$  have on condition non-trivial intersection with any $k$  -tuple from $X_k\backslash Y_k\backslash Y_k^{\prime }$  and that the intersection $Y_{2k}\cap Y_{2k}^{\prime }$  contains ${\alpha }_{2k}$  , we obtain that $Z_{2k}=Y_{2k}\cap Y_{2k}^{\prime }$  is a $\left(2k\right)$  -orbit of the non-trivial subgroup $A$  .

Let now $T_{2k},T_{2k}^{\prime }\subset X_{2k}$  be maximal $\left(2k\right)$  -subsets with projection $Y_k\cup Y_k^{\prime }$  on ${\alpha }_k$  and ${\alpha }_k^{\prime }$  correspondingly, then $U_{2k}=T_{2k}\cap T_{2k}^{\prime }$  is a $\left(2k\right)$  -orbit of the imprimitive on ${\alpha }_{2k}$  normalizer $N$  of $A$  with imprimitivity blocks $Co\left({\alpha }_k\right)$  and $Co\left({\alpha }_k^{\prime }\right)$  . $\square$  For the greater than two automorphic $G$  -isomorphic subsets we have more possibilities for permutations of subsets and therefore find more possible properties.

Lemma 10 Let ${\alpha }_n={\alpha }_k^1\circ \dots \circ {\alpha }_k^l\circ {\alpha }_m$  , $r=lk$  , $n=r+m$  , all ${\alpha }_k^i$  are automorphic and $G$  -isomorphic and no class of $GCo\left({\alpha }_k^1\right)$  belongs to $Co\left({\alpha }_m\right)$  , then $r$  -tuple ${\alpha }_r={\alpha }_k^1\circ \dots \circ {\alpha }_k^l$  is automorphic, a subgroup $A={\cap }_{(i=1,l)}Stab\left(Co\right({\alpha }_k^i\left)\right)$  can be trivial and has a normalizer $N$  that acts imprimitive on ${\alpha }_r$  with imprimitivity blocks $Co\left({\alpha }_k^i\right)$  .

Proof: Let $X_k={\hat{p}}^{\left({\alpha }_k^i\right)}{X}_n$  and $X_r={\hat{p}}^{\left({\alpha }_r\right)}{X}_n$  . If $g\in G$  maps ${\alpha }_k^1$  on ${\alpha }_k^2$  , then ${\alpha }_k^2$  can be mapped on any $k$  -tuple with coordinates $Co\left({\alpha }_k^i\right)$  . So in this case $A$  can be trivial, but $N$  is not trivial, because subsets $Co\left({\alpha }_k^i\right)$  are non-intersected in pairs and, on condition, they are intersected with any $k$  -tuple from $X_k\backslash {\cup }_{(i=1,l)}{Y}_k^i$  , where $Y_k^i$  are $k$  -blocks with $Co\left(Y_k^i\right)=Co\left({\alpha }_k^i\right)$  .

$\square$ 

Theorem 11 Let $G\left(V\right)$  be a primitive group and $k$  be a maximal automorphic divisor of $n$  , then there exists a partition $Q$  of $V$  on automorphic $G$  -isomorphic $k$  -subsets or on automorphic $S_n$  -isomorphic $k$  -subsets.

Proof: Let the statement be not correct, then there exists a subset $U$  of $V$  that can be partition on automorphic $G$  -isomorphic $k$  -tuples $\{{\alpha }_k,\dots \}=P$  ( where $1<\left|P\right|<n/k$  ), and the subset $W=V\backslash U$  contains no automorphic $k$  -tuple $G$  -isomorphic to ${\alpha }_k$  , then from lemma  10 immediately follows that $U$  is an automorphic subset. If $\left|U\right|$  divides $n$  , then $k$  is not the maximal divisor of $n$  . Contradiction. So $\left|U\right|$  does not divide $n$  and $Q^{\prime }=GU$  is a covering of $V$  .

Let $Q^{\prime \prime }=GCo\left({\alpha }_k\right)$  , then $Q^{\prime }$  and $Q^{\prime \prime }$  are $G$  -invariant and therefore an intersection of any two classes of $Q^{\prime }$  contains whole number of $k$  -tuples from $Q^{\prime \prime }$  . Hence $W$  must contain some class from $Q^{\prime \prime }$  . Contradiction. $\square$ 

Lemma 12 A nmd-group is $2$  -closed.

Proof: Let $G\left(V\right)$  be not $2$  -closed a nmd-group and $A\left(V\right)$  be a $2$  -closure of $G\left(V\right)$  , then $A\left(V\right)$  and $G\left(V\right)$  have the same set of imprimitivity blocks $Q$  and hence $A\left(V\right)$  is a md-group.

Let $G\left(Q\right)$  be a md-reduction of $G\left(V\right)$  and $A\left(Q\right)$  be a md-reduction of $A\left(V\right)$  . Since $G\left(V\right)$  is not $2$  -closed, then $G\left(Q\right)$  is not $2$  -closed too and hence $A\left(Q\right)\ne G\left(Q\right)$  . It follows that $A\left(Q\right)$  is isomorphic to $A\left(V\right)$  , i.e. $A\left(V\right)$  is a nmd-group. Contradiction. $\square$ 

Lemma 13 Let $Q$  be a set of imprimitivity blocks of a nmd-group $G\left(V\right)$  and $Co\left(I_k\right)\in Q$  , then $Stab\left(I_k\right)$  is trivial.

Proof: Let $Q=\left\{Co\right(I_k^i):i\in [1,\left|Q\right|\left]\right\}$  , $X_n\in Or{b}_n\left(G\right)$  , $X_k={\hat{p}}^{\left(I_k^i\right)}{X}_n$  and $X_{2k}^{ij}={\hat{p}}^{(I_k^i\circ I_k^j)}{X}_n$  , then from lemma  12 it follows that $G={\cap }_{(i,j\in [1,\left|Q\right|\left]\right)}Aut\left(X_{2k}^{ij}\right)$  . Let $\left|X_n\right|/\left|X_k\right|>1$  ,then there exists a partition $L_{2k}^{ij}$  of $X_{2k}^{ij}$  so that ${\hat{p}}^{\left(I_k^i\right)}{L}_{2k}^{ij}={\hat{p}}^{\left(I_k^j\right)}{L}_{2k}^{ij}=\left\{X_k\right\}$  . It follows that $Aut\left(X_{2k}^{ij}\right)$  and hence $G$  contain a subgroup $H$  of order $\left|X_k\right|$  . Then there exists only one partition $P_n$  of $X_n$  on $\left|X_n\right|/\left|X_k\right|$  automorphic classes so that ${\hat{p}}^{\left(I_k^i\right)}{P}_n=\left\{X_k\right\}$  , hence $H$  is a normal subgroup of $G$  . Let a representation $G\left(Q\right)$  be a md-group, then $Stab\left(Co\right(I_k\left)\right)$  is a md-stabilizer of $G$  . But $Stab\left(Co\right(I_k\left)\right)$  has non-trivial intersection with $H$  and hence it cannot be a md-stabilizer of $G$  . Contradiction. $\square$ 

Lemma 14 Let $G\left(V\right)$  be a nmd-group, then there exists an isomorphic representation $G\left(Q\right)$  of $G\left(V\right)$  on imprimitivity blocks of a prime power.

Proof: Let $\left|V\right|/\left|Q\right|=k$  be not prime and $p$  be a prime divisor of $k$  . Let $Co\left(I_k\right)\in Q$  , then $I_k$  contains an automorphic $p$  -tuple $I_p$  , so that $Q^{\prime }=GCo\left(I_p\right)⊏GCo\left(I_k\right)=Q$  . Hence $G$  has an imprimitive representation on classes of $Q^{\prime }$  . If $G\left(Q^{\prime }\right)$  is a homomorphism, then $G\left(Q\right)$  is a homomorphism too. Contradiction. Thus $G\left(Q^{\prime }\right)$  is an isomorphism. $\square$  This statement can be generalized:

Lemma 15 Let $Q$  be a partition of $V$  and $G\left(Q\right)$  be a homomorphism of $G\left(V\right)$  , then there exists a partition $Q^{\prime }⊏Q$  on subsets of $V$  of a prime power so that $G\left(Q^{\prime }\right)$  is also a homomorphism, at that if $G\left(Q\right)$  is an isomorphism, then $G\left(Q^{\prime }\right)$  is an isomorphism too.

3 The proof of theorem  1 

3.1 Imprimitive nmd-groups

From lemma  14 it follows that any nmd-group contains a regular element.

3.2 Primitive groups

Let $G$  be a primitive group. If $G$  contains a nmd-subgroup, then it contains a regular element.

Let $G$  contains no nmd-subgroup, but an imprimitive md-subgroup $A$  .

Lemma 16 Let $A$  be a maximal imprimitive md-subgroup of $G$  , then $G$  is $2$  -closed if and only if $A$  is $2$  -closed.

Proof: Let $Q$  be a set of imprimitivity blocks of $A$  , then $A=Stab\left(Q\right)$  and all classes of $GQ$  (partitions of $V$  ) are different. Let $X_n\in Or{b}_n\left(G\right)$  , $Y_n\in Or{b}_n\left(A\right)$  and $L_n=G{Y}_n$  . Let $A$  be not $2$  -closed, then any class $Z_n\in L_n$  is not $2$  -closed and hence $X_n$  is not $2$  -closed. Let $X_n$  be not $2$  -closed and $X_n^{\prime }$  be a $2$  -closure of $X_n$  , then $X_n^{\prime }$  contains an imprimitive on $Q$  $n$  -suborbit $Y_n^{\prime }$  that is a $2$  -closure of $Y_n$  . $\square$  Thus a consideration of a primitive group $G$  can be reduced to a consideration of its imprimitive md-subgroup. So we have to consider a primitive group that contains no imprimitive subgroup.

Lemma 17 Let $G$  contains no imprimitive subgroup, then it is not $2$  -closed.

Proof: If $G$  contains no imprimitive subgroup, then (lemma  10 and theorem  11 ) there exists a partition $Q$  of $V$  on automorphic $S_n$  -isomorphic $k$  -subsets and no partition of $V$  on automorphic $G$  -isomorphic $k$  -subsets. Let $X_n\in Or{b}_n\left(G\right)$  , $Q=\left\{Co\right({\alpha }_k^i):i\in [1,\left|Q\right|\left]\right)\}$  , $X_k^i={\hat{p}}^{\left({\alpha }_k^i\right)}{X}_n$  and $L_k=\{X_k^i:i\in [1,\left|Q\right|\left]\right)\}$  , then any two $k$  -blocks from a $k$  -orbit $X_k^i\in L_k$  are intersected on $V$  . Hence a non-trivial normalizer $N=Sta{b}_{S_n}{L}_k$  of $G$  is a $2$  -closure of $G$  . $\square$  So we can reduce the consideration of theorem  1 to imprimitive md-groups.

3.3 Imprimitive md-groups

Let $G\left(V\right)$  be an imprimitive md-group and $Q$  be a partition of $V$  on imprimitivity blocks, then a group $H=Stab\left(\overrightarrow{Q}\right)$  is not trivial. Let $Y_n\in Or{b}_n\left(H\right)$  , $Q=\left\{Co\right(I_k^i):i\in [1,\left|Q\right|\left]\right\}$  , $Y_{2k}^{ij}={\hat{p}}^{(I_k^i\circ I_k^j)}{Y}_n$  and $G$  be $2$  -closed, then $H$  is also $2$  -closed and hence $H={\cap }_{(i,j\in [1,\left|Q\right|\left]\right)}Aut(Y_{2k}^{ij};V)$  , where $Aut(Y_{2k}^{ij};V)$  is an extension of $Aut\left(Y_{2k}^{ij}\right)$  on $V$  . Accordingly to lemma  15 we can assume that $\left|V\right|/\left|Q\right|=p$  is prime, then $Aut(Y_{2k}^{ij};V)$  (for any $i,j\in [1,|Q\left|\right]$  ) is a direct product and contains a regular element of order $p$  . Hence $H$  contains a regular element of order $p$  .

Conclusion The main inference from the investigation of $k$  -orbits symmetry properties is that a finite group $F$  is not closed by its algebraic properties, because the group algebra $F$  is equivalent to the action of $F$  on $F$  , but this algebra generates also the action of $F$  on $F^k$  . Properties of that action not always can be interpreted with group algebra or with traditional permutation group theory. Namely such properties are the subject of investigation of the $k$  -orbit theory. Some investigations related with an application of $k$  -orbit representation to problems announced above are described in [2] - [4] The $k$  -orbit theory gives a new view on finite many-dimensional symmetries and can bring new ideas and applications to other sciences studying symmetrical objects.

References

1. Peter J. Cameron, Elusive groups and the polycirculant conjecture, Queen Mary, University of London, Barcelona, February 2001
2. Aleksandr Golubchik, The polynomial algorithm for graphs' isomorphism testing, , February 2002. ☻ open access ✓
3. Aleksandr Golubchik, On the Polycirculant conjecture, , April 2002. ☻ open access ✓
4. Aleksandr Golubchik, On the nature of finite groups, , September 2004. ☻ open access ✓
5. Aleksandr Golubchik, The $k$  -orbit theory and Fein-Kantor-Schacher Theorem, , February 2005. ☻ open access ✓
6. Daniel Gorenstein, Finite simple groups, Plenum Press, New York and London, 1982