modulo p functor

 algebra  free
Notation Tp:Ab→AbT^p: \Ab \to \Ab Domain category of abelian groupsCodomain category of abelian groupsRight adjoint p-torsion functor
This functor maps an abelian group AA to the quotient Tp(A)≔A/pAT^p(A) \coloneqq A/pA, where pp is a fixed prime number. This group can also be represented as A⊗Z/pA \otimes \IZ/p.

Satisfied properties

Assigned properties

Deduced properties

Unsatisfied properties

Assigned properties

Deduced properties*

*This also uses the deduced satisfied properties.

Unknown properties

—