Related papers: Finitely generated normal pro-$\mathcal C$ subgrou…

A finitely generated group $G$ is said to be condensed if its isomorphism class in the space of finitely generated marked groups has no isolated points. We prove that every product variety $\mathcal{UV}$, where $\mathcal{U}$ (respectively,…

We prove that, given a finitely generated subgroup $H$ of a free group $F$, the following questions are decidable: is $H$ closed (dense) in $F$ for the pro-(met)abelian topology? is the closure of $H$ in $F$ for the pro-(met)abelian…

In this paper we describe finitely generated groups $H$ universally equivalent (with constants from $G$ in the language) to a given torsion-free relatively hyperbolic group $G$ with free abelian parabolics. It turns out that, as in the free…

We show that every definable group G in an o-minimal structure is definably finitely generated. That is, G contains a finite subset that is not included in any proper definable subgroup. This provides another proof, and a generalization to…

We consider homological finiteness properties $FP_n$ of certain $\mathbb{N}$-graded Lie algebras. After proving some general results, see Theorem A, Corollary B and Corollary C, we concentrate on a family that can be considered as the Lie…

For a finite group $G$ with a normal subgroup $H$, the normal subgroup based power graph of $G$, denoted by $\Gamma_H(G)$ whose vertex set $V(\Gamma_H(G))=(G\setminus H)\bigcup \{e\}$ and two vertices $a$ and $b$ are edge connected if…

A longstanding conjecture asserts that every non-abelian finite $p$-group $G$ admits a non-inner automorphism of order $p$. The conjecture is valid for finite $p$-groups of class 2. Here, we prove every finite non-abelian $p$-group $G$ of…

We construct an infinite finitely generated recursively presented residually finite algorithmically finite group $G$ answering thereby a question of Myasnikov and Osin. Moreover, $G$ is "very infinite" and "very algorithmically finite" in…

Let $\{G_i :i\in\N\}$ be a family of finite Abelian groups. We say that a subgroup $G\leq \prod\limits_{i\in \N}G_i$ is \emph{order controllable} if for every $i\in \mathbb{N}$ there is $n_i\in \mathbb{N}$ such that for each $c\in G$, there…

Let $G$ be a finite non-abelian group and $\kappa_1(G)$ the number of conjugate classes of minimal non-abelian subgroups of $G$. The structure of $G$ with $\kappa_1(G)=1$ is determined. In the case of $G$ being the $p$-groups, the structure…

We prove that every finitely generated group $G$ discriminated by a locally quasi-convex torsion-free hyperbolic group $\Gamma$ is effectively coherent: that is, presentations for finitely generated subgroups can be computed from the…

Let $G$ be a finite solvable group. We show that $G$ does not have a normal nonabelian Sylow $p$-subgroup when its prime character degree graph $\Delta(G)$ satisfies a technical hypothesis.

We show that for a large class $\mathcal{C}$ of finitely generated groups of orientation preserving homeomorphisms of the real line, the following holds: Given a group $G$ of rank $k$ in $\mathcal{C}$, there is a sequence of $k$-markings…

An automorphism $\alpha$ of a group $G$ is normal if it fixes every normal subgroup of $G$ setwise. We give an algebraic description of normal automorphisms of relatively hyperbolic groups. In particular, we prove that for any relatively…

Let $D$ be a division algebra such that $D\t D^o$ is a Noetherian algebra, then any division subalgebra of $D$ is a {\em finitely generated} division algebra. Let $\D $ be a finite set of commuting derivations or automorphisms of the…

In SGA 2, Grothendieck conjectures that the \'etale fundamental group of the punctured spectrum of a complete noetherian local domain of dimension at least two with algebraically closed residue field is topologically finitely generated. In…

Let $G = H\times A$ be a group, where $H$ is a purely non-abelian subgroup of $G$ and $A$ is a non-trivial abelian factor of $G$. Then, for $n \geq 2$, we show that there exists an isomorphism $\phi : Aut_{Z(G)}^{\gamma_{n}(G)}(G)…

For an additive category $\mathbf{P}$ we provide an explict construction of a category $\mathcal{Q}( \mathbf{P} )$ whose objects can be thought of as formally representing $\frac{\mathrm{im}( \gamma )}{\mathrm{im}( \rho ) \cap \mathrm{im}(…

We prove that if $G$ is a totally bounded abelian group \st\ its dual group $\widehat{G}_p$ equipped with the finite-open topology is a Baire group, then every compact subset of $G$ must be finite. This solves an open question by Chasco,…

Suppose that $\Gamma$ is a non-empty connected graph, $\mathfrak{G}$ is the fundamental group of a graph of groups over $\Gamma$, and $\mathcal{C}$ is a root class of groups (the last means that $\mathcal{C}$ contains non-trivial groups and…