Source author record

Mark Pengitore

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

6works
2topics
4close collaborators

Published work

6 publications

preprint2025arXiv

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

We provide a necessary and sufficient condition for the restricted wreath product A≀BA\wr B to be C\mathcal{C}-hereditarily conjugacy separable where C\mathcal{C} is an extension-closed pseudovariety of finite groups. Moreover, we prove that the Grigorchuk group is 2-hereditarily conjugacy separable. As an application, we demonstrate that the lamplighter groups and Z≀Z\mathbb{Z} \wr \mathbb{Z} are hereditarily conjugacy separable (but not pp-conjugacy separable for any prime pp) which provides infinitely many new examples of solvable, non-polycyclic hereditarily conjugacy separable groups. Furthermore, we study wreath products of cyclic subgroup separable groups and the derived length of iterated wreath products of solvable groups with an abelian base group and, as an application, we give an explicit construction of non-polycyclic hereditarily conjugacy separable groups of arbitrary derived length as an iterated wreath products of abelian groups.

preprint2022arXiv

Quantifying conjugacy separability in wreath products of groups

We study generalisations of conjugacy separability in restricted wreath products of groups. We provide an effective upper bound for C\mathcal{C}-conjugacy separability of a wreath product A≀BA \wr B in terms of the C\mathcal{C}-conjugacy separability of AA and BB, the growth of C\mathcal{C}-cyclic subgroup separability of BB, and the C\mathcal{C}-residual girth of B.B. As an application, we provide a characterisation of when A≀BA \wr B is pp-conjugacy separable. We use this characterisation to the provide for each prime pp an example of wreath products with infinite base group that are pp-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 nn in a finitely generated nilpotent group.

preprint2022arXiv

Survey on effective separability

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.

preprint2020arXiv

Residual dimension of nilpotent groups

The functions FG(n)F_{G}(n) measures the asymptotic behavior of residual finiteness for a finitely generated group GG. In previous work \cite{Pengitore_1}, the author claimed a characterization for FN(n)F_{N}(n) when NN is a finitely generated nilpotent group. However, a counterexample to the above claim was communicated to the author, and subsequently, the statement of the asymptotic characterization of FN(n)F_{N}(n) is incorrect. In this article, we introduce new tools to provide lower asymptotic bounds for FN(n)F_{N}(n) when NN is a finitely generated nilpotent group. Moreover, we introduce a class of finitely generated nilpotent groups for which the upper bound of \cite{Pengitore_1} can be improved. Finally, we construct of a class of finitely generated nilpotent groups NN for which the asymptotic behavior of FN(n)F_N(n) can be fully characterized.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.