Modules over Dedekind domains

Modules over dedekind domains are supported only for maximal orders of Algebraic number fields and Algebraic function fields.

• Creation of modules

• Arithmetic with module elements

• Submodules and quotients of modules

• Determinanant, dimension, pseudo-generators

• Equality of modules, membership

• Intersection of submodules

• Product of a module by an ideal

• Pseudo-basis and elementary divisors

• Dual of a module

• Steinitz class and Steinitz form

• Construction of modules Hom(M, N) and standard calculations with morphisms