A proof that all Seifert 3-manifold groups and all virtual surface groups are conjugacy separable

2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/75321We prove that the fundamental group of any Seifert 3-manifold is conjugacy separable. That is, conjugates may be distinguished in finite quotients or, equivalently, conjugacy classes are closed in the pro-finite topology.8 pagesGroup TheoryGeometric Topology20E26; 57M05A proof that all Seifert 3-manifold groups and all virtual surface groups are conjugacy separabletext