Let be the generalized free products amalgamating . Let be residually finite. How to show that is -separable?
I'm sure that must be -separable. But I don't know how to show this.
I started with .
Since is residually finite, then there exists such that .
I'm trying to prove by contradiction, by assuming .
How can I continue from here?