CatDat

embedding of integer into rational numbers

The inclusion ιZ,Q:ZQ\iota_{\IZ,\IQ} : \IZ \hookrightarrow \IQ is a typical example of a localization. It is a standard example of a mono- and epimorphism which is not an isomorphism in the category of (commutative) rings.

Satisfied Properties

Assigned properties

Deduced properties

Unsatisfied Properties

Assigned properties

Deduced properties*

*This also uses the deduced satisfied properties.

Unknown properties

Undistinguishable morphisms

These morphisms in the database currently have exactly the same properties as the embedding of integer into rational numbers. This indicates that the data may be incomplete or that a distinguishing property may be missing from the database.