1: \begin{abstract}

2: For a finite triangulation of the plane with faces properly coloured 

3: white and black, let $\A$

4: be the abelian group constructed by labelling the vertices with

5: commuting indeterminates and adding relations which say that the

6: labels around each white triangle add to the identity. We show that

7: $\A$ has free rank exactly two. Let $\A^*$ be the torsion subgroup of

8: $\A$, and $\B^*$ the corresponding group for the black triangles. We

9: show that $\A^*$ and $\B^*$ have the same order, and conjecture that

10: they are isomorphic.

11: 

12: For each spherical latin trade $W\!$, we show there is a unique disjoint

13: mate $B$ such that $(W,B)$ is a connected and separated bitrade.  The

14: bitrade $(W,B)$ is associated with a two-colourable planar

15: triangulation and we show that $W$ can be embedded in $\A^*$, thereby

16: proving a conjecture due to Cavenagh and Dr\'apal. The proof involves

17: constructing a $(0,1)$ presentation matrix whose permanent and

18: determinant agree up to sign. The Smith Normal Form of this matrix

19: determines $\A^*$, so there is an efficient algorithm to construct the

20: embedding.  Contrasting with the spherical case, for each genus

21: $g\ge1$ we construct a latin trade which is not embeddable in any

22: group and another that is embeddable in a cyclic group.

23: 

24: 

25: We construct a sequence of spherical latin trades which cannot be

26: embedded in any family of abelian groups whose torsion ranks are

27: bounded. Also, we show that any trade that can be embedded in a

28: finitely generated abelian group can be embedded in a finite abelian

29: group. As a corollary, no trade can be embedded in a free abelian

30: group.

31: 

32: \bigskip\noindent

33: Keywords: latin trade; bitrade; latin square; abelian group;

34: planar triangulation; Smith normal form; permanent.

35: \end{abstract}

36: