Related papers: The conjugacy problem for positive homogeneously p…

We prove that the conjugacy problem in Out(Fm) is solvable for the class of outer automorphisms whose restrictions to their polynomial subgroups are of finite order. To do this, we first investigate the structure of suspensions of free…

A combinatorial property of prositive group presentations, called completeness, is introduced, with an effective criterion for recognizing complete presentations, and an iterative method for completing an incomplete presentation. We show…

We give a necessary and sufficient condition on a matrix for its centralizer in $\sf{GL}(n,\mathbb{Z})$ to be polycyclic, or equivalently in this case, not to contain a non-abelian free subgroup. We give a simple condition on the matrix…

In a group $G$, elements $a$ and $b$ are conjugate if there exists $g\in G$ such that $g^{-1} ag=b$. This conjugacy relation, which plays an important role in group theory, can be extended in a natural way to inverse semigroups: for…

The conjugacy problem for a finitely generated group $G$ is the two-variable problem of deciding for an arbitrary pair $(u,v)$ of elements of $G$, whether or not $u$ is conjugate to $v$ in $G$. We construct examples of finitely generated,…

We prove that fundamental groups of orientable (geometrizable) 3-manifolds have a solvable conjugacy problem.

In this paper, we construct an implementable algorithm which solves the conjugacy problem in twisted right-angled Artin groups (T-RAAGs). In certain cases, the complexity is known to be linear, by reducing the problem to the twisted…

We give a combinatorial characterization of conjugacy in the sylvester monoid (the monoid of binary search trees), showing that conjugacy is decidable for this monoid. We then prove that conjugacy is undecidable in general for homogeneous…

Let $G$ be a real semisimple Lie group with trivial centre and no compact factors. Given a conjugate pair of either real hyperbolic elements or unipotent elements $a$ and $b$ in $G$ we find a conjugating element $g \in G$ such that…

Although a unique solution is guaranteed in the Linear complementarity problem (LCP) when the matrix $\mathbf{M}$ is positive definite, practical applications often involve cases where $\mathbf{M}$ is only positive semi-definite, leading to…

We study the generic properties of finitely presented monoids and semigroups. We show that for positive integers a > 1, k and m, the generic a-generator k-relation monoid and semigroup presentation (defined in any of several definite…

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…

A monoid $S$ is said to be weakly right coherent if every finitely generated right ideal of $S$ is finitely presented as a right $S$-act. It is known that $S$ is weakly right coherent if and only if it satisfies the following conditions:…

We describe a new approach to the Word Problem for Artin-Tits groups and, more generally, for the enveloping group U(M) of a monoid M in which any two elements admit a greatest common divisor. The method relies on a rewrite system R(M) that…

Levels of cancellativity in commutative monoids $M$, determined by stable rank values in $\mathbb{Z}_{> 0} \cup \{\infty\}$ for elements of $M$, are investigated. The behavior of the stable ranks of multiples $ka$, for $k \in \mathbb{Z}_{>…

In this paper we solve the conjugacy problem for several classes of virtual right-angled Artin groups, using algebraic and geometric techniques. We show that virtual RAAGs of the form $A_{\phi} = A_{\Gamma} \rtimes_{\phi}…

Multifraction reduction is a new approach to the word problem for Artin-Tits groups and, more generally, for the enveloping group of a monoid in which any two elements admit a greatest common divisor. This approach is based on a rewrite…

A group $G$ is called to be acceptable (due to M. Larsen) if for any finite group $H$, two element-conjugate homomorphisms are globally conjugate. We answer the acceptability question for general linear, special linear, unitary, symplectic…

For every finitely generated recursively presented group G we construct a finitely presented group H containing G such that G is (Frattini) embedded into H and the group H has solvable conjugacy problem if and only if G has solvable…

We study, from a constructive computational point of view, the techniques used to solve the conjugacy problem in the "generic" lattice-ordered group Aut(R) of order automorphisms of the real line. We use these techniques in order to show…