Roger Alperin, Benson Farb
Let G be a finitely generated linear group over a field of characteristic 0. Suppose that every solvable subgroup of G is polycyclic. Then the claim is made that any solvable subgroup of G is separable. This is proven for G=SL_n(Z). However, the proof of the main theorem in section 4 is incomplete.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
This paper is devoted to the investigation of the property of order separability for HNN extensions and free products with commutative subgroups. Particularly it was proven that HNN extension of a free group with maximal connected cyclic subgroups is 2-order separable.
It is proved that all finitely generated subgroups of generalized free product of two groups are finitely separable provided that free factors have this property and amalgamated subgroups are normal in corresponding factors and satisfy the maximum condition for subgroups.
We prove that the finitely presentable subgroups of residually free groups are separable and that the subgroups of type $\mathrm{FP}_\infty$ are virtual retracts. We describe a uniform solution to the membership problem for finitely presentable subgroups of residually free groups.
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…
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.
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.
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.
Subgroup Conjugacy Separability in Residually Free Groups
本文研究剩余自由群的子群共轭性质，证明有限展示情形具有子群共轭可分性，$FP_\infty$ 型还具可辨识性，并推出其外自同构群剩余有限。
Free products of two residually finite groups with amalgamated retracts are considered. It is proved that a cyclic subgroup of such a group is not finitely separable if, and only if, it is conjugated with a subgroup of a free factor which is not finitely separable in this factor. A similar result is obtained for the case of separability in the class of finite p-groups.
Separability of unipotent-free abelian subgroups in linear groups
本文证明了在零特征域上的有限生成线性群中，无幂单阿贝尔子群具有可分性。
We find a condition on the underlying graph of an Artin group that fully determines if it is subgroup separable. As a consequence, an Artin group is subgroup separable if and only if it can be obtained from Artin groups of ranks at most 2 via a finite sequence of free products and direct products with the infinite cyclic group. This result generalizes the Metaftsis-Raptis criterion for Right-Angled Artin groups.
Subgroup Separability of Artin Groups II
本研究建立了判定Artin群子群可分性（LERF）的新准则，证明其等价于不含特定诱导子图，推广了Metaftsis-Raptis准则，并得出Artin群为ERF的充要条件及子群可分性与凝聚性的关联。
Let G be the free product of groups A and B with commuting subgroups H \leqslant A and K \leqslant B, and let C be the class of all finite groups or the class of all finite p-groups. We derive the description of all C-separable cyclic subgroups of G provided this group is residually a C-group. We prove, in particular, that if A, B are finitely generated nilpotent groups and H, K are p'-isolated in the free factors, then all p'-isolated cyclic subgroups of G are separable in the class of all finite p-groups. The same statement is true provided A, B are free and H, K are p'-isolated and cyclic.
Separability in Morse local-to-global groups
本文证明在Morse局部到整体群中，稳定子群的可分性可传递到其乘积，并由此推出虚拟特殊群中稳定子群乘积的可分性。
Let $G$ be a free product of two groups with amalgamated subgroup, $π$ be either the set of all prime numbers or the one-element set \{$p$\} for some prime number $p$. Denote by $Σ$ the family of all cyclic subgroups of group $G$, which are separable in the class of all finite $π$-groups. Obviously, cyclic subgroups of the free factors, which aren't separable in these factors by the family of all normal subgroups of finite $π$-index of group $G$, the subgroups conjugated with them and all subgroups, which aren't $π^{\prime}$-isolated, don't belong to $Σ$. Some sufficient conditions are obtaine…
We introduce the notion of finite stature of a family $\{H_i\}$ of subgroups of a group $G$. We investigate the separability of subgroups of a group $G$ that splits as a graph of hyperbolic special groups with quasiconvex edge groups. We prove that when the vertex groups of $G$ have finite stature, then quasiconvex subgroups of the vertex groups of $G$ are separable in $G$. We present some partial results in a relatively hyperbolic framework.
Product separability in central extensions
本文研究了中心扩张在子群可分离性和双余集可分离性下的性质，证明了在特定条件下中心扩张的乘积可分离性和双余集可分离性的等价性及稳定性。
Subgroup separability of surface braid groups and virtual braid groups
该工作考察曲面辫子群与虚拟（奇异）辫子群的子群可分性（LERF）及相关性质。
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…
On conjugate separability of nilpotent subgroups
本文研究所有类至多为 k 的极大幂零子群均畸正规的群，证明其与 CSA 群性质相似，并引入幂零传递群，在特定剩余条件下证明两者等价，从而将 CSA 与 CT 群理论纳入更一般的框架。
We show that locally solvable subgroups of PLo(I) are countable. Then for each countable ordered set, we construct a locally solvable subgroup of Thompson's Group F. We develop machinery for understanding embeddings from solvable subgroups into solvable subgroups. Finally, we apply this machinery to show the ordered sets used in our construction are invariant under isomorphisms between the groups constructed. Therefore, we effectively distinguish the groups and provide uncountably many non-isomorphic locally solvable, hence elementary amenable, subgroups of Thompson's Group F.
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.
Let $G$ be a connected reductive algebraic group defined over an algebraically closed field $k$. The aim of this paper is to present a method to find triples $(G,M,H)$ with the following three properties. Property 1: $G$ is simple and $k$ has characteristic 2. Property 2: $H$ and $M$ are closed reductive subgroups of $G$ such that $H<M<G$, and $(G,M)$ is a reductive pair. Property 3: $H$ is $G$-completely reducible, but not $M$-completely reducible. We exhibit our method by presenting a new example of such a triple in $G=E_7$. Then we consider a rationality problem and a problem concerning con…
Quasiconvexity of virtual joins and separability of products in relatively hyperbolic groups
本文证明了在QCERF相对双曲群中，有限生成相对拟凸子群存在有限指数子群使虚拟联接保持拟凸性，并由此导出多类群中子群乘积的可分性。
The main result of this article is a refinement of the well-known subgroup separability results of Hall and Scott for free and surface groups. We show that for any finitely generated subgroup, there is a finite dimensional representation of the free or surface group that separates the subgroup in the induced Zariski topology. As a corollary, we establish a polynomial upper bound on the size of the quotients used to separate a finitely generated subgroup in a free or surface group.
In this paper, we investigate the difference between weak second maximal subgroups and second maximal subgroups. A sufficient and necessary condition is also given to describe such class of groups whose weak second maximal subgroups coincide with its second maximal subgroups(called WSM-groups) under the solvable case. As an application, we show that every non-vanishing element of a solvable WSM-group lies in its Fitting subgroup.
We show that all groups in a very large class of Coxeter groups are locally quasiconvex and have uniform membership problem solvable in quadratic time. If a group in the class satisfies a further hypothesis it is subgroup separable and relevant homomorphisms are also calculable in quadratic time. The algorithm also decides if a finitely generated subgroup has finite index.
We study verbally closed subgroups of free solvable groups. A number of results is proved that give sufficient conditions under whose a verbally closed subgroup is turned to be a retract and so algebraically closed of the full group.
Assume that a finite almost simple group with simple socle isomorphic to an exceptional group of Lie type possesses a solvable Hall subgroup. Then there exist four conjugates of the subgroup such that their intersection is trivial.
We show every locally solvable subgroup of PLo(I) is countable. A corollary is that an uncountable wreath product of copies of $\mathbb{Z}$ with itself does not embed into PLo(I).
Let $G$ be a finite group and let $π$ be a set of primes. In this paper, we prove a criterion for the existence of a solvable $π$-Hall subgroup of $G$, precisely, the group $G$ has a solvable $π$-Hall subgroup if, and only if, $G$ has a $\{p,q\}$-Hall subgroup for any pair $p$, $q\inπ$.
We prove that every verbally closed two-generated subgroup of a free solvable group G of a finite rank is a retract of G.
The following result is received: Let $H$ be a non-normal maximal subgroup of a finite solvable group $G$ and let $q \in π(F(H/\mathrm{Core}_GH))$, then $G$ has a Sylow $q$-subgroup $Q$ such that $N_{G}(Q) \subseteq H$.
On subgroup separability of free-by-cyclic and deficiency 1 groups
本文证明了多项式增长单演的自由循环群在特定条件下子群可分，并指出随机亏度1群大概率不可分。
We study a class $\mathfrak{M}$ of cyclically presented groups that includes both finite and infinite groups and is defined by a certain combinatorial condition on the defining relations. This class includes many finite metacyclic generalized Fibonacci groups that have been previously identified in the literature. By analysing their shift extensions we show that the groups in the class $\mathfrak{M}$ are are coherent, subgroup separable, satisfy the Tits alternative, possess finite index subgroups of geometric dimension at most two, and that their finite subgroups are all metacyclic. Many of t…
We prove a general dichotomy theorem for groups of finite Morley rank with solvable local subgroups and of Prüfer p-rank at least 2, leading either to some p-strong embedding, or to the Prüfer p-rank being exactly 2.
A New Approach from Lattice of Subgroup Sets to Generalized Solvable Extension Formations
本文提出从子群集格到广义可解扩展族的新方法，通过统一框架和极大子群集确定实现生成形成映射。
We give a list of finite groups containing all finite groups $G$ such that the group of units $\Z G^*$ of the integral group ring $\Z G$ is subgroup separable. There are only two types of these groups $G$ for which we cannot decide wether $ZG^*$ is subgroup separable, namely the central product $Q_8 Y D_8$ and $Q_8\times C_p{with} p \text{prime and} p\equiv -1 \mod (8)$.
For any right-angled Artin group, we show that its outer automorphism group contains either a finite-index nilpotent subgroup or a nonabelian free subgroup. This is a weak Tits alternative theorem. We find a criterion on the defining graph that determines which case holds. We also consider some examples of solvable subgroups, including one that is not virtually nilpotent and is embedded in a non-obvious way.
In this paper we show that if S is a simple classical group, a group G is contained in inner-diagonal automorphisms of S and contains S, and H is a solvable Hall subgroup of G, then there exists five conjugates of H, whose intersection is trivial.
We consider the following problem stated by Vdovin (2010) in the "Kourovka notebook" (Problem 17.41): Let $H$ be a solvable subgroup of a finite group $G$ that has no nontrivial solvable normal subgroups. Do there always exist five conjugates of $H$ whose intersection is trivial? This problem is closely related to a conjecture by Babai, Goodman and Pyber (1997) about an upper bound for the index of a normal solvable subgroup in a finite group. In particular, a positive answer to Vdovin's problem yields that if $G$ has a solvable subgroup of index $n$, then it has a solvable normal subgroup of …
Groups with a solvable subgroup of prime-power index
本文研究了包含有限素数幂指数可解子群的群的性质，证明了此类群的商群在某些条件下会渐近趋于小。
It is shown that for a solvable subgroup $G$ of an almost simple group $S$ which socle is isomorphic to $A_n$ $ (n\ge5)$ there are $x,y,z,t \in S$ such that $G \cap G^x \cap G^y \cap G^z \cap G^t =1.$
This paper is devoted to the proof of the property of order separability for free product of free groups with maximal cyclic amalgamated subgroups.
It was proved that for any finite set of elements of a free product of residually finite groups such that no two of them belong to conjugate cyclic subgroups and each of them do not belong to a subgroup which is conjugate a to free factor there exists a homomorphism of the free product onto a finite group such that the order of the image of each fixed element is an arbitrary multiple of a constant number.
On the subgroup separability of the free product of groups
本文研究了群的自由积的子群可分性问题，在剩余根类群的自由积框架下，证明了满足非平凡恒等式子群的根类可分性判定准则，并推广至群簇并集子群的可分性描述。
In this paper, we focus on a question of M. Newman on isomorphic subgroups of solvable groups. We get a reduction theorem of this question: for each prime q, assume that this question holds for every characteristic q-groups, then this question holds for every finite solvable groups. Using this reduction theorem, we get some partial answers about this question.
Quantifying separability in limit groups via representations
本文通过有限指数子群构造和有限维表示方法研究极限群中有限生成子群的可分性，并给出商大小的多项式上界，推广了 Louder 等人的结果并证明双曲极限群满足几何 Hanna Neumann 猜想。
We compute the Bieri-Neumann-Strebel invariants $Σ^1$ for the generalized solvable Baumslag-Solitar groups $Γ_n$ and their finite index subgroups. Using $Σ^1$, we show that certain finite index subgroups of $Γ_n$ cannot be isomorphic to $Γ_{k}$ for any $k$. In addition, we use the BNS-invariants to give a new proof of property $R_\infty$ for the groups $Γ_n$ and their finite index subgroups.
We lay down the fundations of the theory of groups of finite Morley rank in which local subgroups are solvable and we proceed to the local analysis of these groups. We prove the main Uniqueness Theorem, analogous to the Bender method in finite group theory, and derive its corollaries. We also consider homogeneous cases as well as torsion.
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.
Given a group $G$ with bounded torsion that acts properly on a systolic complex, we show that every solvable subgroup of $G$ is finitely generated and virtually abelian of rank at most $2$. In particular this gives a new proof of the above theorem for systolic groups. The main tools used in the proof are the Product Decomposition Theorem and the Flat Torus Theorem.
Large orbits of Hall subgroups of solvable linear groups
本文证明有限可解群中Hall子群的最大特征标次数平方至少为其某正规商群的π部分，刻画了可解线性群中Hall子群的大轨道性质。
Separability properties of higher-rank GBS groups
本文研究了高秩广义Baumslag-Solitar群的可分性性质，根据剩余有限、子群可分和循环子群可分等性质对这些群进行了分类。
We consider factorizations of a finite group $G$ into conjugate subgroups, $G=A^{x_{1}}\cdots A^{x_{k}}$ for $A\leq G$ and $x_{1},\ldots ,x_{k}\in G$, where $A$ is nilpotent or solvable. First we exploit the split $BN$-pair structure of finite simple groups of Lie type to give a unified self-contained proof that every such group is a product of four or three unipotent Sylow subgroups. Then we derive an upper bound on the minimal length of a solvable conjugate factorization of a general finite group. Finally, using conjugate factorizations of a general finite solvable group by any of its Carter…
Separability Properties of Nilpotent $\mathbb{Q}[x]$-Powered Groups II
本文研究了幂零 $\mathbb{Q}[x]$-幂群的一类分离性质，即其特定子群族中的 $ω'$-孤立子群具有有限 $ω$-型可分离性。
Finite solvable groups with a nilpotent normal complement subgroup
本文研究有限可解群中非正规无核子群的结构，证明在特定正规化子条件下，该子群存在幂零正规补，且相关构造形成Frobenius群。
We provide polynomial lower bounds for residual finiteness of residually finite, finitely generated solvable groups that admit infinite order elements in the Fitting subgroup of strict distortion at least exponential. For this class of solvable groups which include polycyclic groups with a nontrivial exponential radical and the metabelian Baumslag-Solitar groups, we improve the lower bounds found in the literature. Additionally, for the class of residually finite, finitely generated solvable groups of infinite Prüfer rank that satisfy the conditions of our theorem, we provide the first nontriv…
Conjugacy classes of completely reducible cube-free solvable p'-subgroups of GL(2, q)
本文针对无立方因子正整数m与不整除m的素数p，确定了一般线性群GL(2, q)（q为p的幂）中阶为m的完全可约可解无立方因子子群的共轭类数量。
Groups with 5 nontrivial conjugacy classes of non self-normalizing subgroups are solvable
本研究针对Bianchi等人提出的关于$\mathcal{D}_5$（恰有5个非平凡非自正规子群共轭类的有限群族）由导出长度不超过3的可解群组成的猜想，完成验证并证实该猜想成立。
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。