Salter's question on the image of the Burau representation of $B_3$
本文针对 Salter 提出的关于 Burau 表示像群中心商是否为某酉群子群中心商的问题,在最简单的非平凡情形 $n=3$ 下通过算法构造反例给出了否定解答。
2024-05-30 math.GR math.GT
Salter's question on the image of the Burau representation of $B_4$
本文通过构造反例对 $n=4$ 情况下的 Salter 问题给出了否定解答,并提出了关于 $B_4$ Burau 表示忠实性的两点注记,包括推广了前人结果及提供建筑理论判据。
2024-12-19 math.GR math.GT
A strong characterization of the entries of the Burau matrices of $4$-braids: The Burau representation of the braid group $B_4$ is faithful almost everywhere
我们建立强约束的内核(约化)Burau表示$β_4:B_4\to \text{GL}_3\left(\mathbb{Z}\left[q^{\pm 1}\right]\right)$的辫群$B_4$。我们开发了一个理论,明确地确定条目的布劳矩阵的辫子在$B_4$,这是一个重要的一步,证明$β_4$是忠实的(一个长期存在的问题,在20世纪30年代)。该理论是基于一种新的组合解释的$β_4\left(g\right)$,在Garside规范形式的$g\in B_4$和一个新的产品分解的积极辫子。我们开发的矩阵组中的字的取消结果表明,如果$σ$是一个通用的正辫子在$B_4$,如果$t\neq 2$是一个素数,那么在至少一行的矩阵$β_4\left(σ\right)$的领导系数是非零模$t$。我们利用这些取消的结果推断,$B_4$的Burau表示是忠实的几乎处处。
2022-09-22 math.GR math.GT math.QA
Densely ordered braid subgroups
Dehornoy证明了Artin辫群$B_n$是左可序的。这种顺序是离散的,但我们表明,对于$n >2$的Dehornoy订购时,限制到某些自然子群,成为一个稠密的顺序。其中出现的子群是换位子群和核心的布劳表示(对于那些$n$的核心是非平凡的)。这些结果遵循从表征的任何正规子群的$B_n$,这是离散有序的Dehornoy订购的最小正元素。
2007-05-18 math.AT math.GR
Quotients of braid groups by their congruence subgroups
该研究解决了Dan Margalit提出的公开问题,确定了辫群同余子群在整一般线性群中的像,并利用辛同余子群刻画了辫群模同余子群的商群结构。
2023-06-12 math.AT math.GR math.GT
Extensions of Tong-Yang-Ma representation
1996年,Tong,Yang和Ma定义了辫群的一个表示族,它与(未约化的)Burau表示具有相同的维数,但不等价。Burau表示是同调定义的,并以几种方式扩展到字符串链接。本文利用Silver和Williams的方法,将Tong-Yang-Ma表示族推广到弦杆和焊接弦杆。此外,我们表明,这些表示的内核可以用一些环绕数来描述。最后,我们将Long-Moody构造应用于Tong-Yang-Ma表示,并研究了它的第一性质。
2023-01-23 math.GR math.GT
Generators for the level $m$ congruence subgroups of braid groups
本文证明辫群水平 $m$ 同余子群 $B_n[m]$ 由半扭转的 $m$ 次幂与辫 Torelli 群生成,解决 Margalit 问题并推广已有结果。
2024-09-15 math.GR math.GT
On quotients of congruence subgroups of braid groups
积分Burau表示提供了从辫群到一组积分矩阵的映射。这允许一个定义的同余子群的辫群的原像通常的主同余子群的整矩阵。我们探讨这些同余子群的结构,通过检查一些可能出现在一系列诱导的可分性的水平。我们建立在Stylianakis的工作上的对称同余群,这本身推广了商的辫群的纯辫群。我们完成这一点,利用结果纽曼积分矩阵,并明确发现任何转置的原像中的元素。我们的推广是可能的,避免使用一个发电机组的同余子群。我们发现进一步推广的基础上的结果Brendle和Margalit以及Kordek和Margalit的水平四同余子群。这给出了不同构于对称群的同素元族。
2020-11-27 math.GR math.GT
The behavior of $π$-submaximal subgroups under homomorphisms with $π$-separable kernels
我们探讨在何种程度上构建归纳理论的$\mathfrak{X}$ -次极大子群是可能的。为此,我们研究了$π$ -次极大子群在具有$π$ -可分核的同态下的行为,并构造了这种行为不规则的例子。
2020-06-17 math.GR
Centrality of the congruence kernel for elementary subgroups of Chevalley groups of rank >1 over noetherian rings
本文证明了任意诺特环R上秩>1的Chevalley群G的基本子群的同余核的中心性(如果G是C_n或G_2型,则对R作一些小的限制).
2010-07-14 math.GR
The kernel of the adjoint representation of a p-adic Lie group need not have an abelian open normal subgroup
设G是p进李群,Ad是G在其李代数上的伴随表示.文献中指出Ad的核K总是有一个阿贝尔开正规子群。我们通过一个反例表明,这个断言是假的,它甚至可以发生,K=G,但G没有阿贝尔次正规子群除了平凡群。论证是基于中心合并的自由积子群的辅助结果。
2014-12-18 math.GR
Extending representations of braid groups to the automorphism groups of free groups
构造了自由群F_n的IA-自同构群IA(F_n)的线性表示,它是纯辫群P_n的Gassner表示的推广.虽然Gassner表示的忠实性问题在n > 3时仍然是开放的,但我们证明了即使n=2,我们的表示对基共轭自同构群Cb_n的限制也包含非平凡核。我们还构造了Burau表示在共轭自同构群C_n上的推广。这种表示对于n > 1是不忠实的。
2004-08-24 math.GR
The congruence subgroup problem for branch groups
本文研究了作用在有根树上的群的同余子群问题,特别是支群的同余子群问题。这个问题被简化为计算同余核,我们分为两部分:分支核和刚性核。在正则分支群的情形下,我们证明了第一个分支群是阿贝尔的,而第二个分支群是有限指数的。我们还建立了一些刚性的结果,这些内核。我们明确已知的和新的例子,非平凡的同余内核,描述在每种情况下的群作用。河内塔群因其令人惊讶的丰富行为而受到特别关注。
2009-02-18 math.GR
On the Congruence Subgroup Problem for integral group rings
设$G$是有限群,$\Z G$是$G$的整群环,$\U(\Z G)$是$\Z G$的单位群. $\U(\Z G)$的同余子群问题是判定$\U(\Z G)$的每个有限指数子群是否包含一个同余子群,即自然同态$\U(\Z G) \rightarrow \U(\Z G/m\Z G)$的核是否为某个正整数$m$的问题。$\U(\Z G)$的同余核是从$\U(\Z G)$关于profinite拓扑的完备化到关于同余子群定义的拓扑的完备化的自然映射的核。同余子群问题有正解当且仅当同余核是平凡的。我们得到了$\U(\Z G)$的同余核有限的有限群的分类问题的一个近似。更准确地说,我们得到了一个列表$L$形成的三个家庭的有限群和19个额外的群体,使如果同余核的$\U(\Z G)$是无限的,然后$G$有一个满射图像同构的$L$的群体之一。关于这个陈述的逆,我们至少知道,如果$L$中的19个附加群之一同构于$G$的满同态像,则$\U(\Z G)$的同余核是无限的。然而,要决定有限的同余核的情况下$G$有一个满射图像同构的三个家庭之一的$L$的一个需要知道,如果该集团的单位的一个命令在某些特定的部门代数的同余核是有限的,这似乎是一个困难的问题。
2013-09-04 math.GR
The congruence subgroup problem for a family of branch groups
本文构造了一族推广Hanoi塔群的群,并研究了一族群的同余子群问题。我们证明了与Hanoi塔群不同的是,在这个推广中的群是无限的,并且具有平凡的刚性核。我们还对分支内核进行了严格的限制。此外,我们还证明了这些群都有具有非平凡刚性核的有限指数子群。以前已知的唯一一个核不平凡的群是汉诺塔群,因此这增加了无限多的新例子。最后,我们证明了这些群的拓扑闭包具有任意接近于1的豪斯多夫维数。
2019-12-02 math.GR
A just-infinite iterated monodromy group without the congruence subgroup property
Texas A&M University(德州农工大学)
本研究证明多项式z²+i的迭代单值群具备刚无限、正则分支且无同余子群性质,给出了此类多项式迭代单值群的首个实例,并补充了该群相关核的信息。
2026-08-12 math.GR
On normal subgroups of the braided Thompson groups
研究了辫子Thompson群Vbr和Fbr的正规子群结构.证明了Vbr的每一个真正规子群都位于自然商Vbr \onto V的核中,并给出了这类正规子群的若干族.对于Fbr,证明了对Fbr的任意正规子群N,要么N包含在Fbr \onto F的核中,要么N包含[Fbr,Fbr].我们还计算了Bieri-Neumann-Strebel不变量Sigma^1(Fbr),它是理解包含换位子群的正规子群的有用工具。
2018-01-31 math.GR
On the congruence kernel of isotropic groups over rings
设R是连通Noether交换环,G是R上的单连通约化群,G的秩为ge 2. G(R)的基本子群E(R)是由G的两个相反的抛物子群P^+和P^-的幂幺根的R-点U_P^+(R)和U_P^-(R)生成的子群。设2在R中可逆,若G是B_n,C_n,F_4,G_2型; 3在R中可逆,若G是G_2型。证明了E(R)的同余核是中心的,同余核定义为E(R)的前有限完备化与E(R)的同余完备化关于有限指标同余子群的自然同态的核.在证明过程中,我们构造了与迷向约化群相联系的Steinberg群,并证明了当R是局部环时,它们是E(R)的中心扩张.
2019-02-05 math.GR
Centrality of the congruence subgroup kernel of higher rank non-uniform arithmetic groups
本文给出了高阶迷向情形下同余子群核的中心性的一个简单证明。
2021-08-20 math.GR math.NT
On Camina pairs and the Fitting subgroup
本文研究了Camina对中Fitting子群与Camina核之间的关系。
2025-09-18 math.GR
The derangements subgroup in a finite permutation group and the Frobenius--Wielandt Theorem
本文综述了错位子群与 Frobenius--Wielandt 核的关系,并刻画了 $p$-群作为传递非正则置换群单点稳定子的群论条件。
2025-01-29 math.GR
On the behaviour of the Atiyah Conjecture under taking subgroups and under taking quotients with finite kernel
本文陈述并证明了强Atiyah猜想可推广到子群的一个条件。此外,我们还证明了如果一个群满足(强)Atiyah猜想,那么任何具有有限核的商都满足。
2008-10-08 math.GR math.GT math.OA
Finite p-groups with a Frobenius group of automorphisms whose kernel is a cyclic p-group
设有限$p$ -群$P$允许一个由自同构$FH$构成的弗罗贝尼乌斯群,其核$F$是循环的$p$ -群,并有补$H$ .证明了若补的不动点子群$C_P(H)$是类$c$的幂零子群,则$P$有一个指数关于$c$,$|C_P(F)|$和$|F|$有界的特征子群,其幂零类仅关于$c$和$|H|$有界.实例表明,$F$是环状的条件是必不可少的.证明是基于一个李环的方法和一个定理的作者和P. Shumyatsky关于李环的亚循环弗罗贝尼乌斯群的自同构$FH$。还证明了$P$有一个特征子群,其阶和秩分别以$|H|$和$C_P(H)$的阶和秩为界,其指数以$C_P(H)$的指数为界,其指数为$(|C_P(F)|, |F|)$有界指数.
2014-09-19 math.GR
On the non-triviality of the torsion subgroup of the abelianized Johnson kernel
CNRS(法国国家科学研究中心)
本文通过二维方法证明了abelized Johnson核的torsion子群非平凡,并给出了其基数的下界。
2024-02-06 math.GR math.GT
When is the search of relatively maximal subgroups reduced to quotients?
设${\mathfrak{X}}$是一类在取子群、同态像和扩张下闭的有限群.用${\mathrm{k}}_{\mathfrak{X}}(G)$表示有限群$G$的共轭类${\mathfrak{X}}$ -极大子群的个数。描述给定有限群的共轭${\mathfrak{X}}$ -极大子群的自然问题是复杂的,因为它不是归纳的。特别地,一般来说,${\mathfrak{X}}$ -极大子群的像在同态的像中不是${\mathfrak{X}}$ -极大的。然而,存在保持${\mathfrak{X}}$ -极大子群的共轭类的数目的群同态(例如,其核是${\mathfrak{X}}$ -群的同态)。在这样的同态下,${\mathfrak{X}}$ -极大子群的象总是${\mathfrak{X}}$ -极大的,而且象的${\mathfrak{X}}$ -极大子群的共轭类与原象的共轭类之间存在自然的双射.所有这样的同态完全描述的文件。更确切地说,它证明了,对于一个同态$ϕ$从一个群$G$,等式${\mathrm{k}}_{\mathfrak{X}}(G)={\mathrm{k}}_{\mathfrak{X}}(\mathrm{im}\, ϕ)$成立当且仅当${\mathrm{k}}_{\mathfrak{X}}(\ker ϕ)=1$,这反过来又是等价的事实,即合成因子的核心$ϕ$属于一个显式给定的列表。
2021-10-29 math.GR
A Special Subgroup of the Surface Braid Group
本文证明,如果$M$是亏格$g$的紧致定向Riemann曲面,并且$M^{[n]}$是$M$上$n$不同、无序点的分类空间,则映射$π_1(M^{[n]})\to H_1(M)$的核是通过对足够大的$n$进行转置而生成的。具体地说,我们把$M$看作一个多面体,而$M$的边集生成这个群。
2004-09-24 math.GR
Homology of even Artin kernels
本文明确地计算了FC-型上循环子群甚至Artin群的系数在特征为零的域上的同调群。当系数取在素特征域中时,我们也给出了一些部分结果。
2021-02-23 math.GR
On the space of subgroups of Baumslag-Solitar groups I: perfect kernel and phenotype
本文从拓扑和动力学角度研究Baumslag-Solitar群的子群空间,确定其完美核,并引入由算术函数定义的“表型”划分,证明共轭作用在各部分上的拓扑传递性,并识别最大紧致不变子空间。
2024-11-08 math.DS math.GR
On the space of subgroups of Baumslag-Solitar groups II: High transitivity
本文研究Baumslag-Solitar群子群空间的高传递性,发现有限表型下高传递性仅在表型为1时普遍,无限表型下高传递性普遍除非|m|=|n|。
2025-12-18 math.GR
Frobenius groups of automorphisms with almost fixed point free kernel
设$FH$是一个Frobenius群,其核为$F$,补为$H$,通过自同构作用于有限可解群$G$.证明了若$C_{G}(H)$的Fitting长度为$n$,则$G$中第$n$个Fitting子群$F_{n}(G)$的指数依$|C_{G}(F)|$和$|F|.$有界。推广了Khukhro和Makarenko \cite{k-m}处理$n=1.$情形的结果
2018-07-22 math.GR
A note on Flavell's theorem associated with Frobenius groups
设G是一个具有Frobenius核K的弗罗贝尼乌斯群。设G包含一个非平凡子群D \subseteq K,使得正规化子N_G(D)\not \subseteq K.当D不是2-群时,Flavell不用特征标理论证明了K是G的子群。在此基础上,进一步证明了当D是2-群时,K是子群。
2022-11-27 math.GR
Conjugacy classes of maximal cyclic subgroups
设$η(G)$为$G$的极大循环子群的共轭类数.我们考虑了$η$和直积、半直积.我们刻画了正规子群$N$,使得$η(G/N) = η(G)$ .我们设置了$G^- = \{ g \in G \mid \langle g \rangle {\rm ~is~not ~maximal~cyclic} \}$。证明了如果$\langle G^- \rangle < G$,则$G/\langle G^- \rangle$是(1)某个素数$p$的初等交换$p$ -群,(2)其Frobenius核是指数为$p$的$p$ -群且Frobenius补的阶为$q$的Frobenius群,或(3)同构于$A_5$ .
2022-01-14 math.GR
Dehn functions of coabelian subgroups of direct products of groups
本研究提出计算群直积的余阿贝尔子群精确Dehn函数的新方法,推广了前人相关结果,并将其应用于多类群的相关研究中。
2023-08-22 math.GR
Finitely presented kernels of homomorphisms from hyperbolic groups onto free abelian groups
本文针对每个 $m\geq 2$,构造了双曲群到自由阿贝尔群满射同态的核,该核为非双曲的有限展示子群,其有限型为 $F_2$ 而非 $F_3$。
2023-09-07 math.GR
Subgroups and diversity of left-orderable small cancellation groups
该研究通过调整经典小消去构造生成左序可序群,证明相关Rips型结论,给出非局部可指示的左序双曲小消去群的表现,发现其拟等距多样性,揭示该群类的丰富性与多样性。
2024-01-29 math.GR
On exponentiation and infinitesimal one-parameter subgroups of reductive groups
设$G$是特征为$p>0$的代数闭域$k$上的约化代数群,并假定$p$对$G$是好的.设$P$是一个抛物子群,其根$U$是幂单的.对于$r \ge 1$,用$\mathbb{G}_{a(r)}$表示$\mathbb{G}_a$的第$r$个Frobenius核。证明了如果$U$的零阶类小于$p$,则$\mathbb{G}_{a(r)}$在$U$中的任意嵌入都位于$U$的一个单参数子群内,并且存在一个选择这样一个子群的规范方法.应用这个结果,我们证明了:如果$p$至少与$G$的Coxeter数一样大,则$G_{(r)}$的上同调簇同胚于$\mathcal{N}_1(\mathfrak{g})$中交换元的$r$ -元组簇,即$Lie(G)$的$[p]$ -幂零锥.
2012-09-26 math.GR
Profinite Groups Associated to Sofic Shifts are Free
证明了Almeida与不可约sofic移位相关联的自由profinite半群的极大子群是自由投射有限群,推广了第二作者关于全移位情形的一个较早结果(其对应的极大子群是极小理想的极大子群).对某些相对自由的profinite半群证明了相应的结果。我们还建立了自由profinite半群的核和与不可约sofic移位相关联的$\J$类之间的其他一些类比。
2009-08-04 math.GR
A Generalization of the Hughes Subgroup
设$G$是有限群,$π$是素数集,定义$H_π(G)$是由$G$中的所有元素生成的子群,这些元素对$π$中的每个素数都没有素数阶.本文研究了$H_π(G)$的一些基本性质及其与Hughes子群的关系.我们表明,对于大多数群体,只有三种可能性之一发生:$H_π(G) = 1$,$H_π(G)=G$,或$H_π(G) = H_{p}(G)$的一些总理$p \in π$。只有另一种可能:$G$是一个Frobenius群,它的Frobenius补有素数阶$p$,它的Frobenius核$F$是一个非交换的$q$ -群,使得$H_π(G)$作为$F$的一个真的和非平凡的Hughes子群出现。我们研究了素数$p$和$q$的可能选择的一些限制。
2019-03-02 math.GR
Surface subgroups of graph products of groups
图积核是指一个图积到对应的直积的自然满射的核。证明了可数群的图积核是特殊的,有限群或循环群的图积是Haglund和Wise意义下的虚余紧特殊的.证明这一点产生的条件,一个图,其上的任意非平凡群(或某些循环群,或某些有限群)的图形产品包含一个双曲曲面群。特别地,任意非平凡群在长度至少为5的圈上的图积,或在其相反的图上的图积,包含双曲曲面群。对于定义图至多有7个顶点的情形,我们完全刻画了具有双曲曲面子群的直角Coxeter群。
2012-05-16 math.GR math.GT
On automorphisms, quasimorphisms, and coarse automorphisms of acylindrically hyperbolic groups
University of Southampton(南安普顿大学);Heriot-Watt University(赫瑞-瓦特大学);Georg-August-Universität Göttingen(哥廷根大学)
研究acylindrically hyperbolic群G的自同构群对其同调拟同构空间的作用,确定其核为强共轭化自同构子群,并证明若G无非平凡有限正规子群,则其有足够多的拟同构以识别自同构是否内蕴。
2026-04-20 math.GR
A Class of Non-Contracting Branch Groups with Non-Torsion Rigid Kernels
本文构造了非收缩自相似分支群的首个无限族,证明其强分形、非正则分支、指数增长且刚性核非挠,并据此确定其 Hausdorff 维数。
2025-01-07 math.GR
On finitely generated normal subgroups of right-angled Artin groups and graph products of groups
Schreier的一个经典结果是:自由群的非平凡核生成正规子群是有限指数的,即自由群只能商于核生成的有限群.本文将这一结果推广到直角Artin群类。更确切地说,我们证明了RAAG的商由一个可生成的(全)正规子群是阿贝尔有限和有限的阿贝尔。由于Schreier的结果推广到了群的非平凡自由积,我们进一步证明了我们的结果推广到了群的图积.作为推论,我们推出,除其他外,RAAG的生成的正规子群有可判定的字,共轭和成员问题,他们是遗传共轭可分的。
2022-07-03 math.GR
The Johnson homomorphism and its kernel
本文给出了DennisJohnson的一个著名定理的新证明,该定理断言映射类群的Torelli子群上的Johnson同态的核是由分离twist生成的.事实上,我们证明了一个更一般的结果,也适用于“地下Torelli群”。利用这一点,我们扩展约翰逊的计算合理的阿贝尔化的Torelli组不仅地下Torelli组,而且有限指数子群的Torelli组包含的内核的约翰逊同态。
2015-02-17 math.GR math.GT
On the Cantor-Bendixson rank of the Grigorchuk group and the Gupta-Sidki $3$ group
本文研究了一类广义的自复制分支群的子群空间的Cantor-Bendixson秩。特别是,我们表明$G$的Grigorchuk组或Gupta-Sidki $3$组,康托-Bendixson秩的$\mathrm{Sub}(G)$是$ω$。对于每个自然数$n$,我们还刻画了秩为$n$的子群,并给出了完满核中子群的描述.
2020-04-07 math.GR
On the congruence subgroup property for GGS-groups
本文证明具有非常量定义向量的 GGS-群满足同余子群性质,为每个奇素数 $p$ 提供了丰富的有限生成、剩余有限、非挠群实例,并回答了 Barnea 的问题;同时证明常量定义向量的 GGS-群同余核无限且非分支群。
2016-09-30 math.GR
Frobenius action on Carter subgroups
设$G$是有限可解群,$H$是$Aut(G)$的子群.设存在$G$的一个$H$不变Carter子群$F$,使得半直积$FH$是一个核为$F$的弗罗贝尼乌斯群.证明了$C_{G}(H)$的Fitting级数的项是$C_{G}(H)$与$G$的Fitting级数的相应项的交集,并且$G$的Fitting高度最多可以超过$C_{G}(H)$的Fitting高度1.作为推论,它表明,对于任何一组素数$π$,条款的$π$-系列的$C_{G}(H)$的交叉点获得的$C_{G}(H)$与相应的条款的$π$ -系列的$G$,和$π$ -长度的$G$可能超过$π$ -长度的$C_{G}(H)$最多一个。推广了\cite{Khu}的主要结果.
2019-07-25 math.GR
Quasi-isometric maps and Floyd boundaries of relatively hyperbolic groups
本文描述了从相对双曲群的Floyd边界到其Bowditch边界的正则映射的核。利用我们的方法,然后我们证明了一个有限生成群$H$承认一个拟等距映射$ϕ$到一个相对双曲群$G$是相对双曲的子群系统,其图像下的$ϕ$是位于一个一致有界的距离从抛物子群的$G$。
2010-12-23 math.GR
Canonical Kummerian Kernels in 1-Smooth Pro-$p$ Poincaré Duality Groups of Dimension Three
本文研究三维1-光滑Pro-$p$庞加莱对偶群的典范库默尔核,证明其有限生成时必为平凡群,结合相关定理与分类得到上同调性质及维数限制,明确非$\theta$-阿贝尔群的相关结论。
2026-10-16 math.GR
Commensurations of the Johnson kernel
设K是关于分离曲线的Dehn扭曲生成的扩展映射类群Mod(S)的子群。设S是亏格至少为4的闭可定向曲面,我们证实了Farb关于Comm(K),Aut(K)和Mod(S)同构的猜想.更一般地,我们证明了K的有限指数子群到S的Torelli群I的任何注入都是由同胚诱导的。特别地,这证明了K是余霍普夫的,并且是I的特征。进一步,我们恢复了Farb和Ivanov的结果,即I的有限指数子群到I的任何注入都由同胚诱导。我们的方法是用曲线复形的映射来重新表述这些群论陈述。
2004-10-26 math.GR math.GT
Finitely presented subgroups of direct products of graphs of groups with free abelian vertex groups
本文将自由群直积有限表现子群的相关结构定理推广到二维凝聚右角阿廷群(RAAGs)直积,刻画了其有限表现及$FP_n$型子群的结构,并证明这类子群的多重共轭问题与成员问题可判定。
2023-10-09 math.GR
Profinite Subgroup Accessibility and Recognition of Amalgamated Factors
本文证明投射有限群的可达子群可实现为连续导子的核,并据此将投射有限完备化的融合积分裂回推出到抽象群,推广了关于自由因子的已有结果。
2024-10-22 math.GR
The Lattice of Profinite Subgroups of Protori
本文研究紧致连通阿贝尔群(protoroi)的profinite子群格,利用分解定理证明其构成同源类格,并构造万有分解,使对偶protorius的核自然涌现,从而支持有限秩无挠群作为子群的研究。
2025-03-27 math.GR
Random subcomplexes of finite buildings, and fibering of commutator subgroups of right-angled Coxeter groups
本文主要研究了直角Coxeter群的高次虚代数群的性质,特别是那些定义旗复形为有限建筑物的群。我们证明了特定类别的有限建筑物,他们的随机诱导子复合体有一些强大的性能,最突出的是,他们是高度连接。由此我们可以推出,一个RACG的换位子群,定义标志复形的有限建筑物的某一类型,允许满射到$\mathbb{Z}$,其核具有强拓扑有限性。我们还使用我们的技术来呈现内核是$\textrm{F}_2$类型而不是$\textrm{FP}_3$类型的示例,以及RACG是双曲线的并且内核是双曲线生成的和非双曲线的示例。我们使用的关键工具是一个概括的方法,由于Jankiewicz-Norin-Wise涉及Bestvina-Brady离散莫尔斯理论适用于戴维斯复杂的RACG,连同一些概率参数。
2022-11-09 math.GR math.GT
The Congruence Subgroup Problem for low rank Free and Free Metabelian groups
一个群$Γ$的同余子群问题是问$\widehat{Aut\left(Γ\right)}\to Aut(\hatΓ)$是否是单射的,或者更一般地说,它的核$C\left(Γ\right)$是什么?这里$\hat{X}$表示$X$的profinite完成。本文首先给出了两个已知结果(关于$Γ=F_{2}$和$Φ_{2}$)的两个新的简短证明和关于$Γ=Φ_{3}$的一个新结果:1. $C\left(F_{2}\right)=\left\{ e\right\}$,当$F_{2}$是两个发生器上的空闲组时。2. $C\left(Φ_{2}\right)=\hat{F}_ω$当$Φ_{n}$是$n$生成元上的自由亚阿贝尔群,$\hat{F}_ω$是$\aleph_{0}$生成元上的自由profinite群时。3. $C\left(Φ_{3}\right)$含有$\hat{F}_ω$。结果2.和3.应该与第一作者即将得出的结果形成对比,该结果表明$C\left(Φ_{n}\right)$是$n\geq4$的阿贝尔。
2016-12-29 math.GR