Bourbaki

Exercise 35, § 7

Algebra, I, p. 150

\* Let GG (resp. G′G') be the additive group of fractions of the form a/ba/b, with a∈Za \in \mathbf{Z}, b∈Zb \in \mathbf{Z} and bb not divisible by 2 (resp. by 3). Let E=G∗ZG′E = G *_{\mathbf{Z}} G' be the amalgamated sum of GG and G′G' by their common subgroup Z\mathbf{Z}. Now prove that GG and G′G' are residually finite, but that EE is not. (Prove that the only subgroup of finite index of EE is EE.)*

Solution

No solution has been written yet.

Machine translation of the English, by gpt-5-6-mini. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.