## USING HOARE'S THEOREM TO FIND THE SIGNATURE OF A SUBGROUP OF AN NEC GROUP.

DAVID SINGERMAN AND PAUL WATSON

## 1. Introduction

There is a standard method, due to the first author, [6] of finding the signature of a subgroup Λ of a Fuchsian group Γ given the permutationn representation of Γ on the Λ -cosets. The structure of a non-Euclidean crystallographic (NEC) group is considerably more complicated, but a method of computing the signature of a subgroup was found by A. H. M. Hoare in [3] The purpose of this article is to explain how Hoare's Theorem is used and to give examples. Partial techniques to find the signature of a subgroup a are due to Gromadzki, [2].

The signature of a cocompact NEC group Γ has the form

$$( g ; \pm ; [ m _ { 1 }, \dots m _ { r } ] ; \{ ( n _ { 1 1 }, \dots n _ { 1 s _ { 1 } } ), \dots \{ ( n _ { k 1 }, \dots n _ { k s _ { k } } ) \} ) \quad \ ( 1 )$$

Here g is the genus of the quotient space H / Γ , ( H being the hyperbolic plane), m , . . . , m 1 r are the proper periods and the n ij are the link periods; the brackets ( n u 1 . . . n u su ) are called the period cycles.

Our problem is to find the signature of a subgroup Λ of finite index in Γ , given the permutation representation of Γ on the Λ cosets.

If Γ is a Fuchsian group then the result is in [6]. For Γ a proper NEC group the result follows from Hoare's theorem in [3]. This is rather more complicated to apply than for Fuchsian groups and the purpose of this note is to give a fairly algorithmic procedure to apply Hoare's result. (Much of this is derived from results in the second author's Southampton Ph.D. thesis,[8].)

The proper periods of the subgroup are computed in the same way as for Fuchsian groups. The major problem is to compute the link periods and the period cycles for Λ .

All reflections of Λ are conjugate to one of the generating reflections of Γ and so these correspond to fixed points of the generating reflections of Γ when acting on the right cosets of the subgroup by right multiplication. Thus if a reflection generator c i of Γ fixes a coset Λ g j then c ij = g c g j i -1 j ∈ Λ . We call c ij an induced reflection of Λ . Now

suppose that we have a period cycle ( n i 1 , n i 2 . . . n is i ) . This corresponds to a part of the presentation of Γ which has generators c i 0 , . . . c is i , e obeying the relations

$$c _ { i j - 1 } ^ { 2 } = c _ { i j } ^ { 2 } = ( c _ { i j - 1 } c _ { i j } ) ^ { n _ { i j } } = 1 = e _ { i } c _ { 0 } e _ { i } ^ { - 1 } c _ { s } = 1$$

We also have elliptic generators x i of orders m i so we have relations

$$x _ { j } ^ { m _ { j } } = 1$$

and also the long relations

$$x _ { 1 } \dots x _ { r } e _ { 1 } \dots e _ { k } a _ { 1 } b _ { 1 } a _ { 1 } ^ { - 1 } b _ { 1 } ^ { - 1 } \dots a _ { g } b _ { g } a _ { g } ^ { - 1 } b _ { g } ^ { - 1 } = 1$$

if H / Γ is orientable or

$$x _ { 1 } \dots x _ { r } e _ { 1 } \dots e _ { k } a _ { 1 } ^ { 2 } \dots a _ { g } ^ { 2 } = 1$$

if H / Γ is non-orientable.

The group Γ has a presentation which consists of the generators c , . . . , c 1 k , e 1 , . . . , e k , a 1 , b 1 , . . . , if H / Γ is orientable and c 1 . . . , c k , e 1 , . . . , e k , a 1 , . . . , a g

if H / Γ is non-orientable, and relations (2), (3),(4) if H / Γ is orientable and (2),(3), (5) if H / Γ is non-orientable.

The elements c i are reflections, x i elliptics, a , b i i hyperbolic in the orientable case and the a i are glide-reflections in the non-orientable case. The e i , called the connecting generators, are orientation-preserving and nearly always hyperbolic.

For these presentations see [5], [1].

Definition. Two reflections c and d of Γ are called linked with link period n if cd is an elliptic element of order n .

The following ideas come from Hoare's paper [3].

If c and d are linked reflection generators with link period n then c and d generate a dihedral group D n of order 2 n . Let σ be an orbit of the Λ -cosets under D n and let K be a coset in σ . If m is the least positive integer such that ( cd ) m ∈ K then either;

- a) σ contains no coset fixed by c or d in which case σ has length 2 m and gives an elliptic generator for Λ with period n/m , or
- b) σ contains two cosets fixed by c and d , one fixed by each if m is odd, two fixed by one and none by the other if m is even. Now σ has length m and the refection generators of Λ corresponding to the two fixed cosets are linked with period n/m . Each reflection generator of Λ appears in precisely two of these links, unless it is linked only to itself.

USING HOARE'S THEOREM TO FIND THE SIGNATURE OF A SUBGROUP OF AN NEC GROUP. 3

This gives the period cycles of Λ each coming from one of the period cycles of Γ .

- c) In a) above we find out how to get some proper periods of Λ . Other proper periods of Λ are just those induced by the proper periods of Γ . These are found in exactly the same way as in [6]. That is if x is an elliptic element of Γ of period n , then we let x act on the right Λ -cosets. by right multiplication. If we have an orbit (i.e. a cycle) of length m then there is an induced elliptic period equal to n/m in Λ . All elliptic periods of Λ are found in a) or c).
- d) The orientability of Λ is found by using [4]. If Γ is a group with generators Φ and Λ is a subgroup then the Schreier coset graph H (Γ Λ Φ) , , is the graph with vertices the cosets of Λ in Γ and directed edges at each vertex for each b ∈ Φ such that b : Λ g -→ Λ gb . If c is a reflection and if Λ gc = Λ g then the directed edge c : Λ g -→ Λ gc is a reflection loop . Let H be the Schreier graph with the reflection loops deleted. We call this the augmented Schreier graph. Each path in H corresponds to a word in Φ and hence to an element of Γ . A path is called positive (negative) if it corresponds to a orientation-preserving (orientation- reversing ) element of Γ . We label the edges of this graph with the generators of the group.

Then it was shown in [4] that H / Λ is orientable if and only if all circuits in H are positive, where H is the hyperbolic plane.

Finally, the genus of H / Λ is calculated using the Riemann-Hurwitz formula as usual. Usually, it is best to find the index | Γ + : Λ + | where Γ + (resp. Λ ) + is the canonical Fuchsian group of Γ , (resp. Λ ) the index two subgroups of orientation-preserving isometries. The signature of Γ + is found from [7].

## 2. The algorithm.

We suppose that Γ has a subgroup of index N and let the cosets be Λ g , 1 Λ g , . . . 2 Λ g N , which we represent in the usual way by 1 2 , , . . . .N . Then

Step 1. Write down the induced reflections.

- Step 2. Find all the links and link periods. Typically, c = c ij -1 and d = c ij are linked with link period n = n ij . Find the image of cd in the symmetric group S N and note the cycle lengths in this permutation. In particular the the lengths of the cycles containing fixed points of c or d will give the integers m above.

Step 3. Let c and d be two linked refections with link period n . Then c and d generate a dihedral group D n . Find the orbits of this D n in its action on the Λ -cosets. Let σ be an orbit and let K be a coset in σ (So K is just one of the integers 1 2 , , · · · , N .) Consider the cycles of cd . If there is a cycle of length m this just means that K cd ( ) m = K .

step 4 . Find the periods and link periods of the subgroup. If there are no cosets fixed by c or d in σ then Hoare's results in [3] tell us that σ has length 2 m and gives an elliptic period n/m in Λ .

If there are fixed cosets then

σ contains exactly two cosets fixed by c and d , one fixed by each if m is odd, two fixed by one and none by there other if m is even. Now σ has length m and the induced reflection generators of Λ are linked with link period n/m . We write c linked to d by c ∼ d . Each reflection generator of Λ occurs in exactly two of these links unless it is linked only to itself. This gives the period cycles of Λ , each coming from one of the period cycles of Γ .

Step 5. How to deal with the relation ec e 0 -1 c s = 1 .

Regard 〈 ec e 0 -1 , c s 〉 ∼ = D 1 . Now the orbits of 〈 ec e 0 -1 , c s 〉 ∼ = D 1 are the two-cycles of c s = ec e 0 -1 or the one-cycles, (fixed points). If we have a 2-cycle ( γ, δ ) then { γ, δ } is an orbit containing no fixed points of c s or ec e 0 -1 (= c s ) . Now ec e 0 -1 c s = 1 and so m = 1 and there is an elliptic period equal to 1 / 1 = 1 , that is no elliptic period at all. If c s = ec e 0 -1 fixes k then k ec e ( 0 -1 ) = k so c 0 fixes ke and we have a link c s ∼ c 0 ke with link period 1.

## Example 1

In our first examples we find all subgroups of index two in an extended triangle group. This is a group ∆ generated by three reflections in the sides of a triangle with angles π/n , π/n , π/n 1 2 3 . This has signature (0; +; [ ]; { n , n , n 1 2 3 } ) , which we usually denote by ( n , n , n 1 2 3 ) , which has presentation

$$\{ c _ { 1 }, c _ { 2 }, c _ { 3 } | c _ { 1 } ^ { 2 } = c _ { 2 } ^ { 2 } = c _ { 3 } ^ { 2 } = ( c _ { 1 } c _ { 2 } ) ^ { n _ { 1 } } = ( c _ { 2 } c _ { 3 } ) ^ { n _ { 2 } } = ( c _ { 3 } c _ { 1 } ) ^ { n _ { 3 } } = 1 \}.$$

There are 7 epimorphisms θ 1 : ∆ -→ C 2 = { e, t } , ( t 2 = 1 ).

- (1) θ 1 ( c i ) = t for i = 1 2 3 , , . Here the kernel (equal to the stabiliser of a point) is the canonical Fuchsian triangle group with signature (0; +; [ n , n , n 1 2 3 ]; { } ) usually denoted by [ n , n , n 1 2 3 ] .
- (2) θ 2 ( c 1 ) = θ c ( 2 ) = t = (1 2) , , θ c ( 3 ) = e = (1)(2) . Note that as θ c c ( 1 3 ) = θ c c ( 2 3 ) = t , n 2 and n 3 must be even.

USING HOARE'S THEOREM TO FIND THE SIGNATURE OF A SUBGROUP OF AN NEC GROUP. 5

We now use our algorithm to find Λ the stabiliser of a point.

Step 1. The induced reflections are c 31 , c 32 .

Step 2. Find the links and link periods. Here the links are c 1 ∼ c 2 with link period n 1 , c 2 ∼ c 3 with link period n 2 and c 3 ∼ c 1 with link period n 3 .

Step 3. Find the orbits of the dihedral subgroups. There are three dihedral subgroups here 〈 c , c 1 2 〉 ∼ = D l , 〈 c , c 2 3 〉 ∼ = D m , and 〈 c , c 3 1 〉 ∼ = D n . The orbits of all these three are { 1 2 , } . Also c c 1 2 = (1)(2) , and c c 2 3 = c c 3 1 = (1 2) , .

Step 4. We first notice that no coset is fixed by c , c 1 2 . The orbit σ of 〈 c , c 1 2 〉 has length 2 so that here m = 1 and so there is an elliptic period n 1 in Λ .

Now we consider the dihedral group 〈 c , c 2 3 〉 . Here the orbit has length 2 (which is even) and c 3 fixes two cosets 1 and 2 and c , 2 fixes no coset so c 31 ∼ c 32 . As c c 1 3 = (1 2) , , m = 2 and so the link period is n / 2 2 . Similarly , we also get c 31 ∼ c 32 from the orbit 〈 c , c 3 1 〉 . Here the link period is n / 3 2 . We get one chain c 3 ∼ c 2 ∼ c 3 and the period cycle is { n / 2 2 , n 3 / 2 } . As the augmented Schreier graph has two vertices, it cannot have any negative paths and so Λ has orientable quotient space. Thus the signature of Λ is of the form ( g ; +; [ n 1 ]; ( { n / 2 2 , n 3 / 2 } ) . We compute g using Riemann-Hurwitz. We pass to the canonical Fuchsian groups. ∆ + has Fuchsian signature (0; ( n , n , n 1 2 3 )) and Λ + has Fuchsian signature (2 g +1 -1; n , n , n 1 1 2 / 2 , n 3 / 2) . As the index of λ + in Γ + is two we apply Riemann-Hurwitz to get

$$4 g { - 2 } { + 1 } { - 1 } / n _ { 1 } { + 1 } { - 1 } / n _ { 1 } { + 1 } { - 2 } / n _ { 2 } { + 1 } { - 2 } / n _ { 3 } = 2 ( 1 { - 1 } / n _ { 1 } { - 1 } / n _ { 2 } { - 1 } / n _ { 3 } )$$

giving g = 0 . Thus the signature of the NEC group Λ is

$$( 0 ; + ; [ n _ { 1 } ] ; \{ ( n _ { 2 } / 2, n _ { 3 } / 2 ) \} ).$$

θ 2 ( c 1 ) = (1 2) , , θ 2 ( c 2 ) = θ c ( 3 ) = (1)(2) . Again we let Λ denote the stabiliser of a point.

Step 1. The induced reflections are c 21 , c 22 , c 31 , c 32

Step 2. The links are as in the previous example.

Step 3. The orbits of 〈 c , c 1 2 〉 and 〈 c , c 1 3 〉 are { 1 2 , } . The orbits of 〈 c , c 2 3 〉 are { } 1 and { } 2 . Also c c 1 2 = (1 2) ,

Step 4. The orbit of 〈 c , c 1 2 〉 contains two fixed points of c 2 and none of c 1 . As c c 1 2 = (1 2) , we find a link c 21 ∼ c 22 with link period n / 1 2 .

Now c c 2 3 = (1)(2) . By considering the two singleton orbits of 〈 c , c 2 3 〉 , we find that the orbit { } 1 contains 1 fixed point of c 2 and one fixed point of c 3 . Here c c 2 3 is the identity so m = 1 (odd!) so we get a link c 21 ∼ c 31 with link period n 2 . Similarly, by considering the orbit { } 2 we find a link c 22 ∼ c 32 with link period n 2 .

Also, the orbit of 〈 c , c 1 3 〉 contains two fixed points of c 3 and none of c 1 . (Note c c 1 3 = (1 2) , so m = 2 , (even!)). Thus c 31 ∼ c 32 with link period n / 3 2 . We thus have one chain

$$c _ { 2 1 } \sim c _ { 2 2 } \sim c _ { 3 2 } \sim c _ { 2 1 } \sim c _ { 3 1 } \sim c _ { 2 1 }$$

with link periods

$$n _ { 1 } / 2, n _ { 2 }, n _ { 3 } / 2, n _ { 2 }.$$

Thus Λ contains one period cycle ( n / 1 2 , n 2 , n 3 / 2 , n 2 ) .

As in the previous example, we show that we show that Λ has genus zero and orientable quotient space and so Λ has signature

$$( 0 ; + ; \{ ( n _ { 1 } / 2, n _ { 2 }, n _ { 3 } / 2, n _ { 2 } \} ).$$

By permuting n , n , n 1 2 3 we find the other possible subgroups of index two leading to the extended triangle group (0; +; [ ]; { n , n , n 1 2 3 ) } ) , to give

Theorem 1. The NEC triangle group ∆ of signature

$$( 0 ; + ; [ \ ] ; \{ n _ { 1 }, n _ { 2 }, n _ { 3 } ) \} )$$

has the Fuchsian triangle group [ n , n , n 1 2 3 ] as a subgroup of index two. If n , n 1 3 are even then the only other possible subgroups of index two in (0; +; [ ]; { n , n , n 1 2 3 ) } , have signatures

(0; +; [ n 2 ]; { ( n / 2 2 , n 3 / 2) }

$$( 0 ; + ; \, ; \, [ \, ] ; \{ ( n _ { 1 } / 2, n _ { 2 }, n _ { 3 } / 2, n _ { 2 } \} ) \,.$$

Similarly, if n , n 1 2 are even we get two other NEC subgroups of index 2 and if n , n 2 3 are even we get another two. Altogether this gives us our seven subgroups of index two in the extended triangle group, ( n , n , n 1 2 3 ) .

We now give other examples which illustrates all of the points used in Hoare's Theorem. The first one illustrates more fully how to find the period cycles and deal with empty period cycles.

## Example 2

USING HOARE'S THEOREM TO FIND THE SIGNATURE OF A SUBGROUP OF AN NEC GROUP. 7

Let Γ be an NEC group of signature

$$( 0 ; + ; [ \, ], \{ ( 2, 3 ), ( \, ) \} )$$

The canonical presentation of Γ is

$$\langle c _ { 0 }, c _ { 1 }, c _ { 2 }, d, e _ { 1 }, e _ { 2 } | c _ { 0 } ^ { 2 } = c _ { 1 } ^ { 2 } = ( c _ { 0 } c _ { 1 } ) ^ { 2 } = ( c _ { 1 } c _ { 2 } ) ^ { 3 } = d ^ { 2 } = 1, e _ { 1 } c _ { 0 } e _ { 1 } ^ { - 1 } = c _ { 2 }, e _ { 2 } d e _ { 2 } ^ { - 1 } = d, e _ { 1 } e _ { 2 } = 1 \rangle.$$

Consider the following permutation representation.

↦

c 0 -→ (1 , 2)(3)(4)

↦

c 1 -→ (1)(2)(3 , 4)

↦

$$c _ { 2 } \longmapsto ( 1, 3 ) ( 2 ) ( 4 )$$

↦

$$e _ { 1 } \longmapsto ( 1 ) ( 4 ) ( 2, 3 )$$

↦

$$e _ { 2 } \longmapsto ( 1 ) ( 4 ) ( 2, 3 )$$

↦

$$d \longmapsto ( 1 ) ( 4 ) ( 2, 3 )$$

We now follow our algorithm.

Step 1. The induced reflections are c 03 , c 04 , c 11 , c 12 , c 22 , c 24 , d 11 , d 14 .

Step 2. The links are c 0 ∼ c 1 with link period 2, c 1 ∼ c 2 with link period 3, e c e 1 0 -1 1 ∼ c 2 with link period 1 , e de 2 -1 2 ∼ d with link period 1.

Step 3. Find the orbits of the dihedral subgroups. These are 〈 c , c 0 1 〉 ∼ = D . 2 The orbits here are { 1 2 , } { , 3 4 , } , and c c 0 1 = (1 2)(3 4) , , .

〈 c , c 1 2 〉 ∼ = D 3 The orbits are { 1 3 4 , , } , { } 2 and c c 1 2 = (1 3 4)(2) , , .

〈 e c e 1 0 -1 1 , c 2 〉 ∼ = D 1 , The orbits are { 1 3 , } { , 2 } { , 4 } and ec e 0 -1 c 2 = (1)(2)(3)(4) .

〈 e de 2 -1 2 , d 〉 ∼ = D 1 . The orbits are { 1 3 , } { , 2 } { , 4 } and ede -1 d = (1)(2)(3)(4) .

Step 4. We have c c 0 1 = (1 2)(3 4) , , . In the cycle (1 , 2) we have two fixed points of c 1 and none of c 0 . (Note m = 2 here is even so we should have two fixed points of one generator and none of the other.) As n = 2 we have a link c 11 ∼ c 12 with link period 2 / 2 = 1

On the orbit { 3 4 , } of 〈 c , c 0 1 〉 we similarly get a link c 03 ∼ c 04 with link period equal to 1.

Now c c 1 2 = (1 3 4)(2) , , . In the cycle (1 , 3 4) , we have one fixed point 1 of c 1 and one fixed point 4 of c 2 so we get a link c 11 ∼ c 24 with link period 3 / 3 = 1 .

On the cycle { } 2 of 〈 c , c 1 2 〉 we have one fixed point of c 1 and one of c 2 , namely 2 in both cases and so we get a link c 12 ∼ c 22 with link period 3 / 1 = 3 .

Step 5. We now consider the dihedral group 〈 e c e 1 0 -1 1 , c 2 〉 ∼ = D 1 of order two. We have two fixed points of c , 0 namely 2 and 4. From step 5, we get links c 22 ∼ c 02 e 1 or c 22 ∼ c 03 with link period 1. Similarly we have the link c 24 ∼ c 04 with link period 1.

Putting all these links together we find that we only have one chain:

$$c _ { 1 1 } \sim c _ { 1 2 } \sim c _ { 2 2 } \sim c _ { 0 3 } \sim c _ { 0 4 } \sim c _ { 2 4 } \sim c _ { 1 1 }$$

All the link periods are equal to one except for the link period between c 24 and c 14 which is equal to 3. We can omit the link periods equal to one and so we are left with a single period cycle { (3) } .

We now find the number of period cycles induced by the empty period cycle of Γ . This empty period cycle corresponds to the reflection d , which gives two induced reflections d 1 and d 4 . This gives us two empty period cycles of Λ

We now consider the orientability of Λ . So we consider the augmented coset graph as described above. This graph has 4 vertices 1,2,3,4. We have an edge from 1 to 2, because of the reflection c 0 , an edge from 1 to 2 coming from the reflection c 1 and an edge from 1 to 3 because of the reflection d . Thus we have a triangle 1 -→ 2 -→ 3 -→ 1 . This gives an orientation-reversing loop and so Λ has non-orientable quotient space.

We now compute the genus of Λ . The group Γ has signature (8). Λ has a signature of the form ( g ; -[ ]; { (3) , ( ) , ( )) . By [[7] , Γ + has Fuchsian signature (1; 2 , 3) and Λ + has signature (g+2; 3). Riemann-Hurwitz now gives 2( g +2) -2 + 2 / 3 = 4 (7 . / 6) = 14 / 3 and thus g = 1 and so the signature of Λ is (1; [ ]; { (3) , ( ) , ( ) } ) .

The next example which comes from [8] illustrates more fully how to determine the proper periods of the subgroup.

## Example 3.

Let Γ be an NEC group of signature (0; +; [6 , 6]; { (5 , 8 12) , } ) and presentation with generators

$$x _ { 1 }, x _ { 2 }, e, c _ { 0 }, c _ { 1 }, c _ { 2 }, c _ { 3 },$$

USING HOARE'S THEOREM TO FIND THE SIGNATURE OF A SUBGROUP OF AN NEC GROUP. 9

and relations

$$x _ { 1 } ^ { 6 } = x _ { 2 } ^ { 6 } = c _ { 0 } ^ { 2 } = c _ { 1 } ^ { 2 } = c _ { 2 } ^ { 2 } = c _ { 3 } ^ { 2 } = ( c _ { 0 } c _ { 1 } ) ^ { 5 } = ( c _ { 1 } c _ { 2 } ) ^ { 8 } = ( c _ { 2 } c _ { 3 } ) ^ { 1 2 } = e c _ { 0 } e ^ { - 1 } = x _ { 1 } x _ { 2 } e = 1$$

Consider the following permutation representation of Γ

↦

$$x _ { 1 } \mapsto ( 1, 4 ) ( 2, 3, 6 ) ( 5 )$$

↦

$$x _ { 2 } \mapsto ( 1, 6, 2, 5, 4, 3 )$$

↦

$$e \mapsto ( 3, 2, 1 ) ( 6, 5, 4 ) )$$

↦

$$c _ { 0 } \mapsto ( 1, 2 ) ( 3, 4 ) ( 5 ) ( 6 )$$

↦

$$c _ { 1 } \mapsto ( 1, 3 ) ( 2, 6 ) ( 4 ) ( 5 )$$

↦

$$c _ { 2 } \mapsto ( 1, 4 ) ( 2, 6 ) ( 3, 5 )$$

↦

$$c _ { 3 } \mapsto ( 1, 5 ) ( 2, 3 ) ( 4 ) ( 6 )$$

Let Λ be the stabiliser of a point. We want to find the signature of Λ . We use our algorithm.

Step 1. The induced reflections are c 05 , c 06 , c 14 , c 15 , c 34 , c 36 .

Step 2. The links are c 0 ∼ c 1 with link period 5, c 1 ∼ c 2 with link period with link period 8, c 2 ∼ c 3 with link period 12, e -1 c e 0 ∼ c 3 with link period 1.

Step 3. Find the orbits of the dihedral subgroups.

〈 c , c 0 1 〉 ∼ = D 5 , The orbits are { 1 2 3 4 6 , , , , } { , 5 }

〈 c , c 1 2 〉 ∼ = D 8 , The orbits are { 1 3 4 5 , , , } { , 2 6 , }

〈 c , c 2 3 〉 ∼ = D 12 , Orbit { 1 2 3 4 5 6 , , , , , }

$$\langle e c _ { 0 } e ^ { - 1 }, c _ { 3 } \rangle \cong D _ { 1 }, \, \text{The orbits are } \{ 1, 5 \}, \{ 2, 3 \}, \{ 4 \}, \{ 6 \}$$

Step 4. On the orbit { 1 2 3 4 6 , , , , } of 〈 c , c 0 1 〉 we have one fixed point namely 6 of c 0 and one fixed point 5 of c 1 . This gives us a link c 06 ∼ c 15 with link period 5/5=1. On the orbit { } 5 we have one fixed point of both c 0 and c 1 This gives us a link c 05 ∼ c 15 with link period 5/1=5.

On the orbit { 1 3 4 5 , , , } of 〈{ c , c 1 2 }〉 we have two fixed points namely 4 and 5 of c 1 , giving the link c 14 ∼ c 15 . Here the period of the elliptic element is 8 and c c 1 2 has period 4 so that the link period is 8 / 4 = 2 .

Thus we have the following links, which give us one chain,

c 00 ∼ c 15 ∼ c 14 ∼ c 06 ∼ c 34 ∼ c 36 ∼ c 05 .

The link periods are 5 between c 05 and c 15 , 2 between c 15 and c 14 , 1 between c 14 and c 06 , 1 between c 06 and c 34 , 2 between c 34 and c 36 and 1 between c 36 and c 05 .

This gives us one period cycle { (2 , 2 5) , } .

The orbit { 2 6 , } of 〈 c , c 1 2 〉 contains no fixed points of c 1 or c 2 and so by step 4 of the algorithm this gives an elliptic period 8 / 1 = 8 on Λ . Also, the orbit { 2 3 , } of 〈 ec e 0 -1 , c 3 〉 contains no fixed points of c 3 and so gives an elliptic period 1 (which we can ignore).

Also, the elliptic elements x , x 1 2 induce elliptic periods on Λ of periods 2,3, and 6 from the permutation theorem for Fuchsian groups, [6].

Thus we have found that Λ has elliptic periods [2,3,6,8] and one period cycle { (2 , 2 5) , } .

For the orientability we draw the augmented Schreier coset graph. We find an edge labelled c 0 joining 1 and 2, an edge labelled c 3 joining 2 and 3 and an edge labelled c 1 joining 3 and 1. This gives us a triangle in the augmented Schreier graph and hence Λ has non-orientable quotient space, We now use the Riemann-Hurwitz formula as described above to find the genus of Λ . We find that it is 9, and so Λ has NEC signature

$$( 9 \, \colon - ; [ 2, 3, 6, 8 ] ; \{ ( 2, 2, 5 ) \} ).$$

## References

- [1] E. Bujalance, J. J. Etayo, J. M. Gamboa, G. Gromadzki, Automorphism groups of compact bordered Klein surfaces, Springer Lecture Notes in Mathematics 1439 (1990).
- [2] G. Gromadzki, On the Harnack-Natanzon Theorem for a family of real forms of Riemann surfaces, J.Pure Applied Algebra 121,253-269 (1997).
- [3] A. H. M. Hoare, Subgroups of NEC groups and finite permutation groups, Quart.J.Math,Oxford(2) 41 45-49 (1990).
- [4] A. H. M. Hoare and D.Singerman, Subgroups of plane groups, London Math. Soc. Lecture note series 71 (1982) 221-227
- [5] A. M. Macbeath, The classification of non-euclidean crystallographic groups. Can. J. Math 19 (1967) 1192-1205
- [6] D. Singerman, Subgroups of Fuchsian groups and finite permutation groups, Proc. London Math.Soc. (2) (1970),319-323.
- [7] D.Singerman, On the structure of non-Euclidean crystallographic groups, Proc. Camb. Phil. Soc. 76 (1974) 233-240.
- [8] P. D. Watson, Symmetries and automorphisms of compact Riemann surfaces, Ph.D. thesis, University of Southampton, (1995).
David Singerman
Using Hoare's Theorem to find the signature of a subgroup of an NEC group
We explain how to use Hoare's Theorem to find the signature of a subgroup of
an NEC group. We give several examples.