multiplication with 2
- Notation:
- Category: category of torsion-free abelian groups
The multiplication map in provides an example of a monomorphism in an additive category which is not regular (and hence, not normal). Thus, it provides a proof that is not abelian.
Satisfied Properties
Assigned properties
- is a monomorphism
- is an epimorphism
Deduced properties
—
Unsatisfied Properties
Assigned properties
- is not an isomorphism
Deduced properties*
- is not a strong monomorphism
- is not a strong epimorphism
- is not a strict monomorphism
- is not a strict epimorphism
- is not a regular monomorphism
- is not a regular epimorphism
- is not a split monomorphism
- is not an effective monomorphism
- is not a normal monomorphism
- is not a split epimorphism
- is not an effective epimorphism
- is not a normal epimorphism
*This also uses the deduced satisfied properties.
Unknown properties
—
Undistinguishable morphisms
These morphisms in the database currently have exactly the same properties as the multiplication with 2. This indicates that the data may be incomplete or that a distinguishing property may be missing from the database.