Planar transitive graphs (Q1991415)

Summary: We prove that the first homology group of every planar locally finite transitive graph \(G\) is finitely generated as an \(\mathrm{Aut}(G)\)-module and we prove a similar result for the fundamental group of locally finite planar Cayley graphs. Corollaries of these results include Droms's theorem that planar groups are finitely presented and Dunwoody's theorem that planar locally finite transitive graphs are accessible.