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). Further more the provided cokernels are all liftable.

Please see the README on GitHub at https://github.com/zErichGut/oalg-main/blob/main/oalg-abg/README.md

oalg-abg

A package for representing finitely generated abelian groups as finite products of cyclic groups.