相关论文: Magnus pairs in, and free conjugacy separability o…

A group $G$ is called subgroup conjugacy separable if for every pair of non-conjugate finitely generated subgroups of $G$, there exists a finite quotient of $G$ where the images of these subgroups are not conjugate. We prove that limit…

We will say that a group G possesses the Magnus property if for any two elements u,v in G with the same normal closure, u is conjugate to v or v^{-1}. We prove that some one-relator groups, including the fundamental groups of closed…

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…

Motivated by a classic result for free groups, one says that a group $G$ has the Magnus property if the following holds: whenever two elements generate the same normal subgroup of $G$, they are conjugate or inverse-conjugate in $G$. It is a…

Magnus proved that, given two elements $x$ and $y$ of a finitely generated free group $F$ with equal normal closures $\langle x\rangle^F=\langle y\rangle^F$, then $x$ is conjugated either to $y$ or $y^{-1}$. More recently, this property,…

We construct a class of finitely generated groups which have arbitrarily large conjugacy separability function, but in which the conjugacy problem can be solved in polynomial time, demonstrating that the McKinsey algorithm for the conjugacy…

In the theory of one-relator groups, Magnus subgroups, which are free subgroups obtained by omitting a generator that occurs in the given relator, play an essential structural role. In a previous article, the author proved that if two…

A Magnus subgroup of a one-relator group is the free subgroup freely generated by a proper subset of the generators. Two such subgroups can intersect in the obvious way or in a larger, exceptional way. The condition of non-exceptional…

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…

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…

We prove an analogue of the Magnus theorem for associative algebras without unity over arbitrary fields. Namely, if an algebra is given by n+k generators and k relations and has an n-element system of generators, then this algebra is a free…

A group $G$ possesses the Magnus property if for every two elements $u,v \in G$ with the same normal closure, $u$ is conjugate in $G$ to $v$ or $v^{-1}$. We prove the Magnus property for some amalgamated products including the fundamental…

A group $G$ is twisted conjugacy separable if for every automorphism $\varphi$, distinct $\varphi$-twisted conjugacy classes can be separated in a finite quotient. Likewise, $G$ is completely twisted conjugacy separable if for any group $H$…

We construct a boundary of a finite rank free group relative to a finite list of conjugacy classes of maximal cyclic subgroups. From the cut points and uncrossed cut pairs of this boundary we construct a simplicial tree on which the group…

Let ${\cal C}$ be a nonempty class of finite groups closed under taking subgroups, homomorphic images and extensions. A subgroup $H$ of an abstract residually ${\cal C}$ group $R$ is said to be conjugacy ${\cal C}$-distinguished if whenever…

A group G is a vGBS group if it admits a decomposition as a finite graph of groups with all edge and vertex groups finitely generated and free abelian. We prove that the multiple conjugacy problem is solvable between two n-tuples A and B of…

We show that all finitely generated free-by-cyclic groups are conjugacy separable: if a finitely generated group $G$ surjects onto $\mathbb{Z}$ with free kernel, then for every pair of non-conjugate elements $g,h\in G$, there exists a…

We give an easily checkable algebraic condition which implies that two elements of a finitely generated free group are members of distinct doubly-twisted conjugacy classes with respect to a pair of homomorphisms. We further show that this…

In this paper we consider the {\em conjugacy stability} property of subgroups and provide effective procedures to solve the problem in several classes of groups. In particular, we start with free groups, that is, we give an effective…

A group G is said to have the Magnus property if the following holds: whenever two elements x,y have the same normal closure, then x is conjugate to y or its inverse. We prove: Let p be an odd prime, and let G,H be residually finite-p…