We characterize the group property of being with infinite conjugacy classes (or icc, i.e. in which all conjugacy classes beside 1 are infinite) for split extensions of groups.
We characterize the group property of being with infinite conjugacy classes (or icc, in which all conjugacy classes beside 1 are infinite) for extensions of some specific groups ; namely extensions of abelian, centerless, icc, or word hyperbolic groups.
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).
We characterize the group property of being with infinite conjugacy classes (or icc, i.e. infinite and of which all conjugacy classes except {1} are infinite) for groups which are defined by an extension of groups. We give characterizations for all different kinds of extension: direct product, semi-direct product, wreath products and general extension. We also give many particular results when the groups involved verify some additional hypothesis. The icc property is correlated to the Theory of Von Neumann algebras since a necessary and sufficient condition for the Von Neumann algebra of a gro…
We characterize the group property of being with infinite conjugacy classes (or icc, i.e. \not= 1 and of which all conjugacy classes except 1 are infinite) for finite extensions of group.
It is observed that the conjugacy growth series of the infinite fini-tary symmetric group with respect to the generating set of transpositions is the generating series of the partition function. Other conjugacy growth series are computed, for other generating sets, for restricted permutational wreath products of finite groups by the finitary symmetric group, and for alternating groups. Similar methods are used to compute usual growth polynomials and conjugacy growth polynomials for finite symmetric groups and alternating groups, with respect to various generating sets of transpositions. Comput…
We construct a hyperbolic group with a finitely presented subgroup, which has infinitely many conjugacy classes of finite-order elements. We also use a version of Morse theory with high dimensional horizontal cells and use handle cancellation arguments to produce other examples of subgroups of CAT(0) groups with infinitely many conjugacy classes of finite-order elements.
We study the cohomology of isometric group actions on (super) reflexive Banach spaces with a focus on the relation between finite conjugacy classes and split exactness of cochain complexes. In particular, we show that, if a uniformly convex Banach module has no almost invariant vectors under the FC-centre of the acting group, then the associated cochain complex is split exact. Other similar rigidity results are established that are related to prior work of Bader - Furman - Gelander - Monod, Bader - Rosendal - Sauer and Nowak.
We study the conjugacy problem in cyclic extensions of free groups. It is shown that the conjugacy problem is solvable in split extensions of finitely generated free groups by virtually inner automorphisms. An algorithm for construction of the unique representative (the conjugacy normal form) for each conjugacy class is given.
We construct a CAT(0) group containing a finitely presented subgroup with infinitely many conjugacy classes of finite-order elements. Unlike previous examples (which were based on right-angled Artin groups) our ambient CAT(0) group does not contain any rank 3 free abelian subgroups. We also construct examples of groups of type F_n inside mapping class groups, Aut(F), and Out(F) which have infinitely many conjugacy classes of finite-order elements.
Let $ϕ:G\to G$ be an automorphism of a group which is a free-product of finitely many groups each of which is freely indecomposable and two of the factors contain proper finite index characteristic subgroups. We show that $G$ has infinitely many $ϕ$-twisted conjugacy classes. As an application, we show that if $G$ is the fundamental group of a three-manifold that is not irreducible, then $G$ has property $R_\infty$, that is, there are infinitely many $ϕ$-twisted conjugacy classes in $G$ for every automorphism $ϕ$ of $G$.
In 2001 Ivanov and Kerov associated with the infinite permutation group $S_\infty$ certain commutative associative algebra $A_\infty$ called the algebra of conjugacy classes of partial elements. A standard basis of $A_\infty$ is labeled by Yang diagrams of all orders. Mironov, Morozov, Natanzon, 2012, have proved that the completion of $A_\infty$ is isomorphic to the direct product of centers of group algebras of groups $S_n$. This isomorphism was explored in a construction of infinite dimensional Cardy-Frobenius algebra corresponding to asymptotic Hurwitz numbers. In this work algebras of con…
Let G be a group. Two elements x and y in G are said to be in the same z-class if their centralizers in G are conjugate within G. In this paper, we prove that the number of z-classes in the group of upper triangular matrices is infinite provided that the field is infinite and size of the matrices is at least 6, and finite otherwise.
A group is said to be strongly amenable if each of its proximal topological actions has a fixed point. We show that a finitely generated group is strongly amenable if and only if it is virtually nilpotent. More generally, a countable discrete group is strongly amenable if and only if none of its quotients have the infinite conjugacy class property.
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.
In this paper we introduce a polynomial time algorithm that solves both the conjugacy decision and search problems in free abelian-by-infinite cyclic groups where the input is elements in normal form. We do this by adapting the work of Bogopolski, Martino, Maslakova, and Ventura in \cite{bogopolski2006conjugacy} and Bogopolski, Martino, and Ventura in \cite{bogopolski2010orbit}, to free abelian-by-infinite cyclic groups, and in certain cases apply a polynomial time algorithm for the orbit problem over $\Z^n$ by Kannan and Lipton.
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 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…
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…
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.
Let $G$ be a group and $φ$ be an automorphism of $G$. Two elements $x, y$ of $G$ are said to be $φ$-twisted conjugate if $y=gxφ(g)^{-1}$ for some $g\in G$. A group $G$ has the $R_{\infty}$-property if the number of $φ$-twisted conjugacy classes is infinite for every automorphism $φ$ of $G$. In this paper we prove that the big mapping class group $MCG(S)$ possesses the $R_{\infty}$-property under some suitable conditions on the infinite-type surface $S$. As an application we also prove that the big mapping class group possesses the $R_\infty$-property if and only if it satisfies the $S_{\infty}…
In this paper we consider finite 2-groups with odd number of real conjugacy classes. On one hand we show that if $k$ is an odd natural number less than 24, then there are only finitely many finite 2-groups with exactly $k$ real conjugacy classes. On the other hand we construct infinitely many finite 2-groups with exactly 25 real conjugacy classes. Both resuls are proven using pro-$p$ techniques and, in particular, we use the Kneser classification of semi-simple $p$-adic algebraic groups.
A group is called strongly bounded, if the speed with which it is generated by finitely many conjugacy classes has a positive, lower bound only dependent on the number of the conjugacy classes in question rather than the actual conjugacy classes. Earlier papers by Kedra, Libman and Martin and myself have shown that this is a property common to split Chevalley groups defined using an irreducible root system of rank at least $2$ and the ring of all S-algebraic integers and that the situation is dependent on the number theory of $R$ for ${\rm Sp}_4$ and $G_2.$ In this paper, we will show that ${\…
Let F be an infinitely generated free group and R a fully invariant subgroup of F such that (a) R is contained in the commutator subgroup F' of F and (b) the quotient group F/R is residually torsion-free nilpotent. Then the automorphism group Aut(F/R') of the group F/R' is complete. In particular, the automorphism group of any infinitely generated free solvalbe group of derived length at least two is complete. This extends a result by Dyer and Formanek (1977) on finitely generated groups F_n/R' where F_n is a free group of finite rank n at least two and R a characteristic subgroup of F_n.
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 elements of G whenever the elements of A does not generate an elliptic subgroup. When the edge and vertex groups are infinite cyclic, i.e. G is a Generalized Baumslag-Solitar group, we prove that the multiple conjugacy problem is fully solvable.
A group $G$ has property $R_\infty$ if for every $ϕ\in Aut(G)$, there are an infinite number of $ϕ$-twisted conjugacy classes of elements in $G$. In this note, we determine the $R_\infty$-property for $G=π_1(M)$ for all geometric $3$-manifolds $M$.
Let $G$ be a non-compact semisimple Lie group with finite centre and finitely many components. We show that any finitely generated group $Γ$ which is quasi-isometric to an irreducible lattice in $G$ has the $R_\infty$-property, namely, that there are infinitely $ϕ$-twisted conjugacy classes for every automorphism $ϕ$ of $Γ$. Also, we show that any lattice in $G$ has the $R_\infty$-property, extending our earlier result for irreducible lattices.
In this paper we study twisted conjugacy classes and the $R_{\infty}$-property for classical linear groups. In particular, we prove that the general linear group ${\rm GL}_n(K)$ and the special linear group ${\rm SL}_n(K)$ possess $R_{\infty}$-property, if $n\geq3$ and $K$ is an infinite integral domain with trivial group of automorphisms (Theorem 1), or $K$ is an integral domain, which has a zero characteristic and for which ${\rm Aut}(K)$ is torsion (Theorem 2).
Let $G$ be a finitely generated polyfree group. If $G$ has nonzero Euler characteristic then we show that $Aut(G)$ has a finite index subgroup in which every automorphism has infinite Reidemeister number. For certain $G$ of length 2, we show that the number of Reidemeister classes of every automorphism is infinite.
A countable discrete group $G$ is called Choquet-Deny if for every non-degenerate probability measure $μ$ on $G$ it holds that all bounded $μ$-harmonic functions are constant. We show that a finitely generated group $G$ is Choquet-Deny if and only if it is virtually nilpotent. For general countable discrete groups, we show that $G$ is Choquet-Deny if and only if none of its quotients has the infinite conjugacy class property. Moreover, when $G$ is not Choquet-Deny, then this is witnessed by a symmetric, finite entropy, non-degenerate measure.
The action of any group on itself by conjugation and the corresponding conjugacy relation play an important role in group theory. There have been several attempts to extend the notion of conjugacy to semigroups. In this paper, we present a new definition of conjugacy that can be applied to an arbitrary semigroup and it does not reduce to the universal relation in semigroups with a zero. We compare the new notion of conjugacy with existing definitions, characterize the conjugacy in various semigroups of transformations on a set, and count the number of conjugacy classes in these semigroups when…
Let $f$ be an automorphism of a group $G$. Two elements $x, y$ in $G$ are said to be in the same $f$-twisted conjugacy class if there exists an element $z$ in $G$ such that $y=z x f(z^{-1})$. This is an equivalence relation known as $f$-twisted conjugacy. If the number $R(f)$ of $f$-twisted conjugacy classes is infinite for every automorphism $f$ of $G$ one says that $G$ has the $R_\infty$-property. We show that the Richard Thompson group $T$ has the $R_\infty$-property.
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.
Let $k$ be an algebraically closed field, $G$ a linear algebraic group over $k$ and $φ\in Aut(G)$, the group of all algebraic group automorphisms of $G$. Two elements $x, y$ of $G$ are said to be $φ$-twisted conjugate if $y=gxφ(g)^{-1}$ for some $g\in G$. In this paper we prove that for a connected non-solvable linear algebraic group $G$ over $k$, the number of its $φ$-twisted conjugacy classes is infinite for every $φ\in Aut(G)$.
In 1951, Higman constructed a remarkable group $$H=\left\langle a,b,c,d \, \left| \, b^a = b^2, c^b = c^2, d^c = d^2, a^d = a^2 \right. \right\rangle$$ and used it to produce the first examples of infinite simple groups. By studying fixed points of certain finite state transducers, we show the conjugacy problem in $H$ is decidable (for all inputs). Diekert, Laun and Ushakov have recently shown the word problem in $H$ is solvable in polynomial time, using the power circuit technology of Myasnikov, Ushakov and Won. Building on this work, we show in a strongly generic setting that the conjugacy p…
A group $G$ is said to have property $R_{\infty}$ if for every automorphism $φ\in {\rm Aut}(G)$, the cardinality of the set of $φ$-twisted conjugacy classes is infinite. Many classes of groups are known to have such property. However, very few examples are known for which $R_{\infty}$ is {\it geometric}, i.e., if $G$ has property $R_{\infty}$ then any group quasi-isometric to $G$ also has property $R_{\infty}$. In this paper, we give examples of groups and conditions under which $R_{\infty}$ is preserved under commensurability. The main tool is to employ the Bieri-Neumann-Strebel invariant.
If $ϕ$ is an automorphism of a group $G$ and $x,y\in G$, we say that $x$ and $y$ are $ϕ$-twisted conjugates if there exists an $z\in G$ such that $y=z.x.ϕ(z^{-1})$. This is an equivalence relation. If there are infinitely many $ϕ$-twisted conjugacy classes for every automorphism $ϕ$ of $G$ we say that $G$ has the $R_\infty$-property. We prove that the generalized Richard Thompson groups $F_n$ and $F(l,A,P)$ have the $R_\infty$-property.
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 …
We show that the number of twisted conjugacy classes is infinite for any automorphism of non-elementary, Gromov hyperbolic group . An analog of Selberg theory for twisted conjugacy classes is proposed.
We say that $x,y\in Γ$ are in the same $ϕ$-twisted conjugacy class and write $x\sim_ϕy$ if there exists an element $γ\in Γ$ such that $y=γxϕ(γ^{-1})$. This is an equivalence relation on $Γ$ called the $ϕ$-twisted conjugacy. Let $R(ϕ)$ denote the number of $ϕ$-twisted conjugacy classes in $Γ$. If $R(ϕ)$ is infinite for all $ϕ\in Aut(Γ)$, we say that $Γ$ has the $R_\infty$-property. The purpose of this note is to show that the symmetric group $S_\infty$, the Houghton groups and the pure symmetric automorphism groups have the $R_\infty$-property. We show, also, that the Richard Thompson group $T$…
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.
A generalized Baumslag-Solitar group is the fundamental group of a graph of groups all of whose vertex and edge groups are infinite cyclic. Levitt proves that any generalized Baumslag-Solitar group has property R-infinity, that is, any automorphism has an infinite number of twisted conjugacy classes. We show that any group quasi-isometric to a generalized Baumslag-Solitar group also has property R-infinity. This extends work of the authors proving that any group quasi-isometric to a solvable Baumslag-Solitar BS(1,n) group has property R-infinity, and relies on the classification of generalized…
Let $G$ be a linear algebraic group over an algebraically closed field $k$ and $\mathrm{Aut}_{\mathrm{alg}}(G)$ the group of all algebraic group automorphisms of $G$. For every $φ\in \mathrm{Aut}_{\mathrm{alg}}(G)$ let $\mathcal{R}(φ)$ denote the set of all orbits of the $φ$-twisted conjugacy action of $G$ on itself (given by $(g,x)\mapsto gxφ(g^{-1})$, for all $g,x\in G$). We say that $G$ has the algebraic $R_\infty$-property if $\mathcal{R}(φ)$ is infinite for every $φ\in \mathrm{Aut}_{\mathrm{alg}}(G)$. In \citep{bb} we have shown that this property is satisfied by every connected non-solva…
In this short article, we prove that any automorphism of the R. Thompson's group $F$ has infinitely many twisted conjugacy classes. The result follows from the work of Matthew Brin, together with a standard facts on R. Thompson's group $F$, and elementary properties of the Reidemeister numbers.
We compute the Ω^1(G) invariant when 1 {\to} H {\to} G {\to} K {\to} 1 is a split short exact sequence. We use this result to compute the invariant for pure and full braid groups on compact surfaces. Applications to twisted conjugacy classes and to finite generation of commutator subgroups are also discussed.
Let $ϕ:G\to G$ be an automorphism of an infinite group $G$. One has an equivalence relation $\sim_ϕ$ on $G$ defined as $x\sim_ϕy$ if there exists a $z\in G$ such that $y=zxϕ(z^{-1})$. The equivalence classes are called $ϕ$-twisted conjugacy classes and the set $G/\!\!\sim_ϕ$ of equivalence classes is denoted $\mathcal R(ϕ)$. The cardinality $R(ϕ)$ of $\mathcal R(ϕ)$ is called the Reidemeister number of $ϕ$. We write $R(ϕ)=\infty$ when $\mathcal R(ϕ)$ is infinite. We say that $G$ has the $R_\infty$-{\it property} if $R(ϕ)=\infty$ for every automorphism $ϕ$ of $G$. We show that the groups $G=GL_…
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 acts cocompactly. We show that the quotient graph of groups is the JSJ decomposition of the group relative to the given collection of conjugacy classes. This provides a characterization of virtually geometric multiwords: they are the multiwords that are built from geometric pieces. In particular, a multiword is virtually geometric if and only if the relative …
The general {\bf surface group conjecture} asks whether a one-relator group where every subgroup of finite index is again one-relator and every subgroup of infinite index is free (property IF) is a surface group. We resolve several related conjectures given in [FKMRR]. First we obtain the Surface Group Conjecture B for cyclically pinched and conjugacy pinched one-relator groups. That is: if $G$ is a cyclically pinched one-relator group or conjugacy pinched one-relator group satisfying property IF then $G$ is free, a surface group or a solvable Baumslag-Solitar Group. Further combining results …
Given a finite group G, the bipartite divisor graph for its conjugacy class sizes is the bipartite graph with bipartition consisting of the set of conjugacy class sizes of G-Z (where Z denotes the centre of G) and the set of prime numbers that divide these conjugacy class sizes, and with {p,n} being an edge if gcd(p,n)\neq 1. In this paper we construct infinitely many groups whose bipartite divisor graph for their conjugacy class sizes is the complete bipartite graph K_{2,5}, giving a solution to a question of Taeri.
Given a group automorphism $ϕ:Γ\to Γ$, one has an action of $Γ$ on itself by $ϕ$-twisted conjugacy, namely, $g.x=gxϕ(g^{-1})$. The orbits of this action are called $ϕ$-conjugacy classes. One says that $Γ$ has the $R_\infty$-property if there are infinitely many $ϕ$-conjugacy classes for every automorphism $ϕ$ of $Γ$. In this paper we show that any irreducible lattice in a connected semi simple Lie group having finite centre and rank at least 2 has the $R_\infty$-property.