Let be a finitely generated group acting faithfully and properly discontinuously by homeomorphisms on a planar surface $X \subseteq ^2G$ admits such an action that is in addition co-compact, provided we can replace by another surface $Y \subseteq ^2$. We also prove that if a group has a finitely generated Cayley (multi-)graph covariantly embeddable in , then can be chosen so as to have no infinite path on the boundary of a face. The proofs of these facts are intertwined, and the classes of groups they define coincide. In the orientation-preserving case they are exactly the (isomorphism types of) finitely generated Kleinian function groups. We construct a finitely generated planar Cayley graph whose group is not in this class. In passing, we observe that the Freudenthal compactification of every planar surface is homeomorphic to the sphere.

生成讲解博客的中文版本

生成AI智能校验的中文版本