Let be additive subgroups of both containing 1. Let be an order preserving group homomorphism such that . Show that for all .
The idea that I am working with is to let such that
then there exists an integer such that
now apply and get the following
and suppose that for all . In this way I hope to get some contradiction
Or is there another way?