$\mathbf{2}$-多项式时间$\mathbf{\frac{3}{2}}$-传递群的闭包。

A. Vasil’ev, D. Churikov
{"title":"$\\mathbf{2}$-多项式时间$\\mathbf{\\frac{3}{2}}$-传递群的闭包。","authors":"A. Vasil’ev, D. Churikov","doi":"10.17377/smzh.2019.60.208","DOIUrl":null,"url":null,"abstract":"Let $G$ be a permutation group on a finite set $\\Omega$. The $k$-closure $G^{(k)}$ of the group $G$ is the largest subgroup of $\\operatorname{Sym}(\\Omega)$ having the same orbits as $G$ on the $k$-th Cartesian power $\\Omega^k$ of $\\Omega$. A group $G$ is called $\\frac{3}{2}$-transitive if its transitive and the orbits of a point stabilizer $G_\\alpha$ on the set $\\Omega\\setminus\\{\\alpha\\}$ 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 $\\Omega$. 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.","PeriodicalId":8427,"journal":{"name":"arXiv: Group Theory","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2018-10-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"$\\\\mathbf{2}$-Closure of $\\\\mathbf{\\\\frac{3}{2}}$-transitive group in polynomial time.\",\"authors\":\"A. Vasil’ev, D. Churikov\",\"doi\":\"10.17377/smzh.2019.60.208\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Let $G$ be a permutation group on a finite set $\\\\Omega$. The $k$-closure $G^{(k)}$ of the group $G$ is the largest subgroup of $\\\\operatorname{Sym}(\\\\Omega)$ having the same orbits as $G$ on the $k$-th Cartesian power $\\\\Omega^k$ of $\\\\Omega$. A group $G$ is called $\\\\frac{3}{2}$-transitive if its transitive and the orbits of a point stabilizer $G_\\\\alpha$ on the set $\\\\Omega\\\\setminus\\\\{\\\\alpha\\\\}$ 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 $\\\\Omega$. 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.\",\"PeriodicalId\":8427,\"journal\":{\"name\":\"arXiv: Group Theory\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2018-10-29\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"arXiv: Group Theory\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.17377/smzh.2019.60.208\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"arXiv: Group Theory","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.17377/smzh.2019.60.208","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0

摘要

设$G$是有限集合$\Omega$上的一个置换群。群$G$的$k$ -闭包$G^{(k)}$是$\operatorname{Sym}(\Omega)$中最大的子群,在$\Omega$的$k$ -笛卡尔次幂$\Omega^k$上与$G$具有相同的轨道。如果一个群$G$的可传递性与集合$\Omega\setminus\{\alpha\}$上的点稳定器$G_\alpha$的轨道大小相同且大于1,则称为$\frac{3}{2}$ -可传递性。我们证明了$\frac{3}{2}$ -传递置换群$G$的$2$ -闭包$G^{(2)}$可以在多项式时间内找到,其大小为$\Omega$。另外,如果群$G$不是$2$ -可传递的,那么对于每一个正整数$k$,它的$k$ -闭包都可以在同一时间内找到。应用这一结果,证明了求解schurian $\frac{3}{2}$ -齐次相干组态(即与$\frac{3}{2}$ -传递群自然相关的组态)同构问题的多项式时间算法的存在性。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
$\mathbf{2}$-Closure of $\mathbf{\frac{3}{2}}$-transitive group in polynomial time.
Let $G$ be a permutation group on a finite set $\Omega$. The $k$-closure $G^{(k)}$ of the group $G$ is the largest subgroup of $\operatorname{Sym}(\Omega)$ having the same orbits as $G$ on the $k$-th Cartesian power $\Omega^k$ of $\Omega$. A group $G$ is called $\frac{3}{2}$-transitive if its transitive and the orbits of a point stabilizer $G_\alpha$ on the set $\Omega\setminus\{\alpha\}$ 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 $\Omega$. 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.
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
自引率
0.00%
发文量
0
期刊最新文献
Galois descent of equivalences between blocks of 𝑝-nilpotent groups Onto extensions of free groups. Finite totally k-closed groups Shrinking braids and left distributive monoid Calculating Subgroups with GAP
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1