Related papers: New non-free Whitehead groups (corrected version)

Assuming that every set is constructible, we find a $\Pi^1_1$ maximal cofinitary group of permutations of $\mathbb N$ which is indestructible by Cohen forcing. Thus we show that the existence of such groups is consistent with arbitrarily…

Let ${\cal C}$ be a nonempty class of finite groups closed under taking subgroups, homomorphic images and extensions. A subgroup $H$ of an abstract residually ${\cal C}$ group $R$ is said to be conjugacy ${\cal C}$-distinguished if whenever…

We prove that finitely generated (not necessarily finitely presented) $C'(\frac{1}{33})$-groups are bi-exact. This is a new class of bi-exact groups.

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.…

A group G is (finitely) co-Hopfian if it does not contain any proper (finite-index) subgroups isomorphic to itself. We study finitely generated groups G that admit a descending chain of proper normal finite-index subgroups, each of which is…

Shephard groups are common generalizations of Coxeter groups, Artin groups, and graph products of cyclic groups. Their definition is similar to that of a Coxeter group, but generators may have arbitrary order rather than strictly order 2.…

Under $\mathfrak{p} = \mathfrak{c}$, we answer Question 24 of \cite{dikranjan&shakhmatov3} for cardinality ${\mathfrak c}$ , by showing that if a non-torsion Abelian group of size continuum admits a countably compact Hausdorff group…

We show that $v_n$-periodic homotopy groups detect homotopy equivalences between simply-connected finite CW-complexes.

We describe all $\mathbb F_{p}$-braces of cardinality $p^{4}$ which are not right nilpotent. Our solution illustrates a general way of investigating $\mathbb F_{p}$-braces of cardinality $p^{n}$ with a given multiplicative group. The…

We introduce a new approach to the study of finite binary permutation groups and, as an application of our method, we prove Cherlin's binary groups conjecture for groups with socle a finite alternating group, and for the…

It is shown that, for any pair of cardinals with infinite sum, there exist a group and an equation over this group such that the first cardinal is the number of solutions to this equation and the second cardinal is the number of…

We study to what extent group $C^\ast$-algebras are characterized by their unitary groups. A complete characterization of which Abelian group $C^\ast$-algebras have isomorphic unitary groups is obtained. We compare these results with other…

For a rosy theory, we give a canonical surjective homomorphism from a Lascar group over $A=\acl^{eq}(A)$ to a first homology group of a strong type over $A$, and we describe its kernel by an invariant equivalence relation. As a consequence,…

We continue the investigations in the author's book on cardinal arithmetic, assuming some knowledge of it. We deal with the cofinality of (S_{<= aleph_0}(kappa), subseteq) for kappa real valued measurable (Section 3), densities of box…

We use the theory of group actions on profinite trees to prove that the fundamental group of a finite, 1-acylindrical graph of free groups with finitely generated edge groups is conjugacy separable. This has several applications: we prove…

Let $FH$ be a supersolvable Frobenius group with kernel $F$ and complement $H$. Suppose that a finite group $G$ admits $FH$ as a group of automorphisms in such a manner that $C_G(F)=1$ and $C_{G}(H)$ is nilpotent of class $c$. We show that…

We give a case-free proof that the lattice of noncrossing partitions associated to any finite real reflection group is EL-shellable. Shellability of these lattices was open for the groups of type $D_n$ and those of exceptional type and rank…

We prove that every {finitely generated residually finite}-by-sofic group satisfies Kaplansky's direct and stable finiteness conjectures with respect to all noetherian rings. We use this result to provide countably many new examples of…

We prove that if there is a real-valued measurable cardinal then the splitting number is $\aleph_1$. Likewise, if the continuum is real-valued measurable then the reaping number equals the continuum.

We construct a locally profinite set of cardinality $\aleph_{\omega}$ with infinitely many first cohomology classes of which any distinct finite product does not vanish. Building on this, we construct the first example of a nondescendable…