multiplication with 2

Notation 22 Category category of torsion-free abelian groups

The multiplication map 2:ZZ2 : \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