Direct system of abelian groups

ID: direct-system-of-abelian-groups

A direct system indexed by a directed set consists of abelian groups and homomorphisms for , with and .

New to topics? Read the docs here!