Since the structure theory for modules over arbitrary orders (which are in general not Dedekind domains) is very unsatisfactory, modules over orders in Magma are always modules over some maximal order of a number field or function field, they form a magma of type ModDed.
Let k be a number field or function field and (O)k its ring of integers. Since (O)k is a Dedekind domain, every finitely generated torsion free module M over (O)k has a representation as a direct sum M = ∑i=1m (frac Ai) αi = { ∑i=1m aiαi | ai ∈frac Ai} with (fractional) ideals (frac Ai) and elements αi ∈kM isomorphic to kr.
A (not necessarily direct) sum ∑i=1m (frac Ai)αi will be represented as a pseudo--matrix ((frac A)|A) where (frac A) = ((frac A1), ..., (frac Am))t is a column vector of ideals and A = (α1, ..., αm)t ∈km x r is a matrix. The ideals (frac Ai) are called coefficient ideals.
This pseudo--matrix is called a pseudo--basis iff the sum is direct. A pseudo--matrix ((frac A)| A) is in Hermite normal form iff there are s≤m, 1≤i1 < i2< ... < is such that Aj, l = 0 (1≤l<ij), Aj, ij = 1 and Aj, l is reduced modulo (frac Aj)(frac Al) - 1. For j>s we have Aj, l = 0.
This normal form is unique if a suitable reduction is used.
As a consequence of this normalisation, usually αinot∈M. To be precise: αi∈M iff 1∈(frac Ai).
All modules are in Hermite normal form, i.e. every module is represented by a pseudo--basis in Hermite normal form.
General (non torsion free) modules are represented as quotients of a torsion free module M and a submodule S. Elements of Q := M/S are represented as elements of M, arithmetic in Q is reduced to arithmetic in M followed by a reduction modulo the pseudo--basis of S.