Related papers: On pro-${\it p}$-groups with a single defining rel…

We obtain a sufficient condition, given a totally disconnected, locally compact group $G$ with a topologically simple monolith $S$, to ensure that $S$ is open in $G$ and abstractly simple.

We show that a nonempty family of $n$-generated subgroups of a pro-$p$ group has a maximal element. This suggests that 'Noetherian Induction' can be used to discover new features of finitely generated subgroups of pro-$p$ groups. To…

We prove the decidability of the elementary theory of a free group.

Let p be a prime. We classify finitely generated pro-p groups G which satisfy d(H) = d(G) for all open subgroups H of G. Here d(H) denotes the minimal number of topological generators for the subgroup H. Within the category of p-adic…

We strengthen Marshall Hall's Theorem to show that free groups are locally extended residually alternating. Let F be any free group of rank at least two, let H be a finitely generated subgroup of infinite index in F and let {g_1,...,g_n} be…

We generalize the notion of a Magnus expansion of a free group in order to extend each of the Johnson homomorphisms defined on a decreasing filtration of the Torelli group for a surface with one boundary component to the whole of the…

We state a conjecture on the reduction modulo the defining characteristic of a unipotent representation of a finite reductive group.

We establish a "matrix simultaneous diagonalization theorem" for disconnected reductive groups which relaxes both the semisimplicity condition and the commutativity condition. As an application, we prove the following basic results…

Given a semisimple group over a local field of residual characteristic p, its topological group of rational points admits maximal pro-p-subgroups. Quasi-split simply-connected semisimple groups can be described in the combinatorial terms of…

We show that if a group $G$ acting faithfully on a rooted tree $T$ has a free subgroup, then either there exists a point $w$ of the boundary $\partial T$ and a free subgroup of $G$ with trivial stabilizer of $w$, or there exists…

Finitely generated (non-abelian) free metabelian pro-p groups, and wreath products of f.g. free abelian pro-p groups, are all finitely axiomatizable in the class of all profinite groups.

Any non-residually finite Baumslag-Solitar group has a non-residually finite image in the abstract commensuration of a nonabelian free group. This gives a new proof (avoiding Britton's Lemma) of the classification of residually finite…

Let $G$ be a group and $H_1$,...,$H_s$ be subgroups of $G$ of indices $d_1$,...,$d_s$ respectively. In 1974, M. Herzog and J. Sch\"onheim conjectured that if $\{H_i\alpha_i\}_{i=1}^{i=s}$, $\alpha_i\in G$, is a coset partition of $G$, then…

The Peterson-Thom conjecture asserts that any diffuse, amenable subalgebra of a free group factor is contained in a unique maximal amenable subalgebra. This conjecture is motivated by related results in Popa's deformation/rigidity theory…

In this note we extend to metrizable profinite groups the classical theorems of Titchmarsh on the Fourier transform of H\"older-Lipschitz functions. This generalizes the results of Younis on compact zero-dimensional abelian groups to the…

We characterize thorn-independence in a variety of structures, focusing on the field of real numbers expanded by predicate defining a dense multiplicative subgroup, G, satisfying the Mann property and whose pth powers are of finite index in…

We give necessary and sufficient conditions for the group of a rational maximal bifix code $Z$ to be isomorphic with the $F$-group of $Z\cap F$, when $F$ is recurrent and $Z\cap F$ is rational. The case where $F$ is uniformly recurrent,…

A group is $\textit{finitely axiomatizable}$ (FA) in a class $\mathcal{C}$ if it can be determined up to isomorphism within $\mathcal{C}$ by a sentence in the first-order language of group theory. We show that profinite groups of various…

For every $p\geq 2$, we give a characterization of positive definite functions on a free group with finitely many generators, which can be extended to the positive linear functionals on the free group $C^*$-algebra associated with the ideal…

Proofs that an arbitrary field has a separable closure are necessarily non-constructive, and separable closures are unique only up to non-canonical isomorphism. This means that the absolute Galois group of a field is defined only up to…