Related papers: A characterization of Ext(G,Z) assuming V=L
Let X' be the toroidal compactification of the quotient of the complex 2-ball by a torsion free lattice G of SU(2,1). We say that X'is co-abelian if there is an abelian surface, birational to X'. The present work can be viewed as an…
Assuming the existence of $\mathfrak c$ incomparable selective ultrafilters, we classify the non-torsion Abelian groups of cardinality $\mathfrak c$ that admit a countably compact group topology. We show that for each $\kappa \in [\mathfrak…
Let $A$ and $G$ be finite groups such that $A$ acts coprimely on $G$ by automorphisms. For any fixed prime divisor $p$ of $|G|$, we provide a complete characterization of the structure of a group $G$ in which every maximal $A$-invariant…
Let A be a commutative noetherian ring. Call a functor <<commutative A-algebras>> --> <<sets>> coherent if it can be built up (via iterated finite limits) from functors of the form B \mapsto M tensor_A B, where M is a f.g. A-module. When…
Let $H$ be a closed normal subgroup of a compact Lie group $G$ such that $G/H$ is connected. This paper provides a necessary and sufficient condition for every complex representation of $H$ to be extendible to $G$, and also for every…
We prove two results: 1. A graph $G$ on at least seven vertices with a vertex $v$ such that $G-v$ is planar and $t$ triangles satisfies $|E(G)| \leq 3|V(G)|- 9 + t/3$. 2. For $p=2,3,\ldots,9$, a triangle-free graph $G$ on at least $2p-5$…
We compute the characteristic varieties and the Alexander polynomial of a finitely generated nilpotent group. We show that the first characteristic variety may be used to detect nilpotence. We use the Alexander polynomial to deduce that the…
For $N \geq 2$, we study the structure of definable abelian group extensions of the additive group $(\mathbb{R}^N,+)$ by countable abelian (Borel) groups $G$. Given an extension $H$ of $(\mathbb{R}^N,+)$ by $G$, we measure the definability…
The existence of a countably compact group without non-trivial convergent sequences in ZFC alone is a major open problem in topological group theory. We give a ZFC example of a Boolean topological group G without non-trivial convergent…
Elementary abelian groups are finite groups in the form of $A=(\mathbb{Z}/p\mathbb{Z})^r$ for a prime number $p$. For every integer $\ell>1$ and $r>1$, we prove a non-trivial upper bound on the $\ell$-torsion in class groups of every…
Let $N/K$ be a finite Galois extension of $p$-adic number fields and let $\rho^\mathrm{nr} : G_K \to \mathrm{Gl}_r(\mathbb Z_p)$ be an $r$-dimensional unramified representation of the absolute Galois group $G_K$ which is the restriction of…
We introduce a model of random f.g., torsion-free, $2$-step nilpotent groups (in short, $\tau_2$-groups). To do so, we show that these are precisely the groups that admit a presentation of the form $ \label{tau2pres_0}\langle A, C \mid…
For a set $X\subseteq \mathbb{N}$, we define the $X$-torsion of a group $G$ to be all elements $g\in G$ with $g^{n}=e$ for some $n\in X$. With $X$ recursively enumerable, we give two independent proofs (group-theoretic, and model-theoretic)…
Let $G$ be a $(2,m,n)$-group and let $x$ be the number of distinct primes dividing $\chi$, the Euler characteristic of $G$. We prove, first, that, apart from a finite number of known exceptions, a non-abelian simple composition factor $T$…
Let $G$ be an almost simple simply-connected affine algebraic group over an algebraically closed field $k$ of characteristic $p > 0$. If $G$ has type $B_n$, $C_n$ or $F_4$, we assume that $p > 2$, and if $G$ has type $G_2$, we assume that…
We prove that if $G$ is a countable discrete group with property (T) over an infinite subgroup $H<G$ which contains an infinite Abelian subgroup or is normal, then $G$ has continuum many orbit inequivalent measure preserving a.e. free…
Recently, Paolini and Shelah have constructed absolutely Hopfian torsion-free abelian groups of any given size. In contrast, we show that this is not necessarily the case for absolutely co-Hopfian groups. We use the infinitary logic to show…
For an uncountable cardinal \tau and a subset S of an abelian group G, the following conditions are equivalent: (i) |{ns:s\in S}|\ge \tau for all integers n\ge 1; (ii) there exists a group homomorphism \pi:G\to T^{2^\tau} such that \pi(S)…
Let $G$ be a finite group. For some fixed prime $p$, let $\Gamma_p(G)$ be the common divisor graph built on the set of sizes of $p$-regular conjugacy classes of $G$: this is the simple undirected graph whose vertices are the class sizes of…
Fix a prime number ell. In this paper we develop the theory of relative pro-ell completion of discrete and profinite groups -- a natural generalization of the classical notion of pro-ell completion -- and show that the pro-ell completion of…