In the mathematical field of group theory, a group G is residually finite or finitely approximable if for every element g that is not the identity in G there is a homomorphism h from G to a finite group, such that
There are a number of equivalent definitions:
A group is residually finite if for each non-identity element in the group, there is a normal subgroup of finite index not containing that element.
A group is residually finite if and only if the intersection of all its subgroups of finite index is trivial.
A group is residually finite if and only if the intersection of all its normal subgroups of finite index is trivial.
A group is residually finite if and only if it can be embedded inside the direct product of a family of finite groups.
Examples of groups that are residually finite are finite groups, free groups, finitely generated nilpotent groups, polycyclic-by-finite groups, finitely generated linear groups, and fundamental groups of compact 3-manifolds.
Subgroups of residually finite groups are residually finite, and direct products of residually finite groups are residually finite. Any inverse limit of residually finite groups is residually finite. In particular, all profinite groups are residually finite.
Examples of non-residually finite groups can be constructed using the fact that all finitely generated residually finite groups are Hopfian groups. For example the Baumslag–Solitar group B(2,3) is not Hopfian, and therefore not residually finite.
Every group G may be made into a topological group by taking as a basis of open neighbourhoods of the identity, the collection of all normal subgroups of finite index in G. The resulting topology is called the profinite topology on G. A group is residually finite if, and only if, its profinite topology is Hausdorff.
A group whose cyclic subgroups are closed in the profinite topology is said to be .
Groups each of whose finitely generated subgroups are closed in the profinite topology are called subgroup separable (also LERF, for locally extended residually finite).
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
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.
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 ...
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 ...
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.
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 ...
EPFL2019
Covers proper actions of groups on Riemann surfaces and introduces algebraic curves via square roots.
Explores the beautiful properties of the p-Sylow subgroups of a finite group.
Explores the proof of the existence of Sylow subgroups in group theory.