Related papers: Strong subgroup chains and the Baer-Specker group

We consider absolutely free nonassociative algebras and, more generally, absolutely free algebras with (maybe infinitely) many multilinear operations. Such algebras are described in terms of labeled reduced planar rooted trees. This allows…

We lay the foundations of the first-order model theory of Coxeter groups. Firstly, with the exception of the $2$-spherical non-affine case (which we leave open), we characterize the superstable Coxeter groups of finite rank, which we show…

We provide a class of non-contracting groups containing an infinite family of fractal and weakly regular branch groups, and study certain properties including abelianization, just infiniteness, and word problem. We present an example of a…

A group is small if it has countably many complete $n$-types over the empty set for each natural number n. More generally, a group $G$ is weakly small if it has countably many complete 1-types over every finite subset of G. We show here…

The Resolution Theorem for Compact Abelian Groups is applied to show that the profinite subgroups of a finite-dimensional compact connected abelian group (protorus) which induce tori quotients comprise a lattice under intersection (meet)…

Let $\mathfrak{C}$ be the smallest class of countable discrete groups with the following properties: (i) $\mathfrak{C}$ contains the trivial group, (ii) $\mathfrak{C}$ is closed under isomorphisms, countable increasing unions and extensions…

Affine subgroups having the same Coxeter number with the affine Coxeter groups W(An), W(Dn), and W(En) are constructed by graph folding technique. The affine groups W(Cn) and W(Bn) are obtained from the Coxeter groups W(A2n-1) and W(D2n-1)…

Stable commutator length scl_G(g) of an element g in a group G is an invariant for group elements sensitive to the geometry and dynamics of G. For any group G acting on a tree, we prove a sharp bound scl_G(g)>=1/2 for any g acting without…

It is proved that centrally essential rings, whose additive groups of finite rank are torsion-free groups of finite rank, are quasi-invariant but not necessarily invariant. Torsion-free Abelian groups of finite rank with centrally essential…

Let v and w be nontrivial words in two free groups. We prove that, for all sufficiently large finite non-abelian simple groups G, there exist subsets C of v(G) and D of w(G) of size such that every element of G can be realized in at least…

As a common non-trivial generalization of the notion of a generalized co-Bassian group, recently defined by the third author, we introduce the notion of a semi-generalized co-Bassian group and initiate its comprehensive study. Specifically,…

Sacerdote [Sa] has shown that the non-Abelian free groups satisfy precisely the same universal-existential sentences Th(F$_2$)$\cap \forall \exists $ in a first-order language L$_o$ appropriate for group theory. It is shown that in every…

For every prime $p > 2$ we exhibit a Cayley graph of $\mathbb{Z}_p^{2p+3}$ which is not a CI-graph. This proves that an elementary Abelian $p$-group of rank greater than or equal to $2p+3$ is not a CI-group. The proof is elementary and uses…

Let $T$ be a (first order complete) dependent theory, ${\mathfrak{C}}$ a $\bar\kappa$-saturated model of $T$ and $G$ a definable subgroup which is abelian. Among subgroups of bounded index which are the union of $<\bar\kappa$ type definable…

Trying to finalize in some way the present subject, this paper targets to generalize substantially the notions of Bassian and co-Bassian groups by introducing the so-called finitely (co-)Bassian groups, semi (co-)Bassian groups, fully…

We define an integer-valued invariant of special cube complexes called the genus, and prove that having genus one characterizes special cube complexes with abelian fundamental group. Using the genus, we obtain a new proof that the…

By definition, a group is called narrow if it does not contain a copy of a non-abelian free group. We describe the structure of finite and narrow normal subgroups in Coxeter groups and their automorphism groups.

We obtain a number of results regarding freeness, quasiconvexity and separability for subgroups of Coxeter groups, Artin groups and one-relator groups with torsion.

We construct a model space $C(\gsp(\bR^{2n}))$ for the variety of Abelian simply transitive groups of affine transformations of type ${\rm Sp}(\bR^{2n})$. The model is stratified and its principal stratum is a Zariski-open subbundle of a…

It is known that a mixed abelian group G with torsion T is Bassian if, and only if, it has finite torsion-free rank and has finite p-torsion (i.e., each Tp is finite). It is also known that if G is generalized Bassian, then each pTp is…