amalgamate discrete groups