Category:Embedding Theorem

This category contains pages concerning Embedding Theorem:

Let:

$(1): \quad \struct {T_2, \oplus_2}$ be a submagma of $\struct {S_2, *_2}$

$(2): \quad f: \struct {T_1, \oplus_1} \to \struct {T_2, \oplus_2}$ be an isomorphism

then there exists:

$(1): \quad$ a magma $\struct {S_1, *_1}$ which algebraically contains $\struct {T_1, \oplus_1}$

$(2): \quad g: \struct {S_1, *_1} \to \struct {S_2, *_2}$ where $g$ is an isomorphism which extends $f$.