Residually-finite group

From Encyclopedia of Mathematics
Revision as of 16:59, 7 February 2011 by (talk) (Importing text file)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

A group that can be approximated by finite groups. Let be a group and a relation (in other words, a predicate) between elements and sets of elements, defined on and all homomorphic images of it (for example, the binary relation of equality of elements, the binary relation "the element x belongs to the subgroup y" , the binary relation of conjugacy of elements, etc.). Let be a class of groups. One says that can be approximated by groups in relative to (or: is residual in relative to ) if for any elements and sets of elements of that are not in relation there is a homomorphism of onto a group in under which the images of these elements and sets are also not in relation . Approximability relative to the relation of equality of elements is simply called approximability. A group can be approximated by groups in a class if and only if it is contained in a Cartesian product of groups in . Residual finiteness relative to is denoted by ; in particular, if runs through the predicates of equality, conjugacy, belonging to a subgroup, belonging to a finitely-generated subgroup, etc., then one obtains the properties (and classes) , , , , etc. The presence of these properties in a group implies the solvability of the corresponding algorithmic problem.


[1] M.I. Kargapolov, J.I. [Yu.I. Merzlyakov] Merzljakov, "Fundamentals of the theory of groups" , Springer (1979) (Translated from Russian)


In outdated terminology a residually-finite group is called a finitely-approximated group, which is also the word-for-word translation of the Russian for this notion.

For a fuller account on residually-finite groups see [a1].


[a1] D.J.S. Robinson, "A course in the theory of groups" , Springer (1982)
How to Cite This Entry:
Residually-finite group. Encyclopedia of Mathematics. URL:
This article was adapted from an original article by Yu.I. Merzlyakov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article