Showing 1–7 of 7 results for author: Churikov, D

On totally k-closed nilpotent groups

Authors: Dmitry Churikov

Abstract: A group $G$ is said to be totally $k$-closed for a positive integer $k$ if, in each of its faithful permutation representations on a set $Ω^k$, $G$ is the largest subgroup of the symmetric group $\operatorname{Sym}(Ω)$ that preserves every $k$-orbit in the induced action on the set $Ω\times\dots\times Ω=Ω^k$. We prove that for $k\geq1$, every finite nilpotent group with Sylow subgroups of orders a… ▽ More A group $G$ is said to be totally $k$-closed for a positive integer $k$ if, in each of its faithful permutation representations on a set $Ω^k$, $G$ is the largest subgroup of the symmetric group $\operatorname{Sym}(Ω)$ that preserves every $k$-orbit in the induced action on the set $Ω\times\dots\times Ω=Ω^k$. We prove that for $k\geq1$, every finite nilpotent group with Sylow subgroups of orders at most $p^k$ for all primes $p$ dividing $|G|$ is totally $k$-closed if and only if it does not contain an elementary abelian subgroup $\mathbb{Z}_p^k$ for every prime $p$. △ Less

Submitted 24 December, 2023; originally announced December 2023.

MSC Class: 20B25; 05E18

The minimal size of a generating set for primitive $\frac{3}{2}$-transitive groups

Authors: Dmitry Churikov, Andrey V. Vasil'ev, Maria A. Zvezdina

Abstract: We refer to $d(G)$ as the minimal cardinality of a generating set of a finite group $G$, and say that $G$ is $d$-generated if $d(G)\leq d$. A transitive permutation group $G$ is called $\frac{3}{2}$-transitive if a point stabilizer $G_α$ is nontrivial and its orbits distinct from $\{α\}$ are of the same size. We prove that $d(G)\leq4$ for every primitive $\frac{3}{2}$-transitive permutation group… ▽ More We refer to $d(G)$ as the minimal cardinality of a generating set of a finite group $G$, and say that $G$ is $d$-generated if $d(G)\leq d$. A transitive permutation group $G$ is called $\frac{3}{2}$-transitive if a point stabilizer $G_α$ is nontrivial and its orbits distinct from $\{α\}$ are of the same size. We prove that $d(G)\leq4$ for every primitive $\frac{3}{2}$-transitive permutation group $G$, moreover, $G$ is $2$-generated except for the very particular solvable affine groups that we completely describe. In particular, all finite $2$-transitive and $2$-homogeneous groups are $2$-generated. We also show that every finite group whose abelian subgroups are cyclic is $2$-generated, and so is every Frobenius complement. △ Less

Submitted 6 July, 2022; v1 submitted 19 February, 2022; originally announced February 2022.

MSC Class: 20B05; 20B15; 20B20

Journal ref: Sib. Math. J. vol. 63, no. 6, 1041-1048 (2022)

Structure of $k$-closures of finite nilpotent permutation groups

Authors: Dmitry Churikov

Abstract: Let $G$ be a permutation group on a set $Ω$, and $k$ a positive integer. The $k$-closure $G^{(k)}$ of $G$ is the largest subgroup of $\operatorname{Sym}(Ω)$, with the same as $G$ orbits of componentwise action on $Ω^k$. We prove that the $k$-closure of a finite nilpotent permutation group is the direct product of $k$-closures of its Sylow subgroups. Let $G$ be a permutation group on a set $Ω$, and $k$ a positive integer. The $k$-closure $G^{(k)}$ of $G$ is the largest subgroup of $\operatorname{Sym}(Ω)$, with the same as $G$ orbits of componentwise action on $Ω^k$. We prove that the $k$-closure of a finite nilpotent permutation group is the direct product of $k$-closures of its Sylow subgroups. △ Less

Submitted 25 July, 2021; originally announced July 2021.

MSC Class: 20B25; 05E18

On WL-rank of Deza Cayley graphs

Authors: Dmitry Churikov, Grigory Ryabov

Abstract: The WL-rank of a digraph $Γ$ is defined to be the rank of the coherent configuration of $Γ$. We construct a new infinite family of strictly Deza Cayley graphs for which the WL-rank is equal to the number of vertices. The graphs from this family are divisible design and integral. The WL-rank of a digraph $Γ$ is defined to be the rank of the coherent configuration of $Γ$. We construct a new infinite family of strictly Deza Cayley graphs for which the WL-rank is equal to the number of vertices. The graphs from this family are divisible design and integral. △ Less

Submitted 25 May, 2021; originally announced May 2021.

Comments: 7 pages. arXiv admin note: text overlap with arXiv:2012.13898

MSC Class: 05C25; 05C60; 05C75

Journal ref: Discrete Mathematics, Vol.345, No. 2 (2022) Article ID 112692

Finite totally $k$-closed groups

Authors: Dmitry Churikov, Cheryl E. Praeger

Abstract: For a positive integer $k$, a group $G$ is said to be totally $k$-closed if in each of its faithful permutation representations, say on a set $Ω$, $G$ is the largest subgroup of $\operatorname{Sym}(Ω)$ which leaves invariant each of the $G$-orbits in the induced action on $Ω\times\dots\times Ω=Ω^k$. We prove that every abelian group $G$ is totally $(n(G)+1)$-closed, but is not totally $n(G)$-close… ▽ More For a positive integer $k$, a group $G$ is said to be totally $k$-closed if in each of its faithful permutation representations, say on a set $Ω$, $G$ is the largest subgroup of $\operatorname{Sym}(Ω)$ which leaves invariant each of the $G$-orbits in the induced action on $Ω\times\dots\times Ω=Ω^k$. We prove that every abelian group $G$ is totally $(n(G)+1)$-closed, but is not totally $n(G)$-closed, where $n(G)$ is the number of invariant factors in the invariant factor decomposition of $G$. In particular, we prove that for each $k\geq2$ and each prime $p$, there are infinitely many finite abelian $p$-groups which are totally $k$-closed but not totally $(k-1)$-closed. This result in the special case $k=2$ is due to Abdollahi and Arezoomand. We pose several open questions about total $k$-closure. △ Less

Submitted 12 February, 2021; v1 submitted 3 December, 2020; originally announced December 2020.

MSC Class: 20B25; 05E18

On $2$-closed abelian permutation groups

Authors: Dmitry Churikov, Ilia Ponomarenko

Abstract: A permutation group $G\le\operatorname{Sym}(Ω)$ is said to be $2$-closed if no group $H$ such that $G<H\le\operatorname{Sym}(Ω)$ has the same orbits on $Ω\timesΩ$ as $G$. A simple and efficient inductive criterion for the $2$-closedness is established for abelian permutation groups with cyclic transitive constituents. A permutation group $G\le\operatorname{Sym}(Ω)$ is said to be $2$-closed if no group $H$ such that $G<H\le\operatorname{Sym}(Ω)$ has the same orbits on $Ω\timesΩ$ as $G$. A simple and efficient inductive criterion for the $2$-closedness is established for abelian permutation groups with cyclic transitive constituents. △ Less

Submitted 24 November, 2020; originally announced November 2020.

MSC Class: 20B25; 05E18

$\mathbf{2}$-Closure of $\mathbf{\frac{3}{2}}$-transitive group in polynomial time

Authors: Andrey V. Vasil'ev, Dmitry Churikov

Abstract: Let $G$ be a permutation group on a finite set $Ω$. The $k$-closure $G^{(k)}$ of the group $G$ is the largest subgroup of $\operatorname{Sym}(Ω)$ having the same orbits as $G$ on the $k$-th Cartesian power $Ω^k$ of $Ω$. A group $G$ is called $\frac{3}{2}$-transitive if its transitive and the orbits of a point stabilizer $G_α$ on the set $Ω\setminus\{α\}$ are of the same size greater than one. We p… ▽ More Let $G$ be a permutation group on a finite set $Ω$. The $k$-closure $G^{(k)}$ of the group $G$ is the largest subgroup of $\operatorname{Sym}(Ω)$ having the same orbits as $G$ on the $k$-th Cartesian power $Ω^k$ of $Ω$. A group $G$ is called $\frac{3}{2}$-transitive if its transitive and the orbits of a point stabilizer $G_α$ on the set $Ω\setminus\{α\}$ are of the same size greater than one. We prove that the $2$-closure $G^{(2)}$ of a $\frac{3}{2}$-transitive permutation group $G$ can be found in polynomial time in size of $Ω$. In addition, if the group $G$ is not $2$-transitive, then for every positive integer $k$ its $k$-closure can be found within the same time. Applying the result, we prove the existence of a polynomial-time algorithm for solving the isomorphism problem for schurian $\frac{3}{2}$-homogeneous coherent configurations, that is the configurations naturally associated with $\frac{3}{2}$-transitive groups. △ Less

Submitted 29 October, 2018; originally announced October 2018.

MSC Class: 20B25; 20B40; 05E18; 05C60

Journal ref: Siberian Math. J., vol. 60, no. 2, pp. 360-375 (2019)