Related papers: Uniquely Transitive Torsion-free Abelian Groups

We present a class of abelian groups that exhibit a high degree of freeness while possessing no non-trivial homomorphisms to a canonical free object. Unlike prior investigations, which primarily focused on torsion-free groups, our work…

Given an aleph_1-free abelian group G we characterize the class C_G of all torsion abelian groups T satisfying Ext(G,T)=0 assuming the continuum hypothesis CH. Moreover, in Godel's constructable universe we prove that this characterizes C_G…

An automorphism group G of a 1-factorization of the complete multipartite graph $K_{m\times n}$ consists in permutations of the vertices of the graph mapping factors to factors. In this paper, we give a complete answer to the existence or…

In this short note we show that if lambda>aleph_1 is regular and lambda is not the successor of a singular cardinal of cofinality aleph_0, and G is a lambda-free abelian group of size lambda, then there is a free group G' subseteq G of size…

A group G acts infinitely transitively on a set Y if for every positive integer m, its action is m-transitive on Y. Given a real affine algebraic variety Y of dimension greater than or equal to two, we show that, under a mild restriction,…

A space X is selectively sequentially pseudocompact if for every sequence (U_n) of non-empty open subsets of X, one can choose a point x_n in each U_n in such a way that the sequence (x_n) has a convergent subsequence. Let G be a group from…

In [9] we proved that the space of countable torsion-free abelian groups is Borel complete. In this paper we show that our construction from [9] satisfies several additional properties of interest. We deduce from this that countable…

Let $G$ be a group and $\varphi \in \Aut(G)$. Then the set $G$ equipped with the binary operation $a*b=\varphi(ab^{-1})b$ gives a quandle structure on $G$, denoted by $\Alex(G, \varphi)$ and called the generalised Alexander quandle. When…

A characteristic result is that if 2^{aleph_0}< mu < mu^+< lambda = cf(lambda)< mu^{aleph_0}, then among the separable reduced p-groups of cardinality lambda which are (< lambda)-stable there is no universal one.

We deal with some pcf investigations mostly motivated by abelian group theory problems and deal their applications to test problems (we expect reasonably wide applications). We prove almost always the existence of aleph_omega-free abelian…

It has been claimed by Halmos in [Comment on the real line, Bull. Amer. Math. Soc., 50 (1944), 877-878] that if G is a Hausdorff locally compact topological abelian group and if the character group of G is torsion free then G is divisible.…

We deal with the problem of existence of uncountable co-Hopfian abelian groups and (absolute) Hopfian abelian groups. Firstly, we prove that there are no co-Hopfian reduced abelian groups $G$ of size $< \mathfrak{p}$ with infinite…

In this paper we prove the Geyer-Jarden conjecture on the torsion part of the Mordell-Weil group for a large class of abelian varieties defined over finitely generated fields of arbitrary characteristic. The class consists of all abelian…

We construct finitely generated torsion-free solvable groups $G$ that have infinite rank, but such that all finitely generated torsion-free metabelian subquotients of $G$ are virtually abelian. In particular all finitely generated…

We develop methods to control the first-order theory of groups arising as certain direct limits of torsion-free hyperbolic groups, answering several questions in the literature. We construct simple torsion-free Tarski monsters $\Gamma$…

We construct an abstract elementary class $K_1$ of torsion-free abelian groups such that $K_1$ is not $(<\aleph_0)$-tame but is $\aleph_0$-tame. This answers a question of [BoVa17]. Furthermore, for every regular uncountable cardinal $\mu$…

A Hausdorff topological group G is minimal if every continuous isomorphism f: G --> H between G and a Hausdorff topological group H is open. Significantly strengthening a 1981 result of Stoyanov, we prove the following theorem: For every…

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 $\mbox{TFAG}$ be the theory of torsion-free abelian groups. We show that if there is no countable transitive model of $ZFC^- + \kappa(\omega)$ exists, then $\mbox{TFAG}$ is $a \Delta^1_2$-complete; in particular, this is consistent with…

Given a linear order $\Omega$ its automorphism group $\Aut(\Omega)$ forms a lattice-ordered group via pointwise order. Assuming the continuum to be a regular cardinal, we show that \emph{pathological} and \emph{$\omega$-transitive} (i.e.…