Isomorphism Classes of Vertex-Transitive Tournaments
拓扑图是通过为无向完全图中的每条边指定方向而得到的图。给出了素数阶点传递竞赛图同构类个数的一个计算公式。为此,我们引入了特殊的Cayley有向图& Cayley竞赛图,并证明了素数阶点传递竞赛图的同构类与素数阶Cayley竞赛图的同构类之间存在一一对应的关系.
2023-01-24 math.CO math.GR
Testing isomorphism of central Cayley graphs over almost simple groups in polynomial time
群G上的Cayley图称为中心图,如果它的连通集是G的正规子集.证明了对于n阶几乎单群上的任意两个中心Cayley图,从第一个图到第二个图的所有同构的集合都可以在时间poly(n)中找到.
2017-04-07 cs.DM math.CO math.GR
Isomorphisms of Cayley graphs on nilpotent groups
设S是无挠幂零群G的有限生成集。我们证明了Cayley图Cay(G;S)的每一个自同构都是仿射的。(That图的每个自同构都是通过将群自同构与群的一个元素相乘而得到的。更一般地,我们证明了:如果Cay(G;S)和Cay(G '; S')是两个幂零群G和G '上的有限价连通Cayley图,则从Cay(G;S)到Cay(G'; S ')的每个同构因子到一个从G/N到G'/N '的定义良好的仿射映射,其中N和N'分别是G和G '的扭子群.对于群是阿贝尔群的特殊情况,这些结果先前分别由A.A.Ryabchenko和C.Loeh证明。
2016-03-11 math.CO math.GR
The Cayley isomorphism property for the group $C^5_2\times C_p$
一个有限群$G$称为DCI-群,如果$G$上的两个Cayley有向图同构当且仅当它们的联络集由群自同构共轭.证明了群$C_2^5\times C_p$是DCI-群当且仅当$p\neq 2$是素数.结合前面得到的结果,这意味着一个阶为$32p$的群$G$是DCI-群当且仅当$p\neq 2$和$G\cong C_2^5\times C_p$,其中$p$是素数。
2020-05-28 math.CO math.GR
The Cayley isomorphism property for $\mathbb{Z}_p^3 \times \mathbb{Z}_q$
对于每对不同的素数$p$,$q$,我们证明了$\mathbb{Z}_p^3 \times \mathbb{Z}_q$是关于二元关系结构的CI-群.
2019-07-08 math.GR
On Isomorphisms of Vertex-transitive Graphs
Cayley图的同构问题已经在文献中得到了很好的研究,例如CI(DCI)-图和CI(DCI)-群的刻画。在本文中,我们将这些推广到点传递图,并建立平行的结果。给出了一些有趣的点传递图,包括第一个连通对称非Cayley非GI-图的例子。此外,我们开始研究GI和DGI-组,定义类似的概念CI和DCI-组。
2016-03-27 math.CO math.GR
Cayley automatic groups are not Cayley biautomatic
我们表明,有凯莱自动群,不是凯莱双自动。另外,我们还证明了存在共轭问题不可判定的Cayley自动群,并且在Cayley自动群类中同构问题是不可判定的。
2011-08-13 math.GR
On the BCI Problem
本文推广了群 Haar 图的 BCI 同构问题,提出理论解法,并针对阿贝尔群和奇数阶循环群等特殊情况,将问题归约或完全解决了同构判定。
2024-11-12 math.CO math.GR
Cayley graphs of more than one abelian group
我们表明,对于某些整数$n$,问题是否一个凯莱有向图$Γ$的$\mathbb Z_n$也同构的凯莱有向图的其他一些阿贝尔群$G$的顺序$n$减少到问题是否一个自然子群的全自同构群包含一个以上的正则阿贝尔群同构(而不是全自同构群)。给出了此类循环图同构于多个阿贝尔群的Cayley有向图的一个充要条件,并给出了一个易于检验的必要条件.
2020-09-17 math.CO math.GR
On the chromatic number of structured Cayley graphs
本文主要研究由代数构造而产生的代数群的Cayley图的色数。利用Lie型有限单群的Lang-Weil界和表示论,我们将建立这类图的色数的下界。这为与有限域上的$n\times n$矩阵环相关的正则图的Cayley图的色数提供了一个下界.利用Kloosterman和的Weil界,我们也将证明有限环上$\mathrm{SL}_2$的类似结果。
2018-07-04 math.CO math.GR
Weak Cayley table groups of some crystallographic groups
对于一个群$G$,弱Cayley同构是一个双射$f:G \to G$,使得对于所有的$g_1,g_2 \in G$,$f(g_1g_2)$与$ f(g_1)f(g_2)$共轭。它们形成一个群$\mathcal W(G)$,它是$G$的弱Cayley表的对称群。我们确定了17个壁纸组$G$中的每一个的$\mathcal W(G)$,以及其他一些晶体群的$\mathcal W(G)$。
2016-03-11 math.GR
Transitive permutation groups of prime-squared degree
本文明确地确定了所有的p-平方次传递群,p是素数,其Sylow p-子群不是两个p阶循环群的圈积。此外,我们给出了Sylow p-子群是这样一个圈积的p-平方次传递群的一般描述,并明确地确定了其中的大多数。作为应用,我们解决了p-平方阶交换群的Cayley对象的Cayley同构问题,明确地确定了p-平方阶阿贝尔群的Cayley图的全自同构群,并找到了所有p-平方阶非正规Cayley图.
2009-03-03 math.CO math.GR
On CI-property of normal Cayley digraphs over abelian groups
本文研究阿贝尔群上正规 Cayley 有向图的 CI-性质,将任意阿贝尔群情形归约为阿贝尔 p-群,并证明了阶数不超过 $p^5$ 的阿贝尔 p-群上的正规 Cayley 有向图均为 CI 的。
2025-03-02 math.CO math.GR
Real reductive Cayley groups of rank 1 and 2
域K上的线性代数群G称为Cayley K-群,如果它允许Cayley映射,即,群簇G与其李代数之间的G-等变K-双有理同构。我们对绝对秩为1和2的实约化代数群进行了分类,它们是Cayley R-群.
2015-03-21 math.AG math.GR
Stably Cayley semisimple groups
域k上的线性代数群G称为Cayley群,如果它允许Cayley映射,即群簇G与它的李代数Lie(G)之间存在k上的G-等变双有理同构.一个典型的例子是经典的“凯莱变换”的特殊正交群SO(n)定义的阿瑟凯莱在1846年。一个线性代数k-群G称为稳定Cayley群,如果对于某个可裂k-环面S,$G \times S$是Cayley群.我们对特征为0的任意域k上的Cayley半单群进行了稳定分类。
2014-09-18 math.AG math.GR
The group SU_3 is Cayley
域K上的线性代数群G称为Cayley群,如果它允许Cayley映射,即,群簇G与其李代数之间的G-等变K-双有理同构。本文证明了三元特殊酉群SU_3是R上的Cayley群,从而推广了V.L. Popov在1975年证明了特征为0的代数闭域上的特殊线性群SL_3是Cayley。我们还讨论了R-群SL_{3,R}是否是Cayley的问题。
2012-12-08 math.AG math.GR
Isomorphism Theorems for Gyrogroups and L-Subgyrogroups
将群论中的一些著名结果推广到回转群,特别是同构定理。证明了任意的回转群$G$在其对称群$G$上诱导出回转群结构,从而得到了Cayley定理.引入L-子回转群的概念,证明了L-子回转群将$G$划分为左陪集.因此,如果$H$是有限回转群$G$的L-子回转群,则$H$的阶除$G$的阶。
2014-11-05 math.GR
Subperiodic groups and bounded automorphisms of periodic graphs
研究亚周期群在三维空间中的分类,通过开发易计算的不变量识别同构类,并探讨有限阶有界自同构在晶格图中的应用。
2026-11-11 math.CO math.GR
Stably Cayley groups in characteristic zero
域k上的线性代数群G称为Cayley群,如果它允许Cayley映射,即,在群簇G和李代数Lie(G)之间的k上的G-等变双有理同构。凯莱映射可以被认为是指数映射的部分代数模拟。一个典型的例子是经典的“凯莱变换”的特殊正交群SO_n定义的阿瑟凯莱在1846年。一个k-群G称为稳定Cayley群,如果G与一个分裂的r-维k-环面的乘积是Cayley群,其中r= 0,1,2,.这些概念是由N. Lemire,V. L. Popov和Z. Reichstein,谁分类凯莱和稳定凯莱单群在代数闭域的特征零。本文研究了特征为零的任意域k上的Cayley和稳定Cayley约化群。我们的主要结果是一个标准的约化k-群G是稳定的凯莱,制定其特征格,和分类的稳定凯莱简单(但不一定绝对简单)的群体。
2013-07-20 math.AG math.GR
Cayley groups
经典Cayley映射X ->(I_n-X)/(I_n+X)是特殊正交群SO_n与其李代数SO_n之间的双有理同构,SO_n分别关于共轭作用和伴随作用是SO_n-等变的.我们问是否可以为其他代数群构造具有这些性质的映射。我们表明,答案通常是“不”,有几个例外。特别地,我们证明了SL_n的Cayley映射存在的充要条件是n <= 3.这回答了一个关于月亮的老问题。
2006-02-07 math.AG math.GR
Separability of Schur rings over an abelian group of order 4p
一个$S$ -环(一个Schur环)被称为关于一类群$\mathcal{K}$是可分的,如果它与一个来自$\mathcal{K}$的群上的$S$ -环的每一个代数同构都由一个组合同构导出.证明了$4p$阶的阿贝尔群$G$上的Schur环关于阿贝尔群类是可分的,其中$p$是素数.这意味着$G$上的Cayley图类的Weisfeiler-Leman维数至多为2。
2018-12-29 math.CO math.GR
Isomorphisms between centers of integral group rings
对于有限幂零群$G$和$G^{\prime}$,以及一个$G$适应环$S$(例如有理数),证明了群环$SG$和$SG^{\prime}$的中心之间的同构是单性的,即,将$SG$中的类和映射到$SG^{\prime}$中的类和,直到与单位根相乘。因此,$G$和$G^{\prime}$有相同的特征标表当且仅当它们的整群环$\mathbb{Z} G$和$\mathbb{Z} G^{\prime}$的中心同构。在证明过程中,给出了类和对应的一个新的证明。
2006-12-15 math.GR math.RT
A Polynomial Time Graph Isomorphism Algorithm For Graphs That Are Not Locally Triangle-Free
在本文中,我们证明了存在一个多项式时间图同构算法的所有图,不包括图是局部trianglefree。这类特殊的图允许将图划分为邻域子图,其中每个导出子图(邻域)至少有2个顶点。我们构造所有可能的置换为每个诱导子图使用搜索树。基于这些置换,我们构造了子图的自同构。最后,通过自同构判定同构。作者期望,解决方案,本文中提出的,可能会导致一个更快的算法的一般情况下,图同构(使用“重心细分”)。这篇论文可能会影响组同构,因为我们可以构造图(对应于一个特定的组)的方式,所以我们可以避免它是一个三角形自由图。因为,对于给定的群G,每个生成集的选择将给出不同的凯莱图。
2016-06-01 cs.DM cs.DS math.CO
A comment on: "Further restrictions on the structure of finite DCI-groups"
一个有限群R是CI-群,如果当S和T是R的子集且Cayley图Cay(R,S)和Cay(R,T)同构时,存在R的一个自同构x使得S^x=T. CI-群的分类是Cayley图理论中的一个公开问题,它与图的同构问题密切相关。本文是对这一分类的贡献,因为我们证明了每一个二面体群的阶为6p,其中p>3素数,是CI-群。
2014-02-18 math.CO math.GR
Polynomial-time isomorphism test for solvable groups with abelian Sylow subgroups
本文针对具有阿贝尔Sylow子群的群(A-群)提出多项式时间同构测试算法,推广了Babai和Qiao关于可解群的结果,并利用了其计算方法和A-群的结构性质。
2026-09-09 cs.CC math.GR
Polynomial-time isomorphism test for $k$-generated extensions of abelian groups
本文提出了一种多项式时间算法,用于测试交换群的循环扩展和简单群扩展的同构性,推广了已有研究成果。
2026-03-08 cs.CC math.GR
Separability of Schur rings over abelian groups of odd order
一个$S$ -环(一个Schur环)被称为关于一类群$\mathcal{K}$是可分的,如果从所讨论的$S$ -环到一个来自$\mathcal{K}$的群上的$S$-环的每一个代数同构都是由一个组合同构诱导的.一个有限群$G$称为相对于$\mathcal{K}$可分,如果$G$上的每个$S$ -环相对于$\mathcal{K}$可分.证明了$9p$阶的交换群$G$(其中$p$是素数)关于所有有限阿贝尔群的类是可分的.模以前获得的结果,这完成了分类的非循环阿贝尔群的奇数阶是可分离的类的所有有限的阿贝尔群。这也意味着$G$上的Cayley图类的Weisfeiler-Leman维数至多为2。
2019-12-16 math.CO math.GR
On separability of Schur rings over abelian p-groups
一个$S$ -环(Schur环)称为关于一类$S$ -环$\mathcal{K}$是可分的,如果它在$\mathcal{K}$中直到同构仅由其结构常数的张量确定.一个阿贝尔群称为可分群,如果这个群上的每个$S$ -环关于阿贝尔群上的$S$ -环类是可分的。设$C_n$是$n$阶循环群,$G$是非循环交换$p$ -群.从先前获得的结果可以得出,如果$G$是可分离的,则$G$同构于$C_p\times C_{p^k}$或$C_p\times C_p\times C_{p^k}$,其中$p\in \{2,3\}$和$k\geq 1$。我们证明了群$D=C_p\times C_{p^k}$是可分的,只要$p\in \{2,3\}$。从这一点出发,我们推出了一个给定的$D$上的Cayley图和一个给定的任意阿贝尔群上的Cayley图,我们可以检验这些图在时间上是否同构$|D|^{O(1)}$ .
2017-09-12 math.CO math.GR
On the complexity of isomorphism problems for tensors, groups, and polynomials IV: linear-length reductions and their applications
本文提出新型张量构件实现张量同构问题的线性长度归约,改进了三次型等价、代数同构及多类p-群同构测试的时间复杂度,还解答了相关群同构判定的公开问题。
2024-04-12 cs.CC cs.DS math.AG
Idempotent solutions of the Yang-Baxter equation and twisted group division
杨-巴克斯特方程的幂等左非退化解与扭曲Ward左拟群一一对应,扭曲Ward左拟群是满足恒等式$(x*y)*(x*z)=(y*y)*(y*z)$的左拟群.利用Cayley核和平方映射的组合性质,证明了素数阶扭曲Ward左拟群是置换拟群或拟群。直到同构,所有扭曲Ward拟群$(X,*)$都是通过扭曲群中的左除运算得到的(即,它们对于群$(X,\cdot)$及其自同构$ψ$具有$x*y=ψ(x^{-1}y)$的形式),并且它们对应于幂等拉丁解。我们解决了幂等拉丁解的同构问题。
2020-02-07 math.GR math.QA
Generic properties of Whitehead's Algorithm and isomorphism rigidity of random one-relator groups
证明了求解固定自由群$F_k$中自同构问题的Whitehead算法具有强线性时间一般情况复杂度。这是通过显示算法的“硬”部分在线性时间内终止于一组指数通用的输入对来完成的。然后,我们将这些结果应用到一个关系群。我们得到了随机单关系群的Mostow型同构刚性结果:如果两个这样的群同构,则它们在\emph{given generating sets}上的Cayley图是等距的.虽然以前没有非平凡的例子,我们证明了单关系群是一般的\emph{complete}群,即它们有平凡的中心和平凡的外自同构群。我们还证明了在$Aut(F_k)$中$F_k$的类元的稳定子是由内自同构生成的循环群,并且证明了$Aut(F_k)$ -轨道在其增长熵意义下是一致小的.进一步证明了$k$生成元单关系子群的\emph{isomorphism types}的个数$I_k(n)$满足\[ \frac{c_1}{n} (2k-1)^n \le I_k(n)\le \frac{c_2}{n} (2k-1)^n, \],其中$c_1=c_1(k)>0, c_2=c_2(k)>0$是与$n$无关的常数.因此,$I_k(n)$基本上以与长度为$n$的循环字的数目相同的方式增长。
2004-08-27 cs.CC math.GR math.GT
Classifying presentations of finite groups -- the case of dicyclic groups
本文在双循环群的情形下,研究了Cayley图同构表示的等价类的分类问题。等价类的演示文稿的数量是一致有界的-这是一个“有限演示类型”的情况下。我们发现所有的等价类的双循环群的介绍有两个发电机。对于$4n$阶的双循环群,除了对所有的$n$有阶多集$\{\{2n,4\}\}$的经典表示外,还有阶多集$\{\{4,4\}\}$的表示.如果$n$是奇数,则存在具有有序多集$\{\{n,4\}\}$的元素的附加表示。这些结果可用于表征基团的结构和性质。
2019-03-15 math.GR
On the Complexity of Problems on Graphs Defined on Groups
本文研究群上定义的图(如幂图)上若干图问题的复杂性,证明在ETH下同构不变问题非NP完全,并给出加权最大割的NP完全性及图基序的难解性,同时探讨幂图识别的多项式算法。
2025-07-08 cs.CC cs.DM math.GR
Critical percolation of virtually free groups and other tree-like graphs
本文提出了一种求树型图上伯努利键渗流临界概率$p_c$的方法。这样一个图可以被分解成一个由多个部分组成的树,每个部分都有许多同构类。这类图包括混合积的凯莱图、HNN扩张图或作用在树上的一般群。它还包括所有具有多个端点的传递图。该方法的思想是找到一个多类型的Galton-Watson分支过程(参数为$p$),它具有有限的期望总体规模当且仅当期望的渗流集团规模是有限的。这提供了有关$p_c$的充分信息。特别地,如果片段的成对交叉是有限的,则$p_c$是最小的正$p$,使得$\operatorname {det}(M-1)=0$,其中$M$是分支过程的一阶矩矩阵。如果树型结构的各部分是有限的,则$p_c$是一个代数数,并且我们给出了一个计算$p_c$作为某个代数函数的根的算法.我们证明了一个虚自由群(即,作用于具有有限顶点稳定器的树的群)相对于任何有限生成集具有有限片的树状结构。特别是,我们展示了如何计算$p_c$的凯莱图的自由群关于任何有限生成集。
2010-02-19 math.GR math.PR