Structure

Baer-Specker relations

Notation mm Category category of free abelian groups
Consider the Baer-Specker group ZN\IZ^\IN and choose a free abelian group FF with an epimorphism π:F→ZN\pi : F \to \IZ^\IN (for example, to make this example explicit, the free abelian group on the underlying set of ZN\IZ^\IN). Let K⊆FK \subseteq F be its kernel (which is also free abelian). In this entry, we consider the inclusion m:K↪Fm : K \hookrightarrow F. It provides an example of a strict monomorphism which is not regular.

Satisfied properties

Assigned properties

Deduced properties

Unsatisfied properties

Assigned properties

Deduced properties*

*This also uses the deduced satisfied properties.

Unknown properties

—