Related papers: Strong subgroup chains and the Baer-Specker group
The Baer-Specker group is the product of countably many copies of the additive group Z of integers. Assuming the continuum hypothesis, we construct a pure subgroup G of the Baer-Specker group with the following properties. Every…
Denote the integers by Z and the positive integers by N. The groups Z^k (k a natural number) are discrete, and the classification up to isomorphism of their (topological) subgroups is trivial. But already for the countably infinite power…
The classes of slender and cotorsion-free abelian groups are axiomatizable in the infinitary logics L_{infty,omega_1} and L_{infty,omega}, respectively. The Baer-Specker group Z^omega is not L_{infty,omega_1}-equivalent to a slender group.
We show that certain algebraic structures lack freeness in the absence of the axiom of choice. These include some subgroups of the Baer-Specker group $\mathbb{Z}^{\omega}$ and the Hawaiian earring group. Applications to slenderness,…
We prove in ZFC that the Baer-Specker group Z^omega has 2^{aleph_1} non-free pure subgroups of cardinality aleph_1 which are almost disjoint: there is no non-free subgroup embeddable in any pair.
We construct a non-free but aleph_1-separable, torsion-free abelian group G with a pure free subgroup B such that all subgroups of G disjoint from B are free and such that G/B is divisible. This answers a question of Irwin and shows that a…
Groups definable in simple theories retain the chain conditions and decomposition properties known from stable groups, up to commensurability. In the small case, if a generic type of G is not foreign to some type q, there is a q-internal…
We consider the so-called {\it strongly co-Hopfian} and {\it uniformly strongly co-Hopfian} Abelian groups, significantly generalizing some important results due to Abdelalim in the J. Math. Analysis (2015). Specifically, we prove that any…
The fundamental group of the complement of a plane curve is a very important topological invariant. In particular, it is interesting to find out whether this group is determined by the combinatorics of the curve or not, and whether it is a…
We show that (with one possible exception) there exist strongly dense free subgroups in any semisimple algebraic group over a large enough field. These are nonabelian free subgroups all of whose subgroups are either cyclic or Zariski dense.…
We prove that a uniform pro-p group with no nonabelian free subgroups has a normal series with torsion-free abelian factors. We discuss this in relation to unique product groups. We also consider generalizations of Hantzsche-Wendt groups.
We introduce a new class of Abelian groups which lies strictly between the classes of co-Hopfian groups and Dedekind-finite groups, calling these groups {\it Bassian-finite}. We prove the surprising fact that in the torsion case the…
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…
Tkachenko and Yaschenko [34] characterized the abelian groups G such that all proper unconditionally closed subsets of G are finite, these are precisely the abelian groups G having cofinite Zariski topology (they proved that such a G is…
A torsion-free abelian group B of arbitrary rank is called a B_1-group if Bext^1(B,T)=0 for every torsion abelian group T, where Bext^1 denotes the group of equivalence classes of all balanced exact extensions of T by B. It is a…
For a $k$-uniform hypergraph $\mathcal{H}$ on vertex set $\{1, ..., n\}$ we associate a particular signed incidence matrix $M(\mathcal{H})$ over the integers. For $\mathcal{H} \sim \mathcal{H}_k(n, p)$ an Erd\H{o}s--R\'{e}nyi random…
In this paper, we develop the theory of Baer invariants for triples of groups. First, we focus on the general properties of the Baer invariant of triples. Second, we prove that the Baer invariant of a triple preserves direct limits of…
We present a characterization of cotorsion-free abelian groups in terms of homomorphisms from fundamental groups of Peano continua, which aligns naturally with the generalization of slenderness to non-abelian groups. In the process, we…
We study limit models in the class of abelian groups with the subgroup relation and in the class of torsion-free abelian groups with the pure subgroup relation. We show: $\textbf{Theorem}$ (1) If $G$ is a limit model of cardinality…
We introduce a new framework linking group theory and formal language theory which generalizes a number of ways these topics have been linked in the past. For a language class C in the Chomsky hierarchy, we say a group is epiC if it admits…