On the pseudovariety of groups \mathbf{U} = \displaystyle\bigvee_{p \in \mathbb{P}} {\bf Ab}(p) \ast {\bf Ab}(p-1)

arXiv2304.10522MaRDI QIDQ6433799FDOQ6433799

Gareth M. Tracey, Claude Marion, Pedro V. Silva

Publication date: 20 April 2023

Abstract: We prove that the pseudovariety of finite groups $$ (where $p$ is a prime and $d$ divides $p-1$) is finitely generated and compute its free objects. We consider also the pseudovariety of finite groups $$, where $mathbbP$ is the set of all primes. We show that $mathbfU$ consists of all finite supersolvable groups with elementary abelian derived subgroup and abelian Sylow subgroups, being therefore decidable. We prove that it is decidable whether or not a finitely generated subgroup of a free group is closed or dense for the pro-$mathbfU$ topology.

Mathematics Subject Classification ID

Free nonabelian groups (20E05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Solvable groups, supersolvable groups (20F16) Quasivarieties and varieties of groups (20E10)

This page was built for publication: On the pseudovariety of groups $\mathbf{U} = \displaystyle\bigvee_{p \in \mathbb{P}} {\bf Ab}(p) \ast {\bf Ab}(p-1)$

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6433799)