English
Related papers

Related papers: Automatic continuity of $\aleph_1$-free groups

200 papers

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…

Logic · Mathematics 2026-01-27 Gianluca Paolini , Saharon Shelah

A group $G$ is called automatically continuous if any homomorphism from a completely metrizable or locally compact Hausdorff group to $G$ has open kernel. In this paper, we study preservation of automatic continuity under group-theoretic…

Group Theory · Mathematics 2020-10-07 Samuel M. Corson , Ilya Kazachkov

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…

Logic · Mathematics 2018-09-20 Matthew Harrison-Trainor , Meng-Che "Turbo" Ho

We give a solution stated in the title to problem 3 of part 1 of the problems listed in the book of Eklof and Mekler [EM],(p.453). There, in pp. 241-242, this is discussed and proved in some cases. The existence of strongly lambda-free ones…

Logic · Mathematics 2016-09-06 Saharon Shelah

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…

Logic · Mathematics 2007-11-21 Andreas Blass , Saharon Shelah

We show that if $G$ is a non-elementary word hyperbolic group, mapping class group of a hyperbolic surface or the outer automorphism group of a nonabelian free group then $G$ has $2^{\aleph_0}$ many continuous ergodic invariant random…

Group Theory · Mathematics 2015-06-02 Lewis Bowen , Rostislav Grigorchuk , Rostyslav Kravchenko

We prove that every free metabelian non--cyclic group has a finitely generated isolated subgroup which is not separable in the class of nilpotent groups. As a corollary we prove that for every prime number $p$ an arbitrary free metabelian…

Group Theory · Mathematics 2007-05-23 Valerij G. Bardakov

We show that it is consistent that there is a strongly aleph_1-free aleph_1-coseparable group of cardinality aleph_1 which is not aleph_1-separable.

Logic · Mathematics 2009-09-25 Paul C. Eklof , Saharon Shelah

The connections between Whitehead groups and uniformization properties were investigated by the third author in [Sh:98]. In particular it was essentially shown there that there is a non-free Whitehead (respectively, aleph_1-coseparable)…

Logic · Mathematics 2016-09-06 Paul C. Eklof , Alan H. Mekler , Saharon Shelah

We classify by numerical invariants the finite subgroups $H$ of a primary abelian group $G$ for which every homomorphism or monomorphism of $H$ into $G$, or every endomorphism of $H$, extends to an endomorphism of $G$. We apply these…

Commutative Algebra · Mathematics 2013-05-31 Simion Breaz , Grigore Călugăreanu , Phill Schultz

It is shown that every separable abelian topological group is isomorphic with a topological subgroup of a monothetic group (that is, a topological group with a single topological generator). In particular, every separable metrizable abelian…

General Topology · Mathematics 2007-09-03 Sidney A. Morris , Vladimir Pestov

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…

Group Theory · Mathematics 2025-07-10 Gianluca Paolini , Saharon Shelah

A countable group is C*-simple if its reduced C*-algebra is a simple algebra. Since Powers recognised in 1975 that non-abelian free groups are C*-simple, large classes of groups which appear naturally in geometry have been identified,…

Operator Algebras · Mathematics 2007-05-23 Pierre de la Harpe

We show that if 2^{aleph_0} Cohen reals are added to the universe, then for every reduced non-free torsion-free abelian group A of cardinality less than the continuum, there is a prime p so that Ext_p(A, Z) not= 0. In particular if it is…

Logic · Mathematics 2016-09-06 Alan H. Mekler , Saharon Shelah

Higman proved in 1952 that every free group is non-commutatively slender, this is to say that if G is a free group and h is a homomorphism from the countable complete free product (X_omega Z) to G, then there exists a finite subset F of…

Logic · Mathematics 2007-05-23 Saharon Shelah , Lutz Strüngmann

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…

Group Theory · Mathematics 2023-08-30 Adrien Le Boudec , Nicolás Matte Bon

We discuss the decomposability of torsion-free abelian groups. We show that among computable groups of finite rank this property is $\Sigma^0_3$-complete. However, when we consider groups of infinite rank, it becomes $\Sigma^1_1$-complete,…

Logic · Mathematics 2013-11-11 Kyle Riggs

We show that there is a class of finite groups, the so-called perfect groups, which cannot exhibit anomalies. This implies that all non-Abelian finite simple groups are anomaly-free. On the other hand, non-perfect groups generically suffer…

High Energy Physics - Phenomenology · Physics 2015-04-15 Mu-Chun Chen , Maximilian Fallbacher , Michael Ratz , Andreas Trautner , Patrick K. S. Vaudrevange

For every finitely generated free group $F$, we construct an irreducible open $3$-manifold $M_F$ whose end set is homeomorphic to a Cantor set, and with the end homogeneity group of $M_F$ isomorphic to $F$. The end homogeneity group is the…

Geometric Topology · Mathematics 2022-03-15 Dennis J. Garity , Dušan D. Repovš

A proof of freeness of the commutator subgroup of the fundamental group of a smooth irreducible affine curve over a countable algebraically closed field of nonzero characteristic. A description of the abelianizations of the fundamental…

Algebraic Geometry · Mathematics 2007-05-23 Manish Kumar