1: \begin{abstract}

2: A latin bitrade $(T^{\diamond},\, T^{\otimes})$ 

3: is a pair of partial latin squares that define the difference between

4: two arbitrary latin squares $L^{\diamond} \supseteq T^{\diamond}$

5: and $L^{\otimes} \supseteq T^{\otimes}$ of the same order. A $3$-homogeneous bitrade 

6: $(T^{\diamond},\, T^{\otimes})$ has three

7: entries in each row, three entries in each column, and each symbol

8: appears three times in $T^{\diamond}$. Cavenagh~\cite{MR2241536} showed that any

9: $3$-homogeneous bitrade may be partitioned into three transversals.

10: In this paper we provide an independent

11: proof of Cavenagh's result using geometric methods. In doing so we provide a

12: framework for studying bitrades as tessellations in spherical, euclidean

13: or hyperbolic space. Additionally, we show how latin bitrades are

14: related to finite representations of certain triangle groups.

15: % \keywords{latin square \and latin bitrade \and triangle group \and tessellation}

16: % \subclass{05B15 \and 05B45}

17: \end{abstract}

18: