OAlg.AbelianGroup.KernelsAndCokernels

Kernels and Cokernels for homomorphisms between finitely generated abelian groups.

Kernels

abhKernels :: Kernels N1 AbHom

kernels for AbHom.

Cokernels

abhCokernels :: Cokernels N1 AbHom

cokernels for AbHom.

Smith Normal

isoSmithNormal :: AbGroup -> Inv AbHom

isomorphism to its smith normal group.

Properties Let g be in AbGroup, then holds:

1. start (isoSmithNormal g) == g.
2. end (isoSmithNormal g) is smith normal (see definition AbGroup).

Adjunction

abhSliceFreeAdjunction :: Attestable k => Free k AbHom -> Adjunction (SliceCokernelKernel (Free k) AbHom) (SliceFactor From (Free k) AbHom) (SliceFactor To (Free k) AbHom)

the cokernel-kernel adjunction for a given Free k.

Orphan instances

Attestable k => SliceCokernelTo (Free k) AbHom

Methods

sliceCokernelTo :: Slice 'To (Free k) AbHom -> Cokernel N1 AbHom

Attestable k => SliceKernelFrom (Free k) AbHom

Methods

sliceKernelFrom :: Slice 'From (Free k) AbHom -> Kernel N1 AbHom