E. A. Ivanova
It is proved that for any prime $p$ a finitely generated nilpotent group is conjugacy separable in the class of finite $p$-groups if and only if the torsion subgroup of it is a finite $p$-group and the quotient group by the torsion subgroup is abelian.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
Independence of the conjugacy problem and conjugacy separability
本文构造出共轭可分性函数任意大但共轭问题能多项式时间求解的有限生成群类，证明麦肯锡共轭问题算法复杂度可与最优解差任意远，揭示共轭问题与共轭可分性的独立性。
Conjugacy separability of any group of the class of one-relator groups given by the presentation $<a, b; [a^m,b^n]=1>$ ($m,n>1$) is proven.
This paper initiates the study of effective twisted conjugacy separability for finitely generated groups, which measures the complexity of separating distinct twisted conjugacy classes via finite quotients. The focus is on nilpotent groups, and our main result shows that there is a polynomial upper bound for twisted conjugacy separability. That allows us to study regular conjugacy separability in the case of virtually nilpotent groups, where we compute a polynomial upper bound as well. As another application, we improve the work of the second author by giving a precise calculation of conjugacy…
On generalized (twisted) conjugacy separability of some extensions of groups
引入广义共轭可分性性质，证明群$G$在有限与循环扩张下扭曲共轭、Brinkmann共轭等可分性的等价与蕴含关系，并应用于自由群等群类。
It is proved that generalized free product of two finite p-groups is a conjugacy p-separable group if and only if it is residually finite p-groups. This result is then applied to establish some sufficient conditions for conjugacy p-separability of generalized free product of infinite groups.
There are limit groups having non-conjugate elements whose images are conjugate in every free quotient. Towers over free groups are freely conjugacy separable.
We study generalisations of conjugacy separability in restricted wreath products of groups. We provide an effective upper bound for $\mathcal{C}$-conjugacy separability of a wreath product $A \wr B$ in terms of the $\mathcal{C}$-conjugacy separability of $A$ and $B$, the growth of $\mathcal{C}$-cyclic subgroup separability of $B$, and the $\mathcal{C}$-residual girth of $B.$ As an application, we provide a characterisation of when $A \wr B$ is $p$-conjugacy separable. We use this characterisation to the provide for each prime $p$ an example of wreath products with infinite base group that are …
Subgroup Conjugacy Separability in Residually Free Groups
本文研究剩余自由群的子群共轭性质，证明有限展示情形具有子群共轭可分性，$FP_\infty$ 型还具可辨识性，并推出其外自同构群剩余有限。
A group G is called subgroup conjugacy separable (abbreviated as SCS), if any two finitely generated and non-conjugate subgroups of G remain non-conjugate in some finite quotient of G. We prove that the free groups and the fundamental groups of finite trees of finite groups with some normalizer condition are SCS. We also introduce the subgroup into-conjugacy separability property and prove that the above groups have this property too.
A group $G$ is called subgroup conjugacy separable (abbreviated as SCS), if any two finitely generated and non-conjugate subgroups of $G$ remain non-conjugate in some finite quotient of $G$. We prove that free groups and the fundamental groups of orientable closed compact surfaces are SCS.
Arbitrary residual finiteness and conjugacy separability growth
本文证明了Bradford构造的群具有共轭可分性且其增长等于剩余有限性增长，并扩展构造出新群，证明这两种增长函数能独立变化且可任意远离。
We show that the class of $\mathcal{C}$-hereditarily conjugacy separable groups is closed under taking arbitrary graph products whenever the class $\mathcal{C}$ is an extension closed variety of finite groups. As a consequence we show that the class of $\mathcal{C}$-conjugacy separable groups is closed under taking arbitrary graph products. In particular, we show that right angled Coxeter groups are hereditarily conjugacy separable and 2-hereditarily conjugacy separable, and we show that infinitely generated right angled Artin groups are hereditarily conjugacy separable and $p$-hereditarily co…
We prove that finite index subgroups of right angled Artin groups are conjugacy separable. We then apply this result to establish various properties of other classes of groups. In particular, we show that any word hyperbolic Coxeter group contains a conjugacy separable subgroup of finite index and has a residually finite outer automorphism group. Another consequence of the main result is that Bestvina-Brady groups are conjugacy separable and have solvable conjugacy problem.
Twisted conjugacy and separability
研究扭曲共轭分离性及其在群结构中的性质，证明多项式群由nilpotent群由有限群的完全扭曲共轭分离等价于所有商群余有限。
On Groups with the Same Set of Conjugacy Class Sizes as Nilpotent Groups
构造中心平凡但与幂零群共轭类大小集合相同的群，解答了 Camina 2006 年的问题。
We prove that every subnormal subgroup of p-power index in a right-angled Artin group is conjugacy p-separable. As an application, we prove that every right-angled Artin group is conjugacy separable in the class of torsion-free nilpotent groups. As another application, we prove that the outer automorphism group of a right-angled Artin group is virtually residually p-finite. We also prove that the Torelli group of a right-angled group is residually torsion-free nilpotent, hence residually p-finite and bi-orderable.
We offer in this note a self-contained proof of the fact that a finitely generated group is not virtually nilpotent if and only if it has a quotient with the infinite conjugacy class (ICC) propoerty. This proof is a modern presentation of the original proof, by McLain (1956) and Duguid and McLain (1956).
This paper studies effective separability for subgroups of finitely generated nilpotent groups and more broadly effective subgroup separability of finitely generated nilpotent groups. We provide upper and lower bounds that are polynomial with respect to the logarithm of the word length for infinite index subgroups of nilpotent groups. In the case of normal subgroups, we provide an exact computation generalizing work of the second author. We introduce a function that quantifies subgroup separability, and we provide polynomial upper and lower bounds. We finish by demonstrating that our results e…
Let $G$ be a nilpotent group and $a\in G$. Let $a^G=\{g^{-1}ag\mid g\in G\}$ be the conjugacy class of $a$ in $G$. Assume that $a^G$ and $b^G$ are conjugacy classes of $G$ with the property that $|a^G|=|b^G|=p$, where $p$ is an odd prime number. Set $a^G b^G=\{xy\mid x\in a^G, y\in b^G\}$. Then either $a^G b^G=(ab)^G$ or $a^G b^G$ is the union of at least $\frac{p+1}{2}$ distinct conjugacy classes. As an application of the previous result, given any nilpotent group $G$ and any conjugacy class $a^G$ of size $p$, we describe the square $a^G a^G$ of $a^G$ in terms of conjugacy classes of $G$.
We prove that even Coxeter groups, whose Coxeter diagrams contain no (4,4,2) triangles, are conjugacy separable. In particular, this applies to all right-angled Coxeter groups or word hyperbolic even Coxeter groups. For an arbitrary Coxeter group W, we also study the relationship between Coxeter generating sets that give rise to the same collection of parabolic subgroups. As an application we show that if an automorphism of W preserves the conjugacy class of every sufficiently short element then it is inner. We then derive consequences for the outer automorphism groups of Coxeter groups.
Let $N$ be a finitely generated nilpotent group. Algorithm is constructed such, that for every automorphism $ϕ\in Aut(N)$ defines the Reidemeister number $R(ϕ).$ It is proved that any free nilpotent group of rank $r = 2$ or $r = 3$ and class $c \geq 4r,$ or rank $r \geq 4$ and class $c \geq 2r,$ belongs to the class $R_{\infty}.$
In this paper we study conjugacy separability of subdirect products of two free (or hyperbolic) groups. We establish necessary and sufficient criteria and apply them to fibre products to produce a finitely presented group $G_1$ in which all finite index subgroups are conjugacy separable, but which has an index $2$ overgroup that is not conjugacy separable. Conversely, we construct a finitely presented group $G_2$ which has a non-conjugacy separable subgroup of index $2$ such that every finite index normal overgroup of $G_2$ is conjugacy separable. The normality of the overgroup is essential in…
Uniform Upper Bounds for Conjugacy Separability Growth in Nilpotent Groups
针对幂零群的共轭可分性增长函数，本文给出次数至多线性于幂零类、二次于Hirsch长度的显式多项式上界，并证明二步幂零情形下该界最优，同时纠正了文献错误。
Conjugacy classes of $π$-elements and nilpotent/abelian Hall $π$-subgroups
本文研究有限群中 π-元素共轭类的数量下界，并证明当该数量足够大时，群必含有幂零或阿贝尔的 Hall π-子群。
Let $\mathbf{G}$ be a unipotent group scheme defined in terms of a nilpotent Lie lattice over the ring $\mathcal{O}$ of integers of a number field. We consider bivariate zeta functions of groups of the form $\mathbf{G}(\mathcal{O})$ encoding, respectively, the numbers of isomorphism classes of irreducible complex representations of finite dimensions and the numbers of conjugacy classes of congruence quotients of the associated groups. We show that the domains of convergence and meromorphic continuation of these zeta functions of groups $\mathbf{G}(\mathcal{O})$ are independent of the number fi…
In this paper we study conjugacy and subgroup separability properties in the class of nilpotent $\mathbb{Q}[x]$-powered groups. Many of the techniques used to study these properties in the context of ordinary nilpotent groups carry over naturally to this more general class. Among other results, we offer a generalization of a theorem due to G. Baumslag. The generalized version states that if $G$ is a finitely $\mathbb{Q}[x]$-generated $\mathbb{Q}[x]$-torsion-free nilpotent $\mathbb{Q}[x]$-powered group and $H$ is a $\mathbb{Q}[x]$-isolated subgroup of $G,$ then for any prime $π\in \mathbb{Q}[x]…
A group $G$ is called subgroup conjugacy separable (abbreviated as SCS) if any two finitely generated and non-conjugate subgroups of $G$ remain non-conjugate in some finite quotient of $G$. An into-conjugacy version of SCS is abbreviated by SICS. We prove that if $G$ is a hyperbolic group, $H_1$ is a quasiconvex subgroup of $G$, and $H_2$ is a subgroup of $G$ which is elementwise conjugate into $H_1$, then there exists a finite index subgroup of $H_2$ which is conjugate into $H_1$. As corollary, we deduce that fundamental groups of closed hyperbolic 3-manifolds and torsion-free small cancellat…
We use wreath products to provide criteria for a group to be conjugacy separable or omnipotent. These criteria are in terms of virtual retractions onto cyclic subgroups. We give two applications: a straightforward topological proof of the theorem of Stebe that infinite-order elements of Fuchsian groups (of the first type) are conjugacy distinguished, and a proof that surface groups are omnipotent.
Separability Properties of Nilpotent $\mathbb{Q}[x]$-Powered Groups II
本文研究了幂零 $\mathbb{Q}[x]$-幂群的一类分离性质，即其特定子群族中的 $ω'$-孤立子群具有有限 $ω$-型可分离性。
An algorithm is constructed that, when given an explicit presentation of a finitely generated nilpotent group $G,$ decides for any pair of endomorphisms $φ, ψ: G \to G$ and any pair of elements $u, v \in G,$ whether or not the equation $(xφ)u = v (xψ)$ has a solution $x \in G.$ Thus it is shown that the problem of the title is decidable. Also we present an algorithm that produces a finite set of generators of the subgroup (equalizer) $Eq_{φ, ψ}(G) \leq G$ of all elements $u \in G$ such that $u φ= u ψ.$
We use the theory of group actions on profinite trees to prove that the fundamental group of a finite, 1-acylindrical graph of free groups with finitely generated edge groups is conjugacy separable. This has several applications: we prove that positive, $C'(1/6)$ one-relator groups are conjugacy separable; we provide a conjugacy separable version of the Rips construction; we use this latter to provide an example of two finitely presented, residually finite groups that have isomorphic profinite completions, such that one is conjugacy separable and the other does not even have solvable conjugacy…
On conjugate separability of nilpotent subgroups
本文研究所有类至多为 k 的极大幂零子群均畸正规的群，证明其与 CSA 群性质相似，并引入幂零传递群，在特定剩余条件下证明两者等价，从而将 CSA 与 CT 群理论纳入更一般的框架。
Effective conjugacy separability of virtually abelian groups
本文刻画了每个几乎阿贝尔群的共轭可分性函数，发现当扩张对应不可约表示时与剩余有限性函数相同，否则可能严格更大，并给出示例。
There currently exists no algebraic algorithm for computing twisted conjugacy classes in free groups. We propose a new technique for deciding twisted conjugacy relations using nilpotent quotients. Our technique is generalization of the common abelianization method, but admits significantly greater rates of success. We present experimental results demonstrating the efficacy of the technique, and detail how it can be applied the related settings of surface groups and doubly twisted conjugacy.
On the conjugacy separability of ordinary and generalized Baumslag-Solitar groups
该研究聚焦普通与广义Baumslag-Solitar（GBS）群的共轭可分性问题，在特定周期群类的封闭性条件下，推导非可解与可解GBS群的共轭可分判别准则，并得出GBS群共轭有限可分等价于剩余有限的推论。
We prove that a finitely generated solvable group which is not virtually nilpotent has exponential conjugacy growth.
Let M = H^3 / Γbe a hyperbolic 3-manifold of finite volume. We show that if H and K are abelian subgroups of Γand g is in Γ, then the double coset HgK is separable in Γ. As a consequence we prove that if M is a closed, orientable, Haken 3-manifold and the fundamental group of every hyperbolic piece of the torus decomposition of M is conjugacy separable then so is the fundamental group of M. Invoking recent work of Agol and Wise, it follows that if M is a compact, orientable 3-manifold then π_1(M) is conjugacy separable.
Forbidden subgraphs on conjugacy class graphs of groups
该文研究有限群的交换与幂零共轭类图的禁用诱导子图性质，刻画了典型群类的对应诱导子图并完成多类群的相关性质分类。
We give effective proofs of residual finiteness and conjugacy separability for finitely generated nilpotent groups. In particular, we give precise asymptotic bounds for a function introduced by Bou-Rabee that measures how large the quotients that are need to separate non-identity elements of bounded length from the identity which improves the work of Bou-Rabee. Similarly, we give polynomial upper and lower bounds for an analogous function introduced by Lawton, Louder, and McReynolds that measures how large the quotients that are need to separate pairs of distinct conjugacy classes of bounded w…
In this article, we completely characterize the asymptotic behavior of conjugacy separability for the lamplighter groups. More generally, we give exponential upper and lower bounds for all wreath products of finitely generated abelian groups where the acting group is infinite and base group is finite.
A group is said to have the $R_\infty$ property if every automorphism has an infinite number of twisted conjugacy classes. We study the question whether $G$ has the $R_\infty$ property when $G$ is a finitely generated torsion-free nilpotent group. As a consequence, we show that for every positive integer $n\ge 5$, there is a compact nilmanifold of dimension $n$ on which every homeomorphism is isotopic to a fixed point free homeomorphism. As a by-product, we give a purely group theoretic proof that the free group on two generators has the $R_\infty$ property. The $R_{\infty}$ property for virtu…
We calculate asymptotic estimates for the conjugacy growth function of finitely generated class 2 nilpotent groups whose derived subgroup is infinite cyclic, including the so-called higher Heisenberg groups. We prove that these asymptotics are stable when passing to commensurable groups, by understanding their twisted conjugacy growth. We also use these estimates to prove that, in certain cases, the conjugacy growth series cannot be a holonomic function.
We prove that every free metabelian non--cyclic group has a finitely generated isolated subgroup which is not separable in the class of nilpotent groups. As a corollary we prove that for every prime number $p$ an arbitrary free metabelian non--cyclic group has a finitely generated $p'$--isolated subgroup which is not $p$--separable.
Let G be a reductive linear algebraic group over an algebraically closed field of characteristic p > 0. A subgroup of G is said to be separable in G if its global and infinitesimal centralizers have the same dimension. We study the interaction between the notion of separability and Serre's concept of G-complete reducibility for subgroups of G. The separability hypothesis appears in many general theorems concerning G-complete reducibility. We demonstrate that many of these results fail without this hypothesis. On the other hand, we prove that if G is a connected reductive group and p is very go…
Class numbers and nilpotent subgroups of $\mathrm{PGL}(2,q)$
本文证明对于某些奇素数幂 $q$，$\mathrm{PGL}(2,q)$ 的共轭类数大于其最大幂零子群的阶，从而否定了 Liebeck 和 Pyber 的一个问题。
Suppose that $\mathcal{C}$ is a class of groups consisting only of periodic groups and $\mathfrak{P}(\mathcal{C})^{\prime}$ is the set of prime numbers each of which does not divide the order of any element of a $\mathcal{C}$-group. A subgroup $Y$ of a group $X$ is called a) $\mathcal{C}$-separable in this group if, for each $x \in X \setminus Y$, there exists a homomorphism $σ$ of $X$ onto a group from $\mathcal{C}$ such that $xσ\notin Yσ$; b) $\mathfrak{P}(\mathcal{C})^{\prime}$-isolated in $X$ if, for any $x \in X$, $q \in \mathfrak{P}(\mathcal{C})^{\prime}$, the inclusion $x^{q} \in Y$ imp…
Product separability in central extensions
本文研究了中心扩张在子群可分离性和双余集可分离性下的性质，证明了在特定条件下中心扩张的乘积可分离性和双余集可分离性的等价性及稳定性。
We solve the following algorithmic problems using TC0 circuits, or in logspace and quasilinear time, uniformly in the class of nilpotent groups with bounded nilpotency class and rank: subgroup conjugacy, computing the normalizer and isolator of a subgroup, coset intersection, and computing the torsion subgroup. Additionally, if any input words are provided in compressed form as straight-line programs or in Mal'cev coordinates the algorithms run in quartic time.
We give a geometric proof based on recent work of Eskin, Fisher and Whyte that the lamplighter group $L_n$ has infinitely many twisted conjugacy classes for any automorphism $\vp$ only when $n$ is divisible by 2 or 3, originally proved by Gonçalves and Wong. We determine when the wreath product $G \wr \Z$ has this same property for several classes of finite groups $G$, including symmetric groups and some nilpotent groups.
In this paper, we consider the conjugacy growth function of a group, which counts the number of conjugacy classes which intersect a ball of radius $n$ centered at the identity. We prove that in the case of virtually polycyclic groups, this function is either exponential or polynomially bounded, and is polynomially bounded exactly when the group is virtually nilpotent. The proof is fairly short, and makes use of the fact that any polycyclic group has a subgroup of finite index which can be embedded as a lattice in a Lie group, as well as exponential radical of Lie groups and Dirichlet's approxi…
On the number of conjugacy classes of subgroups of a finite group
本文研究有限群与Dedekind群的接近程度的两个比值，证明幂零群类中d'(G)取值在[0,1]稠密，得到幂零性判据、Iwasawa群判定条件及p-群为Dedekind群的结论。
A group $G$ has the $R_{\infty}$--property if the number $R(φ)$ of twisted conjugacy classes is infinite for any automorphism $φ$ of $G$. For such a group $G$, the $R_{\infty}$--nilpotency index is the least integer $c$ such that $G/γ_{c+1}(G)$ still has the $R_\infty$--property. In this paper, we determine the $R_{\infty}$--nilpotency degree of all Baumslag--Solitar groups.
Bounding conjugacy depth functions for wreath products of finitely generated abelian groups
本文研究了阿贝尔群圈积的共轭可分性渐近行为，完全刻画了lamplighter群的渐近类并给出了广义lamplighter群及无限基群情形的指数或超指数上下界，进而为非阿贝尔作用群的各种群圈积的共轭深度函数提供了下界。
Let $G$ be a simple algebraic group of type $E_n (n=6,7,8)$ defined over an algebraically closed field $k$ of characteristic $2$. We present examples of triples of closed reductive groups $H<M<G$ such that $H$ is $G$-completely reducible, but not $M$-completely reducible. As an application, we consider a question of Külshammer on representations of finite groups in reductive groups. We also consider a rationality problem for $G$-complete reducibility and a problem concerning conjugacy classes.
On the Borel complexity of the space of left-orderings of nilpotent groups
本文首次构造非交换左序群，其序空间共轭轨道关系有无穷轨道但Borel光滑，并给出幂零群光滑性的充分条件，同时证明幂零性非充分条件。
We study groups $G$ where the $φ$-conjugacy class $[e]_φ=\{g^{-1}φ(g)~|~g\in G\}$ of the unit element is a subgroup of $G$ for every automorphism $φ$ of $G$. If $G$ has $n$ generators, then we prove that the $k$-th member of the lower central series has a finite verbal width bounded in terms of $n,k$. Moreover, we prove that if such group $G$ satisfies the descending chain condition for normal subgroups, then $G$ is nilpotent. Finally, if $G$ is a finite abelian-by-cyclic group, we construct a good upper bound of the nilpotency class of $G$.
Let $π$ be a set of primes. We show that $π$-separable groups have a conjugacy class of subgroups which specialize to Carter subgroups, i.e. self-normalizing nilpotent subgroups, or equivalently, nilpotent projectors, when specializing to soluble groups.
Twisted conjugacy classes in Lie groups
研究连续自同构φ的扭曲共轭类，探讨其Reidemeister数为无穷的条件，并证明某些连通李群具有拓扑R_∞性质。
On finite groups in which the twisted conjugacy classes of the unit element are subgroups
该研究探讨扭共轭相关子群性质的群结构，构造出任意幂零类的有限满足群及无限非幂零满足群，证否了既有文献中的相关猜想。
We define algebraic group analogues of the Slodowy transversal slices to adjoint orbits in a complex semisimple Lie algebra g. The new slices are transversal to the conjugacy classes in an algebraic group G with Lie algebra g. These slices are associated to (the conjugacy classes of) elements s of the Weyl group W of g. For such slices we prove an analogue of the Kostant cross-section theorem for the action of a unipotent group.
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。