Structure

reduction modulo p

Notation  mod  p\bmod\, p Category category of abelian groups
This is the projection homomorphism Z→Z/p\IZ \to \IZ/p, where pp is a prime number. It is a common example of an epimorphism in Ab\Ab which does not split.

Satisfied properties

Assigned properties

Deduced properties

Unsatisfied properties

Assigned properties

Deduced properties*

*This also uses the deduced satisfied properties.

Unknown properties

—