Category:Embedding Theorem
Jump to navigation
Jump to search
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$.
Pages in category "Embedding Theorem"
The following 3 pages are in this category, out of 3 total.