Related papers: Borel Whitehead groups

For a given stationary set $S$ of countable ordinals we prove (in $\mathbf{ZFC}$) that the assertion "every $S$-ladder system has $\aleph_0$-uniformization" is equivalent to "every strongly $\aleph_1$-free abelian group of cardinality…

We begin with the existence of groups with trivial duals for cardinals aleph_n (n in omega). Then we derive results about strongly aleph_n-free abelian groups of cardinality aleph_n (n in omega) with prescribed free, countable endomorphism…

We show that it is consistent with ordinary set theory ZFC and the generalized continuum hypothesis that there exist two separable abelian groups of cardinality aleph_1 which are filtration equivalent and one is a Whitehead group but the…

In this paper we study (logical) types and isotypical equivalence of torsion free Abelian groups. We describe all possible types of elements and standard 2-tuples of elements in these groups and classify separable torsion free Abelian…

We first prove that the Whitehead group of a torsion-free virtually solvable linear group vanishes. Next we make a reduction of the fibered isomorphism conjecture from virtually solvable groups to a class of virtually solvable Q-linear…

For any natural n, we construct an aleph_n-free abelian groups which have few homomorphisms to Z . For this we use ``aleph_n-free (n+1)-dimensional black boxes''. The method is relevant to e.g. construction of aleph_n-free abelian groups…

Let $F$ be a free non-abelian group. We show that for any group word $w$ the set $w[F]$ of all values of $w$ in $F$ is rational in $F$ if and only if $w[F] = 1$ or $w[F] = F.$ We generalize this to a wide class of free products of groups.

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…

By strengthening known results about primitivity-blocking words in free groups, we prove that for any nontrivial element w of a free group of finite rank, there are words that cannot be subwords of any cyclically reduced automorphic image…

An abelian group acting freely on a $\mathrm{CAT}(0)$ cube complex is free abelian.

The isomorphism and quasi-isomorphism relations on the $p$-local torsion-free abelian groups of rank $n\geq3$ are incomparable with respect to Borel reducibility.

This paper will be concerned with proving that certain Whitehead groups of torsion-free elementary amenable groups are torsion groups and related results, and then applying these results to the Bass conjecture. In particular we shall…

Let G be a split semi-simple linear algebraic group over a field, let P be a parabolic subgroup and let L be a line bundle on the projective homogeneous variety G/P. We give a simple condition on the class of L in Pic(G/P)/2 in terms of…

Let $A$ be an infinitely generated free abelian group. We prove that the automorphism group $\aut A$ first-order interprets the full second-order theory of the set $|A|$ with no structure. In particular, this implies that the automorphism…

We obtain an explicit description of the endomorphisms of free-abelian by free groups together with a characterization of when they are injective and surjective. As a consequence we see that free-abelian by free groups are Hopfian and not…

An abelian group $A$ is said to be cancellable if whenever $A \oplus G$ is isomorphic to $A \oplus H$, $G$ is isomorphic to $H$. We show that the index set of cancellable rank 1 torsion-free abelian groups is $\Pi^0_4$ $m$-complete, showing…

The classes of abelian groups that are (uniformly) strongly Hopfian abelian groups, and dually, (uniformly) strongly co-Hopfian abelian groups have been studied by several authors, including Abdelalim (2015) and Abdelalim-Chillali-Essanouni…

In this note, we provide a different proof of Hill's criterion of freeness for abelian groups. Our proof hinges on the construction of suitable families of subgroups of the links in Hill's theorem and, ultimately, on the construction of…

In answer to a question of A. Blass, J. Irwin and G. Schlitt, a subgroup G of the additive group Z^{\omega} is constructed whose dual, Hom(G,Z), is free abelian of rank 2^{\aleph_0}. The question of whether Z^{\omega} has subgroups whose…

We investigate effective properties of uncountable free abelian groups. We show that identifying free abelian groups and constructing bases for such groups is often computationally hard, depending on the cardinality. For example, we show,…