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

Let $\Gamma$ be a torsion-free hyperbolic group. We show that the set of solutions of any system of equations with one variable in $\Gamma$ is a finite union of points and cosets of centralizers if and only if any two-generator subgroup of…

Let $p$ be an odd prime. We construct a non-abelian extension $\Gamma$ of $S^1$ by $Z/p \times Z/p$, and prove that any finite subgroup of $\Gamma$ acts freely and smoothly on $S^{2p-1} \times S^{2p-1}$. In particular, for each odd prime…

This paper is dedicated to the problem of infinite transitivity for algebraically generated automorphism groups of the affine plane. We provide a necessary and sufficient condition of infinite transitivity for a large family of subgroups…

For any prime number p and any positive real number {\alpha}, we construct a finitely generated group {\Gamma} with p-gradient equal to {\alpha}. This construction is used to show that there exist uncountably many pairwise non-commensurable…

The goal of invariant theory is to find all the generators for the algebra of representations of a group that leave the group invariant. Such generators will be called \emph{basic invariants}. In particular, we set out to find the set of…

The Markoff group of transformations is a group $\Gamma$ of affine integral morphisms, which is known to act transitively on the set of all positive integer solutions to the equation $x^{2}+y^{2}+z^{2}=xyz$. The fundamental strong…

Given a locally finite graph $\Gamma$, an amenable subgroup $G$ of graph automorphisms acting freely and almost transitively on its vertices, and a $G$-invariant activity function $\lambda$, consider the free energy $f_G(\Gamma,\lambda)$ of…

The non--commuting graph $\Gamma(G)$ of a non--abelian group $G$ is defined as follows. The vertex set $V(\Gamma(G))$ of $\Gamma(G)$ is $G\setminus Z(G)$ where $Z(G)$ denotes the center of $G$ and two vertices $x$ and $y$ are adjacent if…

The following problem has been known since the 80s. Let $\Gamma$ be an Abelian group of order $m$ (denoted $|\Gamma|=m$), and let $t$ and $\{m_i\}_{i=1}^{t}$, be positive integers such that $\sum_{i=1}^t m_i=m-1$. Determine when…

We show that it is consistent that there is a strongly aleph_1-free aleph_1-coseparable group of cardinality aleph_1 which is not aleph_1-separable.

Let $\alpha : \Gamma \curvearrowright A$ be an action of a discrete group $\Gamma$ on a unital C*-algebra $A$ by *-automorphisms and let $A \rtimes_{\alpha,\lambda} \Gamma$ denote the corresponding reduced crossed product C*-algebra.…

We consider a recently proposed generalization of unimodular gravity, where the lapse function is constrained to be equal to a function of the determinant of the spatial metric $f(h)$, as a potential origin of a dark fluid with a generally…

Let G be a finitely generated free, free abelian of arbitrary exponent, free nilpotent, or free solvable group, or a free group in the variety A_mA_n, and let A = {a_1,..., a_r} be a basis for G. We prove that, in most cases, if S is a…

Let $\Gamma$ be a function that maps two arbitrary graphs $G$ and $H$ to a non-negative real number such that $$\alpha(G^{\boxtimes n})\leq \alpha(H^{\boxtimes n})\Gamma(G,H)^n$$ where $n$ is any natural number and $G^{\boxtimes n}$ is the…

Given a linear order $\Omega$ its automorphism group $\Aut(\Omega)$ forms a lattice-ordered group via pointwise order. Assuming the continuum to be a regular cardinal, we show that \emph{pathological} and \emph{$\omega$-transitive} (i.e.…

Let $\Gamma$ be a graph with the adjacency matrix $A$. The transition matrix of $\Gamma$, denoted $H(t)$, is defined as $H(t) := \exp(-\textbf{i}tA)$, where $\textbf{i} := \sqrt{-1}$ and $t$ is a real variable. The graph $\Gamma$ is said to…

Let $\rho: \Gamma \to G$ be an Anosov representation, with $\Gamma$ a word hyperbolic group and $G$ a semisimple Lie group. Previous works (Guichard--Wienhard, Kapovich--Leeb--Porti, and Carvajales--Stecker) constructed an open domain of…

We introduce a quantitative notion of lawlessness for finitely generated groups, encoded by the "lawlessness growth function" $\mathcal{A}_{\Gamma} : \mathbb{N} \rightarrow \mathbb{N}$. We show that $\mathcal{A}_{\Gamma}$ is bounded iff…

Given a countable group $\Gamma$, letting $\mathcal{K}_\Gamma$ denote the class of {\pmp} actions of $\Gamma$, we study the question of when the model companion of $\mathcal{K}_\Gamma$ exists. Berenstein, Henson, and Ibarluc\'ia showed that…

We characterize connected tetravalent graphs $\Gamma$ which admit groups $M<H$ of automorphisms such that $\Gamma$ is $M$-half-arc-transitive and $H$-arc-transitive. Examples for each case are constructed, including a counter-example to a…