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 nmdgroup 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
$\leftAut\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
$\leftA\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
$\leftAut\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
$\leftAut\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 nontrivial 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 nontrivial 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 nontrivial 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 nonintersected 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<\leftP\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
$\leftU\right$
divides
$n$
, then
$k$
is not the maximal divisor of
$n$
. Contradiction. So
$\leftU\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 nmdgroup is
$2$
closed.
Proof: Let
$G\left(V\right)$
be not
$2$
closed a nmdgroup 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 mdgroup.
Let
$G\left(Q\right)$
be a mdreduction of
$G\left(V\right)$
and
$A\left(Q\right)$
be a mdreduction 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 nmdgroup. Contradiction.
$\square $
Lemma 13
Let
$Q$
be a set of imprimitivity blocks of a nmdgroup
$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,\leftQ\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,\leftQ\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 mdgroup, then
$Stab\left(Co\right({I}_{k}\left)\right)$
is a mdstabilizer of
$G$
. But
$Stab\left(Co\right({I}_{k}\left)\right)$
has nontrivial intersection with
$H$
and hence it cannot be a mdstabilizer of
$G$
. Contradiction.
$\square $
Lemma 14
Let
$G\left(V\right)$
be a nmdgroup, then there exists an isomorphic representation
$G\left(Q\right)$
of
$G\left(V\right)$
on imprimitivity blocks of a prime power.
Proof: Let
$\leftV\right/\leftQ\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)\u228fGCo\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}\u228fQ$
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 nmdgroups
From lemma 14 it follows that any nmdgroup contains a regular element.
3.2 Primitive groups
Let
$G$
be a primitive group. If
$G$
contains a nmdsubgroup, then it contains a regular element.
Let
$G$
contains no nmdsubgroup, but an imprimitive mdsubgroup
$A$
.
Lemma 16
Let
$A$
be a maximal imprimitive mdsubgroup 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 mdsubgroup. 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,\leftQ\right\left]\right)\}$
,
${X}_{k}^{i}={\hat{p}}^{\left({\alpha}_{k}^{i}\right)}{X}_{n}$
and
${L}_{k}=\{{X}_{k}^{i}:i\in [1,\leftQ\right\left]\right)\}$
, then any two
$k$
blocks from a
$k$
orbit
${X}_{k}^{i}\in {L}_{k}$
are intersected on
$V$
. Hence a nontrivial 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 mdgroups.
3.3 Imprimitive mdgroups
Let
$G\left(V\right)$
be an imprimitive mdgroup 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,\leftQ\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,\leftQ\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
$\leftV\right/\leftQ\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 manydimensional symmetries and can bring new ideas and applications to other sciences studying symmetrical objects.
References

Peter J. Cameron, Elusive groups and the polycirculant conjecture, Queen Mary, University of London, Barcelona, February 2001

Aleksandr Golubchik, The polynomial algorithm for graphs' isomorphism testing,
, February 2002.
☻ open access ✓

Aleksandr Golubchik, On the Polycirculant conjecture,
, April 2002.
☻ open access ✓

Aleksandr Golubchik, On the nature of finite groups,
, September 2004.
☻ open access ✓

Aleksandr Golubchik, The
$k$
orbit theory and FeinKantorSchacher Theorem,
, February 2005.
☻ open access ✓

Daniel Gorenstein, Finite simple groups, Plenum Press, New York and London, 1982