# Residually finite group

﻿
Residually finite group

In the mathematical field of group theory, a group "G" is residually finite or finitely approximable if for every nontrivial element "g" in "G" there is a homomorphism "h" from "G" to a finite group, such that

:$h\left(g\right) eq 1.,$

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 and polycyclic-by-finite groups.

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 $Pi_C,$.Groups, each of whose finitely generated subgroups are closed in the profinite topology are called subgroup separable (also LERF, for "locally extended residually finite").A group in which every conjugacy class is closed in the profinite topology is called conjugacy separable.

Varieties of residually finite groups

One question is: what are the properties of a variety all of whose groups are residually finite? Two results about these are:

* Any variety comprising only residually finite groups is generated by an A-group.
* For any variety comprising only residually finite groups, it contains a finite group such that all members are embedded in a direct product of that finite group.

* [http://www.turpion.org/php/full/infoFT.phtml?journal_id=im&paper_id=807&year_id=1969&volume_id=3&issue_id=4&fpage=867 Article with proof of some of the above statements]

Wikimedia Foundation. 2010.

### Look at other dictionaries:

• Grigorchuk group — In the mathematical area of group theory, the Grigorchuk group or the first Grigorchuk group is a finitely generated group constructed by Rostislav Grigorchuk that provided the first example of a finitely generated group of intermediate (that is …   Wikipedia

• Profinite group — In mathematics, profinite groups are topological groups that are in a certain sense assembled from finite groups; they share many properties with their finite quotients. Definition Formally, a profinite group is a Hausdorff, compact, and totally… …   Wikipedia

• Polycyclic group — In mathematics, especially in the area of abstract algebra known as group theory, a polycyclic group is a solvable group that satisfies the maximal condition on subgroups (that is, every subgroup is finitely generated).Equivalently, a group G is… …   Wikipedia

• Baumslag–Solitar group — In the mathematical field of group theory, the Baumslag–Solitar groups are examples of two generator one relator groups that play an important role in combinatorial group theory and geometric group theory as (counter)examples and test cases. They …   Wikipedia

• Word problem for groups — In mathematics, especially in the area of abstract algebra known as combinatorial group theory, the word problem for a recursively presented group G is the algorithmic problem of deciding whether two words represent the same element. Although it… …   Wikipedia

• List of mathematics articles (R) — NOTOC R R. A. Fisher Lectureship Rabdology Rabin automaton Rabin signature algorithm Rabinovich Fabrikant equations Rabinowitsch trick Racah polynomials Racah W coefficient Racetrack (game) Racks and quandles Radar chart Rademacher complexity… …   Wikipedia

• Présentation d'un groupe — En théorie des groupes, un groupe peut se définir par une présentation autrement dit la donnée d un ensemble de générateurs et d un ensemble de relations que ceux ci vérifient. La possibilité d une telle définition découle de ce que tout groupe… …   Wikipédia en Français

• Residual (mathematics) — The word residual is used in a number of different senses in mathematics. See:* Errors and residuals in statistics * Residual (numerical analysis) ** Minimal residual method (MINRES) ** Generalized minimal residual method (GMRES) * Residual set,… …   Wikipedia

• Central series — In mathematics, especially in the fields of group theory and Lie theory, a central series is a kind of normal series of subgroups or Lie subalgebras, expressing the idea that the commutator is nearly trivial. For groups, this is an explicit… …   Wikipedia

• Residual property (mathematics) — In the mathematical field of group theory, a group is residually X (where X is some property of groups) if it can be recovered from groups with property X .Formally, a group G is residually X if for every non trivial element g there is a… …   Wikipedia