Related papers: The free group has the dimensional order property
We study the structure of infinite discrete sets D definable in expansions of ordered Abelian groups whose theories are strong and definably complete, with particular emphasis on the set D' comprised of differences between successive…
A semi-classical check of the Goddard-Nuyts-Olive (GNO) generalized duality conjecture for gauge theories with adjoint Higgs fields is performed for the case where the unbroken gauge group is non-abelian. The monopole solutions of the…
We study the freeness of the group $\mathrm{Inv}(D)$ of invertible ideals of an integral domain $D$, and the freeness of some related groups of (fractional) ideals. We study the relation between $\mathrm{Inv}(D)$ and $\mathrm{Inv}(D_P)$, in…
We consider word automaticity for groups that are nilpotent of class $2$ and have exponent a prime $p$. We show that the infinitely generated free group in this variety is not word automatic. In contrast, the infinite extra-special…
Let $FG$ be the group algebra of a finite $p$-group $G$ over a finite field $F$ of positive characteristic $p$. Let $\cd$ be an involution of the algebra $FG$ which is a linear extension of an anti-automorphism of the group $G$ to $FG$. If…
We reformulate several basic notions of notions in finite group theory in terms of iterations of the lifting property (orthogonality) with respect to particular morphisms. Our examples include the notions being nilpotent, solvable, perfect,…
In this paper we give description of free and cofree objects in the category of operator sequence spaces. First we show that this category possess the same duality theory as category of normed spaces, then with the aid of these results we…
We prove that every virtually free group $G$ has property (LR) of Long and Reid: each finitely generated subgroup of $G$ is a retract of a finite index subgroup. The main ingredient in the proof is a new embedding result stating that every…
We prove that, for the free algebra over a sufficiently rich operad, a large subgroup of its group of tame automorphisms has Kazhdan's property (T). We deduce that there exists a group with property (T) that maps onto large powers of…
We present some Zermelo-Fraenkel consistency results regarding bi-orderability of groups, as well as a construction of groups with Conradian orders whose every action on metric spaces has bounded orbits. A classical consequence of the…
We study the geometry of positive cones of left-invariant total orders (left-order, for short) in finitely generated groups. We introduce the \textit{Hucha property} and the \texit{Prieto property} for left-orderable groups. The first one…
Topological properties of the free topological group and the free abelian topological group on a space have been thoroughly studied since the 1940s. In this paper, we study the free topological $\mathbb{R}$-vector space $V(X)$ on $X$. We…
A natural topology on the space of left orderings of an arbitrary semi-group is introduced. It is proved that this space is compact and that for free abelian groups it is homeomorphic to the Cantor set. An application of this result is a…
We consider linear groups which do not contain unipotent elements of infinite order, which includes all linear groups in positive characteristic, and show that this class of groups has good properties which resemble those held by groups of…
A bi-order on a group $G$ is a total, bi-multiplication invariant order. A subset $S$ in an ordered group $(G,\leqslant)$ is convex if for all $f\leqslant g$ in $S$, every element $h\in G$ satisfying $f\leqslant h \leqslant g$ belongs to…
The geometric form of Hilbert's Nullstellensatz may be understood as a property of "geometric saturation" in algebraically closed fields. We conceptualise this property in the language of first order logic, following previous approaches and…
We give sufficient conditions for a first order expansion of the real line to define the standard model of the monadic second order theory of one successor. Such an expansion does not satisfy any of the combinatorial tameness properties…
Suppose $N$ is a diffuse, property T von Neumann algebra and X is an arbitrary finite generating set of selfadjoint elements for N. By using rigidity/deformation arguments applied to representations of N in full matrix algebras, we deduce…
Considering a particular case of a problem posed by Saharon Shelah, we prove that the automorphism group of an infinitely generated free nilpotent group N first-order interprets the full second-order theory of the set rank(N) in the empty…
We illustrate the generative power of the lifting property (orthogonality of morphisms in a category) as means of defining natural elementary mathematical concepts by giving a number of examples in various categories, in particular showing…