reduction modulo p
- Notation:
- Category: category of abelian groups
This is the projection homomorphism , where is a prime number. It is a common example of an epimorphism in which does not split.
Satisfied Properties
Assigned properties
- is an epimorphism
Deduced properties
- is a regular epimorphism
- is a strict epimorphism
- is a normal epimorphism
- is an effective epimorphism
- is a strong epimorphism
Unsatisfied Properties
Assigned properties
- is not a split epimorphism
Deduced properties*
- is not an isomorphism
- is not a monomorphism
- is not a strong monomorphism
- is not a regular monomorphism
- is not a strict monomorphism
- is not a split monomorphism
- is not an effective monomorphism
- is not a normal monomorphism
*This also uses the deduced satisfied properties.
Unknown properties
—