Related papers: Forcing a Basis into $\aleph_1$-Free Groups

Given a cardinal $\lambda$, category forcing axioms for $\lambda$-suitable classes $\Gamma$ are strong forcing axioms which completely decide the theory of the Chang model $\mathcal C_\lambda$, modulo generic extensions via forcing notions…

Let $L/K$ be a finite Galois extension of fields with group $\Gamma$. Associated to each Hopf-Galois structure on $L/K$ is a group $G$ of the same order as the Galois group $\Gamma$. The type of the Hopf-Galois structure is by definition…

We like to build Abelian groups (or R-modules) which on the one hand are quite free, say $\aleph_{\omega + 1}$-free, and on the other hand, are complicated in suitable sense. We choose as our test problem having no non-trivial homomorphism…

Let \lambda be a cardinal with \lambda=\lambda^{\aleph_0} and p be either 0 or a prime number. We show that there are fields K_0 and K_1 of cardinality \lambda and characteristic p such that the automorphism group of K_0 is a free group of…

Let $\Gamma$ and $\Lambda$ be artin algebras such that $\Gamma$ is a split-by-nilpotent extension of $\Lambda$ by a two sided ideal $I$ of $\Gamma.$ Consider the so-called change of rings functors $G:={}_\Gamma\Gamma_\Lambda\otimes_\Lambda…

Let $\Gamma_G$ denote a graph associated with a group $G$. A compelling question about finite groups asks whether or not a finite group $H$ must be nilpotent provided $\Gamma_H$ is isomorphic to $\Gamma_G$ for a finite nilpotent group $G$.…

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…

This paper is devoted to the computation of the space $H_b^2(\Gamma,H;\mathbb{R})$, where $\Gamma$ is a free group of finite rank $n\geq 2$ and $H$ is a subgroup of finite rank. More precisely we prove that $H$ has infinite index in…

We extend a transitive model V of ZFC + GCH cardinal preservingly to a model N of ZF + "GCH holds below Alef_omega" + "there is a surjection from the power set of Alef_omega onto lambda" where lambda is an arbitrarily high fixed cardinal in…

We discuss a partial normalisation of a finite graph of finite groups $(\Gamma(-), X)$ which leaves invariant the fundamental group. In conjunction with an easy graph-theoretic result, this provides a flexible and rather useful tool in the…

We prove new separability results about free groups. Namely, if $H_1, \ldots , H_k$ are infinite index, finitely generated subgroups of a non-abelian free group $F$, then there exists a homomorphism onto some alternating group $f:F…

We give a counterexample to a conjecture by Miasnikov, Ventura and Weil, stating that an extension of free groups is algebraic if and only if the corresponding morphism of their core graphs is onto, for every basis of the ambient group. In…

Let $B$ be a separable $C^*$-algebra, let $\Gamma$ be a discrete countable group, let $\alpha: \Gamma \to \text{Aut}(B)$ be an action, and let $A$ be an invariant subalgebra. We find certain freeness conditions which guarantee that any…

The resurrection axioms are forcing axioms introduced recently by Hamkins and Johnstone, developing on ideas of Chalons and Velickovi\'c. We introduce a stronger form of resurrection axioms (the \emph{iterated} resurrection axioms…

Suppose that $\Gamma$ is a non-empty connected graph, $\mathfrak{G}$ is the fundamental group of a graph of groups over $\Gamma$, and $\mathcal{C}$ is a root class of groups (the last means that $\mathcal{C}$ contains non-trivial groups and…

In this version small mistakes are corrected and the exposition is changed as suggested by the referee (to appear in Canadian Journal of Mathematics). The first main result of the paper is a criterion for a partially commutative group $\GG$…

Let \Gamma be a finitely presentable pro-p group with a nontrivial finitely generated closed normal subgroup N of infinite index. Then def(\Gamma)\leq 1, and if def(\Gamma)=1 then \Gamma is a pro-p duality group of dimension 2, N is a free…

In [FHK13], the authors considered the question whether model-existence of $L_{\omega_1,\omega}$-sentences is absolute for transitive models of ZFC, in the sense that if $V \subseteq W$ are transitive models of ZFC with the same ordinals,…

The essentially non-free spectrum is the class of uncountable cardinals kappa in which there is an essentially non-free algebra of cardinality kappa which is almost free. In L, the essentially non-free spectrum of a variety is entirely…

We establish combinatorial characterizations of virtually torsion-free and virtually free groups using the canonical graph decomposition theory in \cite{DJKK22}. Our main results show that a finitely presented, residually finite group…