Definition:Monomorphism (Abstract Algebra)

Definition
A monomorphism is a homomorphism which is an injection.

Group Monomorphism
If both $$\left({G, \circ}\right)$$ and $$\left({H, *}\right)$$ are groups, then a monomorphism $$\phi: \left({G, \circ}\right) \to \left({H, *}\right)$$ is called a group monomorphism.

Ring Monomorphism
If both $$\left({R, +, \circ}\right)$$ and $$\left({S, \oplus, *}\right)$$ are rings, then a monomorphism $$\phi: \left({R, +, \circ}\right) \to \left({S, \oplus, *}\right)$$ is called a ring monomorphism.

R-Algebraic Structure Monomorphism
Let $$\left({S, \ast_1, \ast_2, \ldots, \ast_n: \circ}\right)_R$$ and $$\left({T, \odot_1, \odot_2, \ldots, \odot_n: \otimes}\right)_R$$ be $R$-algebraic structures.

Then $$\phi: S \to T$$ is an $$R$$-Algebraic Structure monomorphism iff:


 * 1) $$\phi$$ is an injection;
 * 2) $$\forall k: k \in \left[{1 \, . \, . \, n}\right]: \forall x, y \in S: \phi \left({x \ast_k y}\right) = \phi \left({x}\right) \odot_k \phi \left({y}\right)$$;
 * 3) $$\forall x \in S: \forall \lambda \in R: \phi \left({\lambda \circ x}\right) = \lambda \otimes \phi \left({x}\right)$$.

Monomorphism on an Ordered Structure
A (structure) monomorphism from an ordered structure $$\left({S, \circ; \preceq}\right)$$ to another $$\left({T, *; \preccurlyeq}\right)$$ is a mapping $$\phi: S \to T$$ that is both:


 * A monomorphism, i.e. an injective homomorphism, from the structure $$\left({S, \circ}\right)$$ to the structure $$\left({T, *}\right)$$;


 * An order monomorphism from the poset $$\left({S; \preceq}\right)$$ to the poset $$\left({T; \preccurlyeq}\right)$$.