Related papers: On the McCool group $M_3$ and its associated Lie A…

Let $T_1$ and $T_2$ be homogeneous trees of even degree $\ge 4$. A BM group $\Gamma$ is a torsion free discrete subgroup of $\aut (T_1) \times \aut (T_2)$ which acts freely and transitively on the vertex set of $T_1 \times T_2$. This…

We consider the associated graded $\bigoplus_{k\geq 1} \Gamma_k \mathcal{I} / \Gamma_{k+1} \mathcal{I} $ of the lower central series $\mathcal{I} = \Gamma_1 \mathcal{I} \supset \Gamma_2 \mathcal{I} \supset \Gamma_3 \mathcal{I} \supset…

In this paper we study (logical) types and isotypical equivalence of torsion free Abelian groups. We describe all possible types of elements and standard 2-tuples of elements in these groups and classify separable torsion free Abelian…

Let $S$ be a right group. Then there exist two congruences $\sim$ and $\equiv$ on $S$ such that $S$ is the product of its quotient semigroups $S/{\sim}$ and $S/{\equiv}$, where $S/{\sim}$ is a group and $S/{\equiv}$ is a right zero…

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.

We prove that it is consistent that there is a non-reflexive Whitehead group, in fact one whose dual group is free. We also prove that it is consistent that there is a group A such that Ext(A,Z) is torsion and Hom(A,Z)=0. As an application…

We motivate and study the reduced Koszul map, relating the invariant bilinear maps on a Lie algebra and the third homology. We show that it is concentrated in degree 0 for any grading in a torsion-free abelian group, and in particular it…

We describe a pretorsion theory in the category $Cat$ of small categories: the torsion objects are the groupoids, while the torsion-free objects are the skeletal categories, i.e., those categories in which every isomorphism is an…

We prove that if mu^+< lambda =cf(lambda)< mu^{aleph_0}, then there is no universal reduced torsion free abelian group. Similarly if aleph_0< lambda < 2^{aleph_0}. We also prove that if 2^{aleph_0}< mu^+< lambda =cf(lambda)< mu^{aleph_0},…

This is an expository paper in which we explain how basic, standard, results about simple Lie algebras can be obtained by geometric arguments, following ideas of Cartan, Richardson and others.

Using the basic Lie symmetry method, we find the most general Lie point symmetries group of the $\nabla u=f(u)$ Poisson's equation, which has a subalgebra isomorphic to the $3-$dimensional special Euclidean group ${\rm SE}(3)$ or group of…

There is a lattice of torsion theories in simplicial groups such that the torsion/torsion-free categories are given by simplicial groups with truncated Moore complex below/above a certain degree. We study the restriction of these torsion…

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…

We prove that the Borel space of torsion-free Abelian groups with domain $\omega$ 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…

We investigate the Lie algebra of the Formanek-Procesi group FP(H) with base group H a right-angled Artin group. We show that the Lie algebra gr(FP(H)) has a presentation that is dictated by the group presentation. Moreover we show that…

We obtain a forcing construction that shows that it is consistent that the torsion-free Abelian group $\mathbb{Q}^{(\lambda)}$ admits a Hausdorff group topology which is also $\mathcal{U}$-compact and contains no non-trivial convergent…

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.

A base of a relatively free associative algebra with the identity x^3=0 over a field of arbitrary characteristic is found. As an application a minimal generating system of the 3x3 matrix invariant algebra is determined.

Lie algebras endowed with an action by automorphisms of any of the symmetric groups S3 or S4 are considered, and their decomposition into a direct sum of irreducible modules for the given action is studied. In case of S3-symmetry, the Lie…

We show that certain cyclically pinched one-relator groups are residually torsion-free nilpotent.