CatDat

torsion functor

This functor maps an abelian group AA to its torsion subgroup T(A){aA:n1(na=0)}.T(A) \coloneqq \{a \in A : \exists n \geq 1 \, (na = 0)\}.

Satisfied Properties

Assigned properties

Deduced properties

Unsatisfied Properties

Assigned properties

Deduced properties*

*This also uses the deduced satisfied properties.

Unknown properties