0f56ea12987cdf2a.tex
1: \begin{abstract}
2: We show that a group admits a planar, finitely generated \Cg\ if and only if it admits a special kind of group presentation we introduce, called a planar presentation. Planar presentations can be recognised algorithmically. As a consequence, we obtain an effective enumeration of the planar Cayley graphs, yielding in particular an affirmative answer to a question of Droms et al.\ asking whether the planar groups can be effectively enumerated. 
3: %As a consequence, we obtain an affirmative answer to a question of Droms et al.\ %\cite{DroInf,DrSeSeCon}
4:  %asking whether these groups can be effectively enumerated. %\?{\footnotesize Zitate entfernt, da Rhd mir mal sagte, so etwas soll man vermeiden. - Wir zitieren sie ja spŠter noch genau.}
5: %We show that for every Cayley graph $G$ that admits an embedding in the sphere such that every automorphism of $G$ extends to an automorphism of the sphere, the corresponding group admits a special kind of presentation, called a planar presentation. Conversely, we prove that every planar presentation yields a  planar Cayley graph as above. Thus the graphs of this kind are  effectively enumerable. This proves a special case of a conjecture of \cite{droInf}.
6: \end{abstract}
7: