Showing 1–12 of 12 results for author: Ferov, M

$\mathcal{C}$-Hereditarily conjugacy separable groups and wreath products

Authors: Alexander Bishop, Michal Ferov, Mark Pengitore

Abstract: We provide a necessary and sufficient condition for the restricted wreath product $A\wr B$ to be $\mathcal{C}$-hereditarily conjugacy separable where $\mathcal{C}$ is an extension-closed pseudo-variety of finite groups. Moreover, we prove that the Grigorchuk group is 2-hereditarily conjugacy separable. We provide a necessary and sufficient condition for the restricted wreath product $A\wr B$ to be $\mathcal{C}$-hereditarily conjugacy separable where $\mathcal{C}$ is an extension-closed pseudo-variety of finite groups. Moreover, we prove that the Grigorchuk group is 2-hereditarily conjugacy separable. △ Less

Submitted 10 September, 2024; originally announced September 2024.

Comments: 45 pages. First version, comments and suggestions welcome!

On the non-discreteness of automorphism groups of Cayley graphs of Coxeter groups

Authors: Federico Berlai, Michal Ferov

Abstract: In this work we characterise Cayley graphs of Coxeter groups with respect to the standard generating set that admit uncountable vertex stabilisers. As a corollary, we fully identify finitely generated Coxeter groups for which the automorphism group of their Cayley graph with respect to the standard generating set is not discrete when equipped with the permutation topology. As an application, we al… ▽ More In this work we characterise Cayley graphs of Coxeter groups with respect to the standard generating set that admit uncountable vertex stabilisers. As a corollary, we fully identify finitely generated Coxeter groups for which the automorphism group of their Cayley graph with respect to the standard generating set is not discrete when equipped with the permutation topology. As an application, we also provide new explicit constructions of vertex-transitive graphs of infinite degree that have locally compact automorphism groups. △ Less

Submitted 9 February, 2023; originally announced February 2023.

Comments: First version, comments welcome!

Survey on effective separability

Authors: Jonas Deré, Michal Ferov, Mark Pengitore

Abstract: Separability for groups refers to the question which subsets of a group can be detected in its finite quotients. Classically, separability is studied in terms of which classes have a certain separability property, and this question is related to algorithmic problems in groups such as the word problem. A more recent perspective tries to study the order of the smallest finite quotient in which one d… ▽ More Separability for groups refers to the question which subsets of a group can be detected in its finite quotients. Classically, separability is studied in terms of which classes have a certain separability property, and this question is related to algorithmic problems in groups such as the word problem. A more recent perspective tries to study the order of the smallest finite quotient in which one detects the subset under consideration depending on its complexity, measured using the word norm on a finitely generated group. In this survey, we present what is currently known in the field of effective separability and give an overview of the open questions for several classes of groups. △ Less

Submitted 31 January, 2022; originally announced January 2022.

Comments: v1 Comments welcome

Bounding conjugacy depth functions for wreath products of finitely generated abelian groups

Authors: Michal Ferov, Mark Pengitore

Abstract: In this article, we study the asymptotic behaviour of conjugacy separability for wreath products of abelian groups. We fully characterise the asymptotic class in the case of lamplighter groups and give exponential upper and lower bounds for generalised lamplighter groups. In the case where the base group is infinite, we give superexponential lower and upper bounds. We apply our results to obtain l… ▽ More In this article, we study the asymptotic behaviour of conjugacy separability for wreath products of abelian groups. We fully characterise the asymptotic class in the case of lamplighter groups and give exponential upper and lower bounds for generalised lamplighter groups. In the case where the base group is infinite, we give superexponential lower and upper bounds. We apply our results to obtain lower bounds for conjugacy depth functions of various wreath products of groups where the acting group is not abelian. △ Less

Submitted 26 September, 2023; v1 submitted 16 January, 2022; originally announced January 2022.

Comments: 33 pages. Published in journal of Groups, Complexity, Cryptology. arXiv admin note: substantial text overlap with arXiv:2111.14722

Journal ref: journal of Groups, complexity, cryptology, Volume 15, Issue 1 (September 28, 2023) gcc:11728

Conjugacy depth function for generalised lamplighter groups

Authors: Michal Ferov, Mark Pengitore

Abstract: 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. 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. △ Less

Submitted 18 January, 2023; v1 submitted 29 November, 2021; originally announced November 2021.

Comments: The content of this preprint was merged with and replaced by the preprint arXiv:2201.06165

MSC Class: 20E26; 20E22

Density of Metric Small Cancellation in Finitely Presented Groups

Authors: Alex Bishop, Michal Ferov

Abstract: Small cancellation groups form an interesting class with many desirable properties. It is a well-known fact that small cancellation groups are generic; however, all previously known results of their genericity are asymptotic and provide no information about "small" group presentations. In this note, we give closed-form formulas for both lower and upper bounds on the density of small cancellation p… ▽ More Small cancellation groups form an interesting class with many desirable properties. It is a well-known fact that small cancellation groups are generic; however, all previously known results of their genericity are asymptotic and provide no information about "small" group presentations. In this note, we give closed-form formulas for both lower and upper bounds on the density of small cancellation presentations, and compare our results with experimental data. △ Less

Submitted 8 September, 2020; v1 submitted 17 February, 2020; originally announced February 2020.

Comments: 18 pages, 12 figures

MSC Class: 20F06; 20F69 (Primary) 20F05; 20F67 (Secondary)

Journal ref: journal of Groups, complexity, cryptology, Volume 12, Issue 2 (September 9, 2020) gcc:6200

Quantifying conjugacy separability in wreath products of groups

Authors: Michal Ferov, Mark Pengitore

Abstract: 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… ▽ More 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 $p$-conjugacy separable. We also provide asymptotic upper bounds for conjugacy separability for wreath products of nilpotent groups which include the lamplighter groups and provide asymptotic upper bounds for conjugacy separability of the free metabelian groups. Along the way, we provide a polynomial upper bound for the shortest conjugator between two elements of length at most $n$ in a finitely generated nilpotent group. △ Less

Submitted 21 April, 2022; v1 submitted 4 October, 2019; originally announced October 2019.

Comments: 35 pages. Minor changes to the manuscript following the referee's comments. Expanded exposition for better readability, numbering of statements has changed

Separating cyclic subgroups in graph products of groups

Authors: Federico Berlai, Michal Ferov

Abstract: We prove that the property of being cyclic subgroup separable, that is having all cyclic subgroups closed in the profinite topology, is preserved under forming graph products. Furthermore, we develop the tools to study the analogous question in the pro-$p$ case. For a wide class of groups we show that the relevant cyclic subgroups - which are called $p$-isolated - are closed in the pro-$p$ topol… ▽ More We prove that the property of being cyclic subgroup separable, that is having all cyclic subgroups closed in the profinite topology, is preserved under forming graph products. Furthermore, we develop the tools to study the analogous question in the pro-$p$ case. For a wide class of groups we show that the relevant cyclic subgroups - which are called $p$-isolated - are closed in the pro-$p$ topology of the graph product. In particular, we show that every $p$-isolated cyclic subgroup of a right-angled Artin group is closed in the pro-$p$ topology, and we fully characterise such subgroups. △ Less

Submitted 15 May, 2019; v1 submitted 26 June, 2018; originally announced June 2018.

Comments: 37 pages, revised following referee's comments, to appear in Journal of Algebra

Applications of L systems to group theory

Authors: Laura Ciobanu, Murray Elder, Michal Ferov

Abstract: L systems generalise context-free grammars by incorporating parallel rewriting, and generate languages such as EDT0L and ET0L that are strictly contained in the class of indexed languages. In this paper we show that many of the languages naturally appearing in group theory, and that were known to be indexed or context-sensitive, are in fact ET0L and in many cases EDT0L. For instance, the language… ▽ More L systems generalise context-free grammars by incorporating parallel rewriting, and generate languages such as EDT0L and ET0L that are strictly contained in the class of indexed languages. In this paper we show that many of the languages naturally appearing in group theory, and that were known to be indexed or context-sensitive, are in fact ET0L and in many cases EDT0L. For instance, the language of primitives in the free group on two generators, the Bridson-Gilman normal forms for the fundamental groups of 3-manifolds or orbifolds, and the co-word problem of Grigorchuk's group can be generated by L systems. To complement the result on primitives in free groups, we show that the language of primitives, and primitive sets, in free groups of rank higher than two is context-sensitive. We also show the existence of EDT0L and ET0L languages of intermediate growth. △ Less

Submitted 1 February, 2018; v1 submitted 8 May, 2017; originally announced May 2017.

Comments: Revised following referees suggestions. 21 pages, 2 figures

MSC Class: 20F10; 20F65; 68Q42

Residual properties of graph products of groups

Authors: Federico Berlai, Michal Ferov

Abstract: We prove that the class of residually C groups is closed under taking graph products, provided that C is closed under taking subgroups, finite direct products and that free-by-C groups are residually C. As a consequence, we show that local embeddability into various classes of groups is stable under graph products. In particular, we prove that graph products of residually amenable groups are resid… ▽ More We prove that the class of residually C groups is closed under taking graph products, provided that C is closed under taking subgroups, finite direct products and that free-by-C groups are residually C. As a consequence, we show that local embeddability into various classes of groups is stable under graph products. In particular, we prove that graph products of residually amenable groups are residually amenable, and that locally embeddable into amenable groups are closed under taking graph products. △ Less

Submitted 18 June, 2015; v1 submitted 19 May, 2015; originally announced May 2015.

Comments: 12 pages. v2: updated bibliography and references

Journal ref: J. Group Theory 19 (2016), no. 2, 217-231

Separability properties of automorphisms of graph products of groups

Authors: Michal Ferov

Abstract: We study properties of automorphisms of graph products of groups. We show that graph product $Γ\mathcal{G}$ has non-trivial pointwise inner automorphisms if and only if some vertex group corresponding to a central vertex has non-trivial pointwise inner automorphisms. We use this result to study residual finiteness of $\mathop{Out}(Γ\mathcal{G})$. We show that if all vertex groups are finitely gene… ▽ More We study properties of automorphisms of graph products of groups. We show that graph product $Γ\mathcal{G}$ has non-trivial pointwise inner automorphisms if and only if some vertex group corresponding to a central vertex has non-trivial pointwise inner automorphisms. We use this result to study residual finiteness of $\mathop{Out}(Γ\mathcal{G})$. We show that if all vertex groups are finitely generated residually finite and the vertex groups corresponding to central vertices satisfy certain technical (yet natural) condition, then $\mathop{Out}(Γ\mathcal{G})$ is residually finite. Finally, we generalise this result to graph products of residually $p$-finite groups to show that if $Γ\mathcal{G}$ is a graph product of finitely generated residually $p$-finite groups such that the vertex groups corresponding to central vertices satisfy the $p$-version of the technical condition then $\mathop{Out}(Γ\mathcal{G})$ is virtually residually $p$-finite. We use this result to prove bi-orderability of Torreli groups of some graph products of finitely generated residually torsion-free nilpotent groups. △ Less

Submitted 12 October, 2016; v1 submitted 10 April, 2015; originally announced April 2015.

Comments: Updated to the published version, 25 pages

Journal ref: Internat. J. Algebra Comput. 26 (2016), no. 1, 1-27

On conjugacy separability of graph products of groups

Authors: Michal Ferov

Abstract: 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 a… ▽ More 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 conjugacy separable for every prime number $p$. △ Less

Submitted 12 June, 2015; v1 submitted 30 September, 2014; originally announced September 2014.

Comments: 40 pages

Journal ref: J. Algebra 447 (2016), 135-182