Systems of inequalities characterizing ring homomorphisms (Q503490)

Summary: Assume that \(T : \mathcal{P} \rightarrow \mathcal{R}\) and \(U : \mathcal{P} \rightarrow \mathcal{R}\) are arbitrary mappings between two partially ordered rings \(\mathcal{P}\) and \(\mathcal{R}\). We study a few systems of functional inequalities which characterize ring homomorphisms. For example, we prove that if \(T\) and \(U\) satisfy \(T(f + g) \geq T(f) + T(g), U(f \cdot g) \geq U(f) \cdot U(g),\) for all \(f, g \in \mathcal{P}\) and \(T \geq U\), then \(U = T\) and this mapping is a ring homomorphism. Moreover, we find two other systems for which we obtain analogous assertions.