In the problem 2019-08 (https://mathsci.kaist.ac.kr/pow/2019/2019-08-group-action/), we considered a group G acting by isometries on a proper geodesic metric space X properly discontinuously and cocompactly. Such an action is called a geometric action. The conclusion was that a geometric action leads to that G is finitely generated.

Would this conclusion still hold in the case the space X is not necessarily proper?

The best solution was submitted by 홍의천 (수리과학과 2017학번). Congratulations!

Here is his solution of problem 2020-08.