Structure

multiplication by 2

Notation 22 Category category of torsion-free abelian groups
The multiplication map 2:Z→Z2 : \IZ \to \IZ in TorsFreeAb\TorsFreeAb provides an example of a monomorphism in an additive category which is not regular (and hence, not normal). Thus, it provides a proof that TorsFreeAb\TorsFreeAb is not abelian.

Satisfied properties

Assigned properties

Deduced properties

—

Unsatisfied properties

Assigned properties

Deduced properties*

*This also uses the deduced satisfied properties.

Unknown properties

—