1: \begin{abstract}

2: Let $K$ be a number field, let $A$ be a finite-dimensional semisimple $K$-algebra and let $\Lambda$ be an $\mathcal{O}_{K}$-order in $A$. 

3: It was shown in previous work that, under certain hypotheses on $A$, 

4: there exists an algorithm that for a given (left) $\Lambda$-lattice

5: $X$ either computes a free basis of $X$ over $\Lambda$ or shows that $X$ is not free over $\Lambda$.

6: In the present article, we generalize this by showing that, under weaker hypotheses on $A$,

7: there exists an algorithm that for two given $\Lambda$-lattices $X$ and $Y$

8: either computes an isomorphism $X \rightarrow Y$ or determines that $X$ and $Y$ are not isomorphic.

9: The algorithm is implemented in \textsc{Magma} 

10: for $A=\Q[G]$, $\Lambda=\Z[G]$ and $\Lambda$-lattices $X$ and $Y$ contained in $\Q[G]$,

11: where $G$ is a finite group satisfying certain hypotheses.

12: This is used to investigate the Galois module structure of rings of integers and ambiguous ideals of tamely ramified

13: Galois extensions of $\Q$ with Galois group isomorphic to $Q_{8} \times C_{2}$, the direct product of the

14: quaternion group of order $8$ and the cyclic group of order $2$.

15: \end{abstract}

16: