Related papers: The free group has the dimensional order property

We give a new characterization of $SOP$ (the strict order property) in terms of the behaviour of formulas in any model of the theory as opposed to having to look at the behaviour of indiscernible sequences inside saturated ones. We refine a…

A dimension group is an ordered abelian group that is an inductive limit of a sequence of simplicial groups, and a stationary dimension group is such an inductive limit in which the homomorphism is the same at every stage. If a simple…

It is proven that for any representation over a field of characteristic 0 of the non-abelian semidirect product of a cyclic group of prime order p and the group of order 3 the corresponding algebra of polynomial invariants is generated by…

We introduce the group-compact coarse structure on a Hausdorff topological group in the context of coarse structures on an abstract group which are compatible with the group operations. We develop asymptotic dimension theory for the…

A finite group of order $n$ is said to have the distinct divisor property (DDP) if there exists a permutation $g_1,\ldots, g_n$ of its elements such that $g_i^{-1}g_{i+1} \neq g_j^{-1}g_{j+1}$ for all $1\leq i<j<n$. We show that an abelian…

A group classification of first-order delay ordinary differential equation (DODE) accompanied by an equation for delay parameter (delay relation) is presented. A subset of such systems (delay ordinary differential systems or DODSs) which…

Every left-invariant ordering of a group is either discrete, meaning there is a least element greater than the identity, or dense. Corresponding to this dichotomy, the spaces of left, Conradian, and bi-orderings of a group are naturally…

In this work the author studies the property close to property of order separability.

It is proved that finite nonabelian simple groups $S$ with $\max \pi(S)=37$ are uniquely determined by their order and degree pattern in the class of all finite groups.

We provide a pure algebraic version of the dynamical characterization of Conrad's property. This approach allows dealing with general group actions on totally ordered spaces. As an application, we give a new and somehow constructive proof…

We show that the theory of the free group -- and more generally the theory of any torsion-free hyperbolic group -- is $n$-ample for any $n\geq 1$. We give also an explicit description of the imaginary algebraic closure in free groups.

Let $L/K$ be a finite Galois extension of local or global fields in characteristic $0$ or $p$ with nonabelian Galois group $G$, and let ${\mathfrak B}$ be a $G$-stable fractional ideal of $L$. We show that ${\mathfrak B}$ is free over its…

We like to build Abelian groups (or R-modules) which on the one hand are quite free, say $\aleph_{\omega + 1}$-free, and on the other hand, are complicated in suitable sense. We choose as our test problem having no non-trivial homomorphism…

We prove that every free metabelian non--cyclic group has a finitely generated isolated subgroup which is not separable in the class of nilpotent groups. As a corollary we prove that for every prime number $p$ an arbitrary free metabelian…

The algebra of linear and quadratic functions of basic observables on the phase space of either the free particle or the harmonic oscillator possesses a finite-dimensional anomaly. The quantization of these systems outside the critical…

We prove that for every simple theory $T$ (or even simple thick compact abstract theory) there is a (unique) compact abstract theory $T^\fP$ whose saturated models are the lovely pairs of $T$. Independence-theoretic results that were proved…

When does Borel's theorem on free subgroups of semisimple groups generalize to other groups? We initiate a systematic study of this question and find positive and negative answers for it. In particular, we fully classify fundamental groups…

We prove that all definable pre-orders are atomic, in a finitely generated free algebra of a discriminator variety of finite similarity type which is generated by its finite members.

For any left orderable group G, we recall from work of McCleary that isolated points in the space of left orderings correspond to basic elements in the free lattice ordered group over G. We then establish a new connection between the…

We prove that no infinite field is interpretable in the first-order theory of nonabelian free groups. We also obtain a characterization of Abelian groups interpretable in this theory.