En mathématiques, et tout particulièrement en théorie combinatoire des groupes, un groupe résiduellement fini est un groupe qui peut en quelque sorte être « approché » par des groupes finis. L'adjectif « résiduel » s'applique aussi à d'autres propriétés, comme être résiduellement nilpotent, résiduellement libre.
Un groupe est résiduellement fini s'il existe, pour tout élément distinct de l'élément neutre, un sous-groupe distingué d'indice fini
ne contenant pas .
Des définitions équivalentes sont : un groupe est résiduellement fini si
pour tout élément distinct de l'élément neutre, il existe un morphisme dans un groupe fini tel que ;
l'intersection de tous les sous-groupes d'indice fini (ou même de tous ses sous-groupes normaux) de est réduite à l'élément neutre.
le groupe peut être plongé dans le produit direct d'une famille de groupes finis.
Un théorème de Anatoli Maltsev (Анато́лий Ива́нович Ма́льцев orthographié aussi Mal'cev ou Malcev ou Maltsev) dit que tout groupe linéaire, c'est-à-dire tout groupe isomorphe à un sous-groupe finiment engendré du groupe général linéaire est résiduellement fini, pour tout anneau commutatif unifère .
Ce critère fournit de nombreux exemples de groupes résiduellement finis :
Les groupes libres
Les groupes fondamentaux d'espaces localement symétriques et notamment de variétés hyperboliques compactes.
Les
Les groupes nilpotents finiment engendrés.
Les groupes fondamentaux de 3-variétés ; on ne sait pas s'ils sont en général isomorphes à des sous-groupes de .
Propriétés de stabilité :
Un sous-groupe d'un groupe finiment engendré résiduellement fini et aussi résiduellement fini.
Le produit direct de groupes résiduellement finis est aussi résiduellement fini.
Un groupe qui possède une sous-groupe résiduellement fini d'indice fini est lui-même résiduellement fini.
Les groupes de Baumslag-Solitar ne sont pas tous résiduellement finis. Par exemple, le groupe de Baumslag–Solitar BS(2,3) n'est pas hopfien, et donc pas résiduellement fini.
Il est ouvert si les groupes hyperboliques sont tous résiduellement finis.
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
In mathematics, a matrix group is a group G consisting of invertible matrices over a specified field K, with the operation of matrix multiplication. A linear group is a group that is isomorphic to a matrix group (that is, admitting a faithful, finite-dimensional representation over K). Any finite group is linear, because it can be realized by permutation matrices using Cayley's theorem. Among infinite groups, linear groups form an interesting and tractable class.
Group representation theory studies the actions of groups on vector spaces. This allows the use of linear algebra to study certain group theoretical questions. In this course the groups in question wi
The aim of the course is to give an introduction to linear algebraic groups and to give an insight into a beautiful subject that combines algebraic geometry with group theory.
We show that for a large class C of finitely generated groups of orientation preserving homeomorphisms of the real line, the following holds: Given a group G of rank k in C, there is a sequence of k-markings (G,S-n), n is an element of N whose limit in the ...
We investigate generalizations along the lines of the Mordell-Lang conjecture of the author's p-adic formal Manin-Mumford results for n-dimensional p-divisible formal groups F. In particular, given a finitely generated subgroup (sic) of F(Q(p)) and a close ...
This dissertation investigates the amenability of topological full groups using a property of group actions called extensive amenability. Extensive amenability is a core concept of several amenability results for groups of dynamical origin. We study its pr ...