English
Related papers

Related papers: Profinite completion and double-dual : isomorphism…

200 papers

Two finitely generated groups have the same set of finite quotients if and only if their profinite completions are isomorphic. Consider the map which sends (the isomorphism class of) an S-arithmetic group to (the isomorphism class of) its…

Group Theory · Mathematics 2011-10-25 Menny Aka

We prove that if a Cartesian product of alternating groups is topologically finitely generated, then it is the profinite completion of a finitely generated residually finite group. The same holds for Cartesian producs of other simple groups…

Group Theory · Mathematics 2007-05-23 Martin Kassabov , Nikolay Nikolov

We consider finitely presented,residually finite groups $G$ and finitely generated normal subgroups $A$ such that the inclusion $A\hookrightarrow G$ induces an isomorphism from the profinite completion of $A$ to a direct factor of the…

Group Theory · Mathematics 2008-10-03 Martin R. Bridson

Let $G$ be 2-generated group. The generating graph $\Gamma(G)$ of $G$ is the graph whose vertices are the elements of $G$ and where two vertices $g$ and $h$ are adjacent if $G = \langle g, h \rangle.$ This definition can be extended to a…

Group Theory · Mathematics 2020-02-18 Andrea Lucchini

Let $k$ be a field, $G$ be an abelian group and $r\in \mathbb N$. Let $L$ be an infinite dimensional $k$-vector space. For any $m\in End_k(L)$ we denote by $r(m)\in [0,\infty ]$ the rank of $m$. We define by $R(G,r,k)\in [0,\infty]$ the…

Group Theory · Mathematics 2017-05-16 David Kazhdan , Tamar Ziegler

Let $G= N\rtimes H$ be a locally compact group which is a semi-direct product of a closed normal subgroup $N$ and a closed subgroup $H.$ The Bohr compactification ${\rm Bohr}(G)$ and the profinite completion ${\rm Prof}(G)$ of $G$ are,…

Group Theory · Mathematics 2023-05-09 Bachir Bekka

We prove that there exist finitely presented, residually finite groups that are profinitely rigid in the class of all finitely presented groups but not in the class of all finitely generated groups. These groups are of the form $\Gamma…

Group Theory · Mathematics 2025-04-15 M. R. Bridson , A. W. Reid , R. Spitler

We exhibit two finitely generated residually finite groups $G$ and $H$ with isomorphic profinite completions $\widehat{G} \cong \widehat{H}$, such that $G$ is co-Hopfian while $H$ is not. The construction utilizes Wise's residually finite…

Group Theory · Mathematics 2026-03-18 Hyungryul Baik , Wonyong Jang

Let $\C$ be a variety of finite groups. We use profinite Bass--Serre theory to show that if $u:H\hookrightarrow G$ is a map of finitely generated residually $\C$ groups such that the induced map $\hat{u}:\hat{H}\rightarrow\hat{G}$ is a…

Group Theory · Mathematics 2015-06-05 Owen Cotton-Barratt

It is well known that if two finite groups have the same symmetric tensor categories of representations over C, then they are isomorphic. We study the following question: when do two finite groups G1,G2 have the same tensor categories of…

Quantum Algebra · Mathematics 2007-05-23 Pavel Etingof , Shlomo Gelaki

We prove that the Drinfeld double of an arbitrary finite group scheme has finitely generated cohomology. That is to say, for G any finite group scheme, and D(G) the Drinfeld double of the group ring kG, we show that the self-extension…

Quantum Algebra · Mathematics 2020-05-29 Cris Negron

In this paper we define and develop the theory of the cohomology of a profinite group relative to a collection of closed subgroups. Having made the relevant definitions we establish a robust theory of cup products and use this theory to…

Group Theory · Mathematics 2017-10-03 Gareth Wilkes

Let $K$ be a complete non-archimedean field over $\mathbb{Q}_p$, $G$ be a rigid group over $K$, and $X$ be a perfectoid space over $K$. We consider the natural morphism of sites $\nu: X_v \to X_{\mathrm{\acute{e}t}}$. It is known from work…

Algebraic Geometry · Mathematics 2026-04-29 Xiaohuan Long , Yibin Wang , Xiangdong Wu , Ru Yi

A field $K$ is quasi-classical $d$-local if there exist fields $K=k_d,\dots,k_0$ with $k_{i+1}$ Henselian admissible discretely valued with residue field $k_i$, and $k_0$ quasi-finite. We prove a duality theorem for the Galois cohomology of…

Number Theory · Mathematics 2025-02-04 Antoine Galet

Let $R$ be a semilocal principal ideal domain. Two algebraic objects over $R$ in which scalar extension makes sense (e.g. quadratic spaces) are said to be of the same genus if they become isomorphic after extending scalars to all…

Rings and Algebras · Mathematics 2016-01-12 Eva Bayer-Fluckiger , Uriya A. First

Motivated by the theory of locally definable groups, we study the theory of $K$-vector spaces with a predicate for the union $X$ of an infinite family of independent subspaces. We show that if $K$ is infinite then the theory is complete and…

Logic · Mathematics 2025-03-14 Alessandro Berarducci , Marcello Mamino , Rosario Mennuni

We prove that the profinite completion of the fundamental group of a compact 3-manifold $M$ satisfies a Tits alternative: if a closed subgroup $H$ does not contain a free pro-$p$ subgroup for any $p$, then $H$ is virtually soluble, and…

Group Theory · Mathematics 2017-02-15 Henry Wilton , Pavel Zalesskii

Let $F$ be a finitely generated regular field extension of transcendence degree $\geq 2$ over a perfect field $k$. We show that the multiplicative group $F^\times/k^\times$ endowed with the equivalence relation induced by algebraic…

Algebraic Geometry · Mathematics 2018-08-16 Anna Cadoret , Alena Pirutka

If k is an arbitrary field, we construct a category of k-1-motives in which every commutative algebraic k-group G has a dual object $G^{\vee}$. When k is a local field of arbitrary characteristic, we establish Pontryagin duality theorems…

Number Theory · Mathematics 2024-02-05 Cristian D. Gonzalez-Aviles

Let $V$ be a finite dimensional complex vector space and $W\subset \GL(V)$ be a finite complex reflection group. Let $V^{\reg}$ be the complement in $V$ of the reflecting hyperplanes. A classical conjecture predicts that $V^{\reg}$ is a…

Geometric Topology · Mathematics 2007-05-23 David Bessis