We prove a Freiheitssatz for one-relator products of torsion-free groups, where the relator has syllable length at most 8. This result has applications to equations over torsion-free groups: in particular a singular equation of syllable length at most 18 over a torsion-free group has a solution in some overgroup.
We improve and shorten the argument given in(Journal of Algebra, vol.~210 (1998) pp~291--297). Inparticular, the fact that Artin braid groups are torsion free now follows from Garsideś results almost immediately.
Let $X$ be a compact torsion abelian group. In this paper, we show that an extension of $F_{p}$ by $X$ splits where $F_{p}$ is the p-adic number group and $p$ a prime number. Also, we show that an extension of a torsion-free, non-divisible LCA group by $X$ is not split.
A finitely generated virtually free pro-p group with finite centralizers of its torsion elements is the free pro-p product of finite p-groups and a free pro-p factor.
We show that a torsion-free nilpotent loop (that is, a loop nilpotent with respect to the dimension filtration) has a torsion-free nilpotent left multiplication group of, at most, the same class. We also prove that a free loop is residually torsion-free nilpotent and that the same holds for any free commutative loop. Although this last result is much stronger than the usual residual nilpotency of the free loop proved by Higman, it is proved, essentially, by the same method.
A theorem by Hall asserts that the multiplication in torsion free nilpotent groups of finite Hirsch length can be facilitated by polynomials. In this note we exhibit explicit Hall polynomials for the torsion free nilpotent groups of Hirsch length at most 5.
A second countable virtually free pro-p group all of whose torsion elements have finite centralizer is the free pro-p product of finite p-groups and a free pro-p factor.
We describe an algorithm for deciding whether or not a given finitely generated torsion-free nilpotent group is decomposable as the direct product of nontrivial subgroups.
We construct cocompact lattices in a product of trees which are not virtually torsion-free. This gives the first examples of hierarchically hyperbolic groups which are not virtually torsion-free
We construct examples of groups showing that virtual solvability and the property of being virtually torsion-free are not preserved by bi-Lipschitz maps and hence by quasi-isometries.
Let H and K be quasiconvex subgroups of a negatively curved torsion-free group G. We give an algorithm which decides whether an element of H is conjugated in G to an element of K.
A famous result of Hall asserts that the multiplication and exponentiation in finitely generated torsion free nilpotent groups can be described by rational polynomials. We describe an algorithm to determine such polynomials for all torsion free nilpotent groups of given Hirsch length. We apply this to determine the Hall polynomials for all such groups of Hirsch length at most 7.
We give an infinite family of torsion-free groups that do not satisfy the unique product property. For these examples, we also show that each group contains arbitrarily large sets whose square has no uniquely represented element.
We use a recent result of Alexander and Nishinaka to show that if $G$ is a non-elementary torsion-free hyperbolic group and $R$ is a countable domain, then the group ring $RG$ is primitive. This implies that the group ring $KG$ of any non-elementary torsion-free hyperbolic group $G$ over a field $K$ is primitive.
We introduce a condition on the monodromy of a free-by-cyclic group, $G_ϕ$, called the chain flare condition, that implies that the $L^2$-torsion, $ρ^{(2)}(G_ϕ)$, is non-zero. We conjecture that this condition holds whenever the monodromy is exponentially growing.
It is known that every torsion-free abelian group of finite rank has a maximal completely decomposable summand that is unique up to isomorphism. We show that groups of infinite rank need not have maximal completely decomposable summands, but when they do, this summand is unique up to isomorphism.
In this paper we study distortion of various well-known embeddings of finitely generated torsion-free nilpotent groups $G$ into unitriangular groups $UT_n(\mathbb{Z})$. We also provide a polynomial time algorithm for finding distortion of a given subgroup of $G$
An indecomposable decomposition of a torsion-free abelian group $G$ of rank $n$ is a decomposition $G=A_1\oplus\cdots\oplus A_t$ where $A_i$ is indecomposable of rank $r_i$ so that $\sum_i r_i=n$ is a partition of $n$. The group $G$ may have decompositions that result in different partitions of $n$. We address the problem of characterising those sets of partitions of $n$ which can arise from indecomposable decompositions of a torsion-free abelian group.
Let $A$ be a finite rank torsion--free abelian group. Then there exist direct decompositions $A=B\oplus C$ where $B$ is completely decomposable and $C$ has no rank 1 direct summand. In such a decomposition $B$ is unique up to isomorphism and $C$ unique up to near-isomorphism.
Let G be a torsion free hyperbolic group. We prove that the elementary theory of G is decidable and admits an effective quantifier elimination to boolean combination of AE-formulas. The existence of such quantifier elimination was previously proved by Sela.
We give criteria for the Jacobian of a singular curve $X$ with at most ordinary $n$-point singularities to be anti-affine. In particular, for the case of curves with single ordinary double point we exhibit a relation with torsion divisors. If the geometric genus of the singular curve is atleast 3 and the normalization is non-hyperelliptic and non-bielliptic, then except for finitely many cases the Jacobian of $X$ is anti-affine. Furthermore, if the normalization is a general curve of genus atleast 3 then the Jacobian of $X$ is always anti-affine.
Let G be a torsion-free abelian group of finite rank. The orbits of the action of Aut(G) on the set of maximal independent subsets of G determine the indecomposable decompositions of G. G contains a direct sum of pure strongly indecomposable groups as a subgroup of finite index.
We generalize the graphical small cancellation theory of Gromov to a graphical small cancellation theory over the free product. We extend Gromov's small cancellation theorem to the free product. We explain and generalize Rips-Segev's construction of torsion-free groups without the unique product property by viewing these groups as given by graphical small cancellation presentations over the free product. Our graphical small cancellation theorem then provides first examples of Gromov hyperbolic groups without the unique product property. We construct uncountably many non-isomorphic torsion-free…
In this paper we consider the problem of classification of the nilpotent class 2 finitely generated torsion free groups up to the geometric equivalence. By a very easy technique it is proved that this problem is equivalent to the problem of classification of the complete (in the Maltsev sense) nilpotent torsion free finite rank groups up to the isomorphism. This result, allows us to once more comprehend the complication of the problem of the classification of the quasi-varieties of nilpotent class 2 groups. It is well known that the variety of a nilpotent class s (for every s) groups is Noethe…
We give a complete characterization of torsion-free hyperbolic groups which are homogeneous in the sense of first-order logic, in terms of the JSJ decompositions of their free factors.
In this paper we study the property of geometric equivalence of groups introduced by B. Plotkin \cite{P1, P2}. Sufficient and necessary conditions are presented for a $π$-torsion-free nilpotent group to be geometrically equivalent to its $π$-completion. We prove that a relatively free nilpotent $π$-torsion-free group and its $π$-completion define the same quasi-variety. Examples of $π$-torsion-free nilpotent groups that are geometrically equivalent to their $π$-completions are given.
In this note, we construct torsion-free countable, amenable, weakly mixing groups, which answer a question of V. Bergelson. Some results related to verbal subgroups and crystallographic groups are also presented.
Let $Γ$ be a torsion-free hyperbolic group. We show that the set of solutions of any system of equations with one variable in $Γ$ is a finite union of points and cosets of centralizers if and only if any two-generator subgroup of $Γ$ is free.
We study some close relationships between the classes of transitive, fully transitive and Krylov transitive torsion-free Abelian groups. In addition, as an application of the achieved assertions, we resolve some oldstanding problems, posed by Krylov-Mikhalev-Tuganbaev in their monograph [17]. Specifically, we answer Problem 44 from there in the affirmative by constructing a Krylov transitive torsion-free Abelian group which is neither fully transitive nor transitive. This extends to the torsion-free case certain similar results in the p-torsion case, obtained by Braun et al. in J. Algebra (201…
We describe the structure of ``K-approximate subgroups'' of torsion-free nilpotent groups, paying particular attention to Lie groups. Three other works, by Fisher-Katz-Peng, Sanders and Tao, have appeared which independently address related issues. We comment briefly on some of the connections between these papers.
We prove that the generic type of a non-cyclic torsion-free hyperbolic group G is foreign to any interpretable abelian group, hence also to any interpretable field. This result depends, among other things, on the definable simplicity of a non-cyclic torsion-free hyperbolic group, and we take the opportunity to give a proof of the latter using Sela's description of imaginaries in torsion-free hyperbolic groups. We also use the description of imaginaries to prove that if F is a free group of rank > 2 then no orbit of a finite tuple from F under Aut(F) is definable.
We consider embeddings in a torsion-free hyperbolic group which are elementary in the sense of first-order logic. We give a description of these embeddings in terms of Sela's hyperbolic towers. We deduce as a corollary that subgroups elementarily embedded in finitely generated free groups are free factors.
A space X is selectively sequentially pseudocompact if for every sequence (U_n) of non-empty open subsets of X, one can choose a point x_n in each U_n in such a way that the sequence (x_n) has a convergent subsequence. Let G be a group from one of the following three classes: (i) V-free groups, where V is an arbitrary variety of Abelian groups; (ii) torsion Abelian groups; (iii) torsion-free Abelian groups. Under the Singular Cardinal Hypothesis SCH, we prove that if G admits a pseudocompact group topology, then it can also be equipped with a selectively sequentially pseudocompact group topolo…
This paper addresses the torsion problem for a class of automaton semigroups, defined as semigroups of transformations induced by Mealy automata, aka letter-by-letter transducers with the same input and output alphabet. The torsion problem is undecidable for automaton semigroups in general, but is known to be solvable within the well-studied class of (semi)groups generated by invertible bounded Mealy automata. We focus on the somehow antipodal class of invertible reversible Mealy automata and prove that for a wide subclass the generated semigroup is torsion-free.
University of Torino（都灵大学）；The Hebrew University of Jerusalem（耶路撒冷希伯来大学）；Rutgers University（罗格斯大学）
We prove that the Borel space of torsion-free Abelian groups with domain $ω$ is Borel complete, i.e., the isomorphism relation on this Borel space is as complicated as possible, as an isomorphism relation. This solves a long-standing open problem in descriptive set theory, which dates back to the seminal paper on Borel reducibility of Friedman and Stanley from 1989.
Let $A, B$ be finite subsets of a torsion-free group $G$. We prove that for every positive integer $k$ there is a $c(k)$ such that if $|B|\ge c(k)$ then the inequality $|AB|\ge |A|+|B|+k$ holds unless a left translate of $A$ is contained in a cyclic subgroup. We obtain $c(k)<c_0k^{6}$ for arbitrary torsion-free groups, and $c(k)<c_0k^{3}$ for groups with the unique product property, where $c_0$ is an absolute constant. We give examples to show that $c(k)$ is at least quadratic in $k$.
Let T be an abelian group and lambda an uncountable regular cardinal. We consider the question of whether there is a lambda-universal group G^* among all torsion-free abelian groups G of cardinality less than or equal to lambda satisfying Ext(G,T)=0. Here G^* is said to be lambda-universal for T if, whenever a torsion-free abelian group G of cardinality less than or equal to lambda satisfies Ext(G,T)=0, then there is an embedding of G into G^*. For large classes of abelian groups T and cardinals lambda it is shown that the answer is consistently no. In particular, for T torsion, this solves a …
In this note we prove injectivity and relative asphericity for "layered" systems of equations over torsion-free groups, when the exponent matrix is invertible over Z. We also give elementary geometric proofs of results due to Bogley-Pride and Serre that are used in the proof of the main theorem.
We study the torsion free generalized crystallographic groups with the indecomposable holonomy group which is isomorphic to either a cyclic group of order ${p^s}$ or a direct product of two cyclic groups of order ${p}$.
