@hackage oalg-abg1.0.0.0

Finitely generated abelian groups.

Representing finitely generated abelian groups (OAlg.AbelianGroup.Definition) as finite products of cyclic groups (OAlg.AbelianGroup.ZMod) and additive homomorphisms between finitely generated abelian groups as matrices of additive homomorphisms between cyclic groups.

Kernels and Cokernels (OAlg.AbelianGroup.KernelsAndCokernels) for additive homomorphisms between finitely generated abelian groups are provided by reducing Z-matrices to Smith Normal Form (OAlg.AbelianGroup.Free.SmithNormalForm).

Please see the README on GitHub at https://github.com/zErichGut/oalg-abg#readme