d89a93b8b3d2ec0f.tex
1: \begin{abstract}Finite index subgroups of the modular group are of
2: great arithmetic importance.  Farey symbols, introduced by Ravi
3: Kulkarni in 1991, are a tool for working with these groups. Given
4: such a group $\Gamma$, a Farey symbol for $\Gamma$ is a certain
5: finite sequence of rational numbers (representing vertices of a
6: fundamental domain of $\Gamma$) together with pairing information
7: for the edges between the vertices. They are a compact way of
8: encoding the information about the group and they provide a simple
9: way to do calculations with the group. For example: calculating an
10: independent set of generators and decomposing group elements into a
11: word in these generators, finding coset representatives, elliptic
12: points, and genus of the group, testing if the group is congruence,
13: etc. In this expository article, we will discuss Farey Symbols and
14: explicit algorithms for
15: working with them. %The first author has implemented a collection of
16: %these functions for finite index subgroups of the modular group into
17: %a SAGE package which is
18: \end{abstract}
19: