Bourbaki

Exercise 3, § 4

Tag 03F7, permanent. Cite it as [Bourbaki, Tag 03F7].

Spectral Theories, V, p. 505

Recall that a group Γ is said to be residually finite if the intersection of the subgroups of finite index of Γ is reduced to {e}\{e\} (A, I, p. 129, exerc. 5, b)).

For a group Γ, let Γ^\widehat{\Gamma} denote the projective limit Γ^=\widehat{\Gamma} = limΓ/H\Gamma /H, where H

←− \leftarrow -

runs through the set of normal subgroups of finite index of Γ, ordered by inclusion. One says that Γ^\widehat{\Gamma} is the profinite completion of Γ.

a) A group Γ is residually finite if and only if, for every g∈Γg\in \Gamma different from the identity element, there exist a finite group F and a homomorphism φ:Γ→F\varphi : \Gamma \rightarrow F such that φ(γ)≠e\varphi (\gamma )\not =e.

b) Now prove that Γ is residually finite if and only if the canonical homomorphism from Γ into Γ^\widehat{\Gamma} is injective.

c) Let K be a field. Every finitely generated subgroup (cf. A, I, p. 145, exerc. 16) of GL(n,K)\mathbf{G}\mathbf{L}(n,K) is residually finite ("Mal'tsev's theorem"). (Show that there exist an integer m⩾0m\geqslant 0, a ring A equal to Z\mathbf{Z} or to a finite field, and an injective homomorphism of such a subgroup into GL(m,R)\mathbf{G}\mathbf{L}(m,R), where R is of the form A[X1,...,Xr,1/f].A[X_1, . . . ,X_r,1/f].)

d) Let Γ be a finitely generated discrete group. Suppose that there exists an injective homomorphism of Γ into a compact topological group. For every γ∈Γ\gamma \in \Gamma different from the identity element, there exists a finite-dimensional unitary irreducible representation of Γ such that the image of γ\gamma under π\pi is not the identity mapping.

e) A finitely generated group is residually finite if and only if it is isomorphic to a subgroup of a compact group.

Solution

No solution has been written yet.

Cited by

Nothing.

Cites

Nothing.

Machine translation of the English, by gpt-5.4. Not checked by a person.