a6cbcb548cc68554.tex
1: \begin{abstract}
2: Let $E$ be a number field and $G$ be a finite group.
3: Let $\mathcal{A}$ be any $\mathcal{O}_{E}$-order of full rank
4: in the group algebra $E[G]$ and $X$ be a (left) $\mathcal{A}$-lattice.
5: In a previous article, we gave a necessary and sufficient condition for $X$ 
6: to be free of given rank $d$ over $\mathcal{A}$. In the case that (i) the Wedderburn decomposition $E[G] \cong \oplus_{\chi} M_{\chi}$ 
7: is explicitly computable and (ii) each $M_{\chi}$ is in fact a matrix ring over a field,
8: this led to an algorithm that either gives elements 
9: $\alpha_{1}, \ldots, \alpha_{d} \in X$ such that 
10: $X=\mathcal{A}\alpha_{1} \oplus \cdots \oplus \mathcal{A}\alpha_{d}$ 
11: or determines that no such elements exist. 
12: In the present article, we generalise the algorithm by weakening condition (ii) considerably.
13: \end{abstract}
14: