Introduction

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=1^m (frac A_i) α_i = { ∑_i=1^m a_iα_i | a_i ∈frac A_i} with (fractional) ideals (frac A_i) and elements α_i ∈kM isomorphic to k^r.

A (not necessarily direct) sum ∑_i=1^m (frac A_i)α_i will be represented as a pseudo--matrix ((frac A)|A) where (frac A) = ((frac A₁), ..., (frac A_m))^t is a column vector of ideals and A = (α₁, ..., α_m)^t ∈k^{m x r} is a matrix. The ideals (frac A_i) 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≤i₁ < i₂< ... < i_s such that A_{j, l} = 0 (1≤l<i_j), A_{j, ij} = 1 and A_{j, l} is reduced modulo (frac A_j)(frac A_l) ^{- 1}. For j>s we have A_{j, 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 A_i).

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. [Next][Prev] [Right] [____] [Up] [Index] [Root]