The $k$-orbit theory and polycirculant conjecture

15.03.2005

Abstract
The paper contains a proof of the conjecture of M. Klin and D. Maru $\stackrel{˘}{s}$  i $\stackrel{˘}{c}$  that an automorphism group of a transitive graph contains a permutation, decomposed in cycles of the same length. The proof is based on the $k$  -orbit theory developed by author. Key words: $k$  -orbits, partitions, permutations, symmetry, groups

1 Introduction

A permutation group $G\left(V\right)$  is called $2$  -closed if it is an automorphism group of a graph, another if it is an automorphism group of an ordered partition ${\stackrel{\to }{Q}}_{2}$  of a set ${V}^{2}$  . If ${G}^{\prime }  and ${G}^{\prime }{\stackrel{\to }{Q}}_{2}={G}^{\prime }{\stackrel{\to }{Q}}_{2}={\stackrel{\to }{Q}}_{2}$  , then one says that $G$  is a $2$  -closure for ${G}^{\prime }$  . A permutation is called regular if it is decomposed in cycles of the same length.
In [1P. Cameron described the conjecture of M. Klin and D. Maru $\stackrel{˘}{s}$  i $\stackrel{˘}{c}$  (Polycirculant conjecture) that was announced on the British Combinatorial Conference (Problem BCC15.12 (DM282)) in July 1995:
Theorem 1 Every $2$  -closed transitive group contains a regular element.
Below we give a proof of this statement, based on the $k$  -orbit theory developed by author.
The first attempt to describe this theory was launched in [3.

2 $k$  -Orbit theory

Let $G\left(V\right)$  be a permutation group of a degree $n$  and ${V}^{\left(k\right)}$  ( $k\le n$  ) be a non-diagonal part of ${V}^{k}$  (i.e. all $k$  values of coordinates of a $k$  -tuple ${\alpha }_{k}\in {V}^{\left(k\right)}$  are different), then the action of $G$  on ${V}^{\left(k\right)}$  forms a partition $G{V}^{\left(k\right)}$  of ${V}^{\left(k\right)}$  on $G$  -invariant classes. This partition is called a system of $k$  -orbits of $G$  and we denote it as $Or{b}_{k}\left(G\right)$  .
The $k$  -orbit theory studies symmetry properties of $k$  -orbits that cannot be obtained from permutation group theory, studying a permutation group $G$  as a permutation algebra and therefore being not able to see the inside structure of a $n$  -orbit of $G$  and relations between $k$  -orbits of subgroups of $G$  . Also the graph representation of permutation groups that considers an action of a permutation group on ${V}^{2}$  is not able to see all relations in $Or{b}_{k}\left(G\right)$  for $2  .
The $k$  -orbit theory gives a new view on abstract finite groups and finite permutation groups and shows a way to simple solutions of some problems which either are not solved or have a complicated solution. These problems are: the polynomial solution of graphs isomorphism problem; the problem of a full invariant of finite groups, admitting a primitive (isomorphic) permutation representation; a simple proof of the Feit-Thompson theorem: the solvability of finite groups of odd order (that lies in the foundation of the Classification of finite simple groups [6); The simple proof of the Fein-Kantor-Schacher theorem: any transitive permutation group contains a fixed-point-free prime-power element [5; and the problem that we consider in this paper.
The specificity of the $n$  -orbit representation of a group $G$  is a possibility to do a group visible. In order to go to this visibility one makes a partition of a matrix of a $n$  -orbit on cells of $k$  -orbits of subgroups of an investigated permutation group $G$  and studies symmetry properties of cells and the whole partition. Below we consider some facts from the $k$  -orbit theory which are necessary for the proof of theorem  1 .
The $k$  -orbit theory considers different actions of permutations on $k$  -sets and symmetries that follows from those actions. Let ${\alpha }_{n}=〈{v}_{1}\dots {v}_{n}〉$  be a $n$  -tuple, then the left action of a permutation $g$  on ${\alpha }_{n}$  is defined as $g{\alpha }_{n}=〈g{v}_{1}\dots g{v}_{n}〉$  and the right action of $g$  on ${\alpha }_{n}$  is given as ${\alpha }_{n}g=〈{v}_{g1}\dots {v}_{gn}〉$  (here $V=\left[1,n\right]$  ). From that we obtain the left and right action of a permutation on $k$  -tuples and $k$  -sets.
The left action of a permutation is (on definition) an isomorphism ( $\left(123\right)\left\{123,132\right\}=\left\{312,321\right\}$  ), the right action is not an isomorphism ( $\left\{123,132\right\}\left(123\right)=\left\{312,213\right\}$  ). If the right action is an isomorphism, then it is an indicium for existing of a subgroup with non-trivial normalizer, whose $n$  -orbit contains (right-)isomorphic $k$  -subsets connected with considered right action.
Let ${X}_{n}$  be a $n$  -orbit of $G$  . One of $n$  -tuples from ${X}_{n}$  we choose as an initial $n$  -tuple and consider all permutations from $G$  relatively to this $n$  -tuple. If ${\alpha }_{n}$  is an initial $n$  -tuple, then ${X}_{n}=G{\alpha }_{n}$  . The specificity of an initial $n$  -tuple is the equality of number and order values of its coordinates (that we take from the same ordered set $V$  ). We call the initial $n$  -tuple as $n$  -space and its ordered subsets as subspaces. A $k$  -orbit ${X}_{k}$  of $G$  is a projection of ${X}_{n}$  on some subspace ${I}_{k}\in {X}_{k}$  . We write this projection as ${X}_{k}={\stackrel{^}{p}}^{\left({I}_{k}\right)}{X}_{n}$  . So we consider subspaces as ordered sets of coordinates and $k$  -orbits as non-ordered sets of $k$  -tuples. The different orderings of $k$  -tuples (lines) in a matrix of a $k$  -orbit shows different symmetry properties of $k$  -orbit, related with corresponding properties of the investigated permutation group.
We say that two $k$  -sets ${X}_{k}$  and ${X}_{k}^{\prime }$  are $G$  -isomorphic if they are isomorphic and connected with a permutation $g\in G$  : ${X}_{k}^{\prime }=g{X}_{k}$  . If we study a group $G$  and ${X}_{k},{X}_{k}^{\prime }$  are isomorphic, but not $G$  -isomorphic, then we say that they are ${S}_{n}$  -isomorphic (where ${S}_{n}$  is the symmetric group).
We define the left action $G{Y}_{n}$  of a group $G$  on a $n$  -subset ${Y}_{n}$  as $G{Y}_{n}\equiv \left\{g{Y}_{n}:g\in G\right\}$  . The left action $A{X}_{n}$  of a subgroup $A  on a $n$  -orbit ${X}_{n}$  of $G$  is given as $A{X}_{n}\equiv \left\{A{\alpha }_{n}:{\alpha }_{n}\in {X}_{n}\right\}$  .
Correspondingly the right action ${Y}_{n}G\equiv \left\{{Y}_{n}g:g\in G\right\}$  and ${X}_{n}A\equiv \left\{{\alpha }_{n}A:{\alpha }_{n}\in {X}_{n}\right\}$  . The left action of $G$  on a $k$  -set ${Y}_{k}$  and $A$  on a $k$  -orbit ${X}_{k}$  of $G$  for $k  is the same as for $k=n$  , because ${\stackrel{^}{p}}^{\left({I}_{k}\right)}g{\alpha }_{n}=g{\stackrel{^}{p}}^{\left({I}_{k}\right)}{\alpha }_{n}$  . By the right action the equality ${\stackrel{^}{p}}^{\left({I}_{k}\right)}\left({\alpha }_{n}g\right)=\left({\stackrel{^}{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  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}={\stackrel{^}{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 $|G|$  . 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\left({\alpha }_{k}\right):{\alpha }_{k}\in {X}_{k}\right\}$  .
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 }_{\left(W\in Q\right)}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\left({Y}_{k}\right)\right)$  .
Let a group $G$  be imprimitive, then $G$  contains a non-trivial ( $1  ) 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  and a representation $F\left(F/A\right)$  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}=〈{v}_{1}\dots {v}_{k}〉$  and ${\alpha }_{l}^{\prime }=〈{v}_{1}^{\prime }\dots {v}_{l}^{\prime }〉$  , then a $\left(k+l\right)$  -tuple ${\alpha }_{\left(k+l\right)}=〈{v}_{1}\dots {v}_{k}{v}_{1}^{\prime }\dots {v}_{l}^{\prime }〉$  we call a concatenation of ${\alpha }_{k}$  and ${\alpha }_{l}^{\prime }$  and write this as ${\alpha }_{\left(k+l\right)}={\alpha }_{k}\circ {\alpha }_{l}^{\prime }$  .
Proposition 2 Let ${\alpha }_{k}$  be an automorphic $k$  -tuple, $G=Stab\left(Co\left({\alpha }_{k}\right)\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 $|G|/|H|$  classes with projection ${\stackrel{^}{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 $|Aut\left({X}_{k}\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 $|G|/|H|$  classes so that ${\stackrel{^}{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 $\stackrel{\to }{Q}$  be ordered set $Q$  , then $H=Stab\left(\stackrel{\to }{Q}\right)$  is a normal subgroup of $G$  .
Proof: Subgroups $\left\{Stab\left(U\right)  form a class of conjugate subgroups and $H={\cap }_{\left(U\in Q\right)}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\left({Y}_{k}\right),Stab\left({Z}_{k}\right)\right)$  .
Proof: Let $k=n$  , then equalities follows from corresponding properties of sets of left cosets of subgroups of $G$  . For $k  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 $|Aut\left({X}_{k}\right)|=|{X}_{k}|$  .
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. $|{L}_{k}^{2}|  . 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  so that a class ${Y}_{k}\in {L}_{k}$  is a $k$  -orbit of $A$  and $|A|=|{Y}_{k}|$  , 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 $|{X}_{k}|$  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\left(g\right)\cap B\right){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 $|Aut\left({X}_{k}\right)|/|{X}_{k}|>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 $|Aut\left({X}_{k}\right)|=|{X}_{k}|$  .
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\left({Y}_{k}\right),Stab\left({Z}_{k}\right)\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\left({\alpha }_{k}\right)\right)\cap Stab\left(Co\left({\alpha }_{k}^{\prime }\right)\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}={\stackrel{^}{p}}^{\left({\alpha }_{k}\right)}{X}_{n}$  , ${X}_{k}^{\prime }={\stackrel{^}{p}}^{\left({\alpha }_{k}^{\prime }\right)}{X}_{n}$  and ${X}_{2k}={\stackrel{^}{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\left({\alpha }_{k}\right)\right)$  and the $\left(2k\right)$  -subset ${Y}_{2k}^{\prime }$  can be partition on $\left(2k\right)$  -orbits of $Stab\left(Co\left({\alpha }_{k}^{\prime }\right)\right)$  . Take in opinion that ${\alpha }_{k}$  and ${\alpha }_{k}^{\prime }$  have on condition non-trivial intersection with any $k$  -tuple from ${X}_{k}\{Y}_{k}\{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 }_{\left(i=1,l\right)}Stab\left(Co\left({\alpha }_{k}^{i}\right)\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}={\stackrel{^}{p}}^{\left({\alpha }_{k}^{i}\right)}{X}_{n}$  and ${X}_{r}={\stackrel{^}{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}\{\cup }_{\left(i=1,l\right)}{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 $\left\{{\alpha }_{k},\dots \right\}=P$  ( where $1<|P|  ), and the subset $W=V\U$  contains no automorphic $k$  -tuple $G$  -isomorphic to ${\alpha }_{k}$  , then from lemma  10 immediately follows that $U$  is an automorphic subset. If $|U|$  divides $n$  , then $k$  is not the maximal divisor of $n$  . Contradiction. So $|U|$  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\left({I}_{k}^{i}\right):i\in \left[1,|Q|\right]\right\}$  , ${X}_{n}\in Or{b}_{n}\left(G\right)$  , ${X}_{k}={\stackrel{^}{p}}^{\left({I}_{k}^{i}\right)}{X}_{n}$  and ${X}_{2k}^{ij}={\stackrel{^}{p}}^{\left({I}_{k}^{i}\circ {I}_{k}^{j}\right)}{X}_{n}$  , then from lemma  12 it follows that $G={\cap }_{\left(i,j\in \left[1,|Q|\right]\right)}Aut\left({X}_{2k}^{ij}\right)$  . Let $|{X}_{n}|/|{X}_{k}|>1$  ,then there exists a partition ${L}_{2k}^{ij}$  of ${X}_{2k}^{ij}$  so that ${\stackrel{^}{p}}^{\left({I}_{k}^{i}\right)}{L}_{2k}^{ij}={\stackrel{^}{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 $|{X}_{k}|$  . Then there exists only one partition ${P}_{n}$  of ${X}_{n}$  on $|{X}_{n}|/|{X}_{k}|$  automorphic classes so that ${\stackrel{^}{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\left({I}_{k}\right)\right)$  is a md-stabilizer of $G$  . But $Stab\left(Co\left({I}_{k}\right)\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 $|V|/|Q|=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\left({\alpha }_{k}^{i}\right):i\in \left[1,|Q|\right]\right)\right\}$  , ${X}_{k}^{i}={\stackrel{^}{p}}^{\left({\alpha }_{k}^{i}\right)}{X}_{n}$  and ${L}_{k}=\left\{{X}_{k}^{i}:i\in \left[1,|Q|\right]\right)\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(\stackrel{\to }{Q}\right)$  is not trivial. Let ${Y}_{n}\in Or{b}_{n}\left(H\right)$  , $Q=\left\{Co\left({I}_{k}^{i}\right):i\in \left[1,|Q|\right]\right\}$  , ${Y}_{2k}^{ij}={\stackrel{^}{p}}^{\left({I}_{k}^{i}\circ {I}_{k}^{j}\right)}{Y}_{n}$  and $G$  be $2$  -closed, then $H$  is also $2$  -closed and hence $H={\cap }_{\left(i,j\in \left[1,|Q|\right]\right)}Aut\left({Y}_{2k}^{ij};V\right)$  , where $Aut\left({Y}_{2k}^{ij};V\right)$  is an extension of $Aut\left({Y}_{2k}^{ij}\right)$  on $V$  . Accordingly to lemma  15 we can assume that $|V|/|Q|=p$  is prime, then $Aut\left({Y}_{2k}^{ij};V\right)$  (for any $i,j\in \left[1,|Q|\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- [4The $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