相关论文: On the fundamental group of $\mathbb R^3$ modulo t…

In this paper I introduce a new and intuitive first-order foundational theory (where the concept of set is not primitive) and use it to show that the power set of an infinite set does not exist. In particular, proofs of uncountability of a…

We classify those compact 3-manifolds with incompressible toral boundary whose fundamental groups are residually free. For example, if such a manifold $M$ is prime and orientable and the fundamental group of $M$ is non-trivial then $M \cong…

We prove that Zilber's class of exponential fields is quasiminimal excellent and hence uncountably categorical, filling two gaps in Zilber's original proof.

The uncountability of the real numbers is one of their most basic properties, known (far) outside of mathematics. Cantor's 1874 proof of the uncountability of the real numbers even appears in the very first paper on set theory, i.e. a…

Let $G$ be a finite group and $W$ be a faithful representation of $G$ over {\bf C}. The group $G$ acts on the field of rational functions $\mathbf C(W)$. The aim of this paper is to give a description of the unramified cohomology group of…

We apply an inductive argument to three theorems of Cantor on (1) the uncountability of infinite binary sequences, (2) the uncountability of real numbers, and (3) the non-equinumerosity of sets with their powersets. This technique proves…

I give a short proof of a recent result due to Kiefer and Ryzhikov showing that a finite irreducible semigroup of $n\times n$ matrices has cardinality at most $3^{n^2}$.

We consider Albeverio- Rabanovich linear representation $\pi$ of the braid group $B_3$. After specializing the indeterminates used in defining the representation to non-zero complex numbers, we prove that the restriction of $\pi$ to the…

A finite group $G$ is called a Schur group if any $S$-ring over $G$ is associated in a natural way with a subgroup of $Sym(G)$ that contains all right translations. We prove that the groups $\mathbb{Z}_3\times \mathbb{Z}_{3^n}$, where…

We prove that, for any infinite-type surface $S$, the integral homology of the closure of the compactly-supported mapping class group $\overline{\mathrm{PMap}_c(S)}$ and of the Torelli group $\mathcal{T}(S)$ is uncountable in every positive…

We study the fundamental group of the $p$-subgroup complex of a finite group $G$. We show first that $\pi_1(A_3(A_{10}))$ is not a free group (here $A_{10}$ is the alternating group on $10$ letters). This is the first concrete example in…

We present new metric criteria for non-amenability and discuss applications. The main application of the results of this paper is the proof of non-amenability of R.Thompson's group F. This is a continuation of the series of papers on our…

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 prove that if a countable group is elementarily equivalent to a non-abelian free group and all of its abelian subgroups are cyclic, then the group is a union of a chain of regular NTQ groups (i.e., hyperbolic towers).

We prove that compact complex manifolds bearing a holomorphic Riemannian metric have infinite fundamental group.

We use groups with triality to construct a series of nonassociative Moufang loops. Certain members of this series contain an abelian normal subloop with the corresponding quotient being a cyclic group. In particular, we give a new series of…

A conjecture of Roseberger asserts that every generalised triangle group either is virtually soluble or contains a non-abelian free subgroup. Modulo two exceptional cases, we verify this conjecture for generalised triangle groups of type…

In this paper we will define a qc fundamental group for an arithmetic scheme by quasi-galois closed covers. Then we will give a computation for such a group and will prove that the etale fundamental group of an arithmetic scheme is a normal…

We show that although the fundamental group of the complement of an algebraic affine plane curve is not easy to compute, it possesses a more accessible quotient, which we call the Orevkov invariant.

It is well known that a nontrivial commutator in a free group is never a proper power. We prove a theorem that generalizes this fact and has several worthwhile corollaries. For example, an equation $[ x_1, y_1] \ldots [ x_k, y_k] = z^n$,…