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

MaRDI QIDQ6433799zbMATH OpenFDO

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

Publication date 20 April 2023

Mathematics Subject Classification ID

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

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.

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)