Related papers: Forcing a Basis into $\aleph_1$-Free Groups

We begin the investigation of Gamma-limit groups, where Gamma is a torsion-free group which is hyperbolic relative to a collection of free abelian subgroups. Using the results of Drutu and Sapir, we adapt the results from math.GR/0404440 to…

Every infinite group $G$ of regular cardinality can be partitioned $G=A_1\cup A_2$ so that $G\neq FA_1$, $G\neq FA_2$ for every subset $F\subset G$ of cardinality $|F|<|G|$. The first author asked whether the same is true for each group $G$…

The bounded proper forcing axiom BPFA is the statement that for any family of aleph_1 many maximal antichains of a proper forcing notion, each of size aleph_1, there is a directed set meeting all these antichains. A regular cardinal kappa…

Let $\Gamma$ be a discrete group satisfying the approximation property (AP). Let $X$, $Y$ be $\Gamma$-spaces and $\pi \colon Y \to X$ be a proper factor map which is injective on the non-free part. We prove the one-to-one correspondence…

We show that for any finite-rank free group $\Gamma$, any word-equation in one variable of length $n$ with constants in $\Gamma$ fails to be satisfied by some element of $\Gamma$ of word-length $O(\log (n))$. By a result of the first…

Given a finite connected graph ${\Gamma}$ and a group $G$ acting transitively on the vertices of ${\Gamma}$, we prove that the number of vertices of ${\Gamma}$ and the cardinality of $G$ are bounded above by a function depending only on the…

We show that extending an embedding of a graph $\Gamma$ in a surface to an embedding of a Hamiltonian supergraph can be blocked by certain planar subgraphs but, for some subdivisions of $\Gamma$, Hamiltonian extensions must exist.

For a finite simplicial graph $\Gamma$, let $A(\Gamma)$ denote the right-angled Artin group on $\Gamma$. Recently Kim and Koberda introduced the extension graph $\Gamma^e$ for $\Gamma$, and established the Extension Graph Theorem: for…

We associate a graph $\Gamma_G$ to a non locally cyclic group $G$ (called the non-cyclic graph of $G$) as follows: take $G\backslash Cyc(G)$ as vertex set, where $Cyc(G)=\{x\in G | \left<x,y\right> \text{is cyclic for all} y\in G\}$, and…

In this paper we study the action of a countable group $\Gamma$ on the space of orders on the group. In particular, we are concerned with the invariant probability measures on this space, known as invariant random orders. We show that for…

It is well known that, for any finitely generated torsion module M over the Iwasawa algebra Z_p [[{\Gamma} ]], where {\Gamma} is isomorphic to Z_p, there exists a continuous p-adic character {\rho} of {\Gamma} such that, for every open…

For any torsion-free hyperbolic group $\Gamma$ and any group $G$ that is fully residually $\Gamma$, we construct algorithmically a finite collection of homomorphisms from $G$ to groups obtained from $\Gamma$ by extensions of centralizers,…

Let $G$ be a group and $H\leqslant G$ a subgroup. The free extension of an $H$-subshift $X$ to $G$ is the $G$-subshift $\widetilde{X}$ whose configurations are those for which the restriction to every coset of $H$ is a configuration from…

As an analogue of the topological boundary of discrete groups $\Gamma$, we define the noncommutative topological boundary of tracial von Neumann algebras $(M, \tau)$ and apply it to generalize the main results of [AHO23], showing that for a…

For $\Gamma$ a group of order $mp$ for $p$ prime where $gcd(p,m)=1$, we consider those regular subgroups $N\leq Perm(\Gamma)$ normalized by $\lambda(\Gamma)$, the left regular representation of $\Gamma$. These subgroups are in one-to-one…

We investigate the conditions for a finite abelian group $G$ under which any cyclic subgroup $H$ and any group homomorphism $f \in \operatorname{Hom}(H,G)$ can be extended to an endomorphism $F \in \operatorname{End}(G)$. As a result, we…

The Abels-Margulis-Soifer lemma states that if a semigroup $\Gamma$ acts strongly irreducibly by linear transformations on a finite-dimensional real vector space, then any element of $\Gamma$ can be multiplied by an element of some fixed…

This thesis consists of two parts: the construction of a jointly universal family of graphs, and then an exploration of set-theoretic geology. Firstly we shall construct a model in which…

Let $\Gamma$ be a countably infinite group. Given $k \in \mathbb{N}$, we use $\mathrm{Free}(k^\Gamma)$ to denote the free part of the Bernoulli shift action of $\Gamma$ on $k^\Gamma$. Seward and Tucker-Drob showed that there exists a free…

The independence number $\alpha(H)$ of a hypergraph $H$ is the maximum cardinality of a set of vertices of $H$ that does not contain an edge of $H$. Generalizing Shearer's classical lower bound on the independence number of triangle-free…