<p>A classical discovery known as Fenchel’s conjecture and proved in the 1950s, shows that every co-compact Fuchsian group <i>F</i> has a normal subgroup of finite index isomorphic to the fundamental group of a compact unbordered orientable surface, or in algebraic terms, that <i>F</i> has a normal subgroup of finite index that contains no element of finite order other than the identity. In this paper we initiate and make progress on an extension of Fenchel’s conjecture by considering the following question: Does every planar non-Euclidean crystallographic group <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\Gamma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Γ</mi> </math></EquationSource> </InlineEquation> containing transformations that reverse orientation have a normal subgroup of finite index isomorphic to the fundamental group of a compact unbordered non-orientable surface? We answer this question in the affirmative in the case where the orbit space of <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\Gamma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Γ</mi> </math></EquationSource> </InlineEquation> is a nonorientable surface, and also in the case where this orbit space is a bordered orientable surface of positive genus. In the case where the genus of the quotient is 0, we have an affirmative answer in many subcases, but the question is still open for others.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Fenchel’s conjecture on NEC groups

  • Emilio Bujalance,
  • Francisco Javier Cirre,
  • Marston D. E. Conder,
  • Antonio F. Costa

摘要

A classical discovery known as Fenchel’s conjecture and proved in the 1950s, shows that every co-compact Fuchsian group F has a normal subgroup of finite index isomorphic to the fundamental group of a compact unbordered orientable surface, or in algebraic terms, that F has a normal subgroup of finite index that contains no element of finite order other than the identity. In this paper we initiate and make progress on an extension of Fenchel’s conjecture by considering the following question: Does every planar non-Euclidean crystallographic group \(\Gamma \) Γ containing transformations that reverse orientation have a normal subgroup of finite index isomorphic to the fundamental group of a compact unbordered non-orientable surface? We answer this question in the affirmative in the case where the orbit space of \(\Gamma \) Γ is a nonorientable surface, and also in the case where this orbit space is a bordered orientable surface of positive genus. In the case where the genus of the quotient is 0, we have an affirmative answer in many subcases, but the question is still open for others.