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

oalg-abg

Representing finitely generated abelian groups as finite products of cyclic groups. See the contents in the provided documentation.