Category:Transplanting Theorem
Jump to navigation
Jump to search
This category contains pages concerning Transplanting Theorem:
Let $\struct {S, \circ}$ be an algebraic structure.
Let $f: S \to T$ be a bijection.
Then there exists one and only one operation $\oplus$ such that $f: \struct {S, \circ} \to \struct {T, \oplus}$ is an isomorphism.
The operation $\oplus$ is defined by:
- $\forall x, y \in T: x \oplus y = \map f {\map {f^{-1} } x \circ \map {f^{-1} } y}$
Pages in category "Transplanting Theorem"
The following 2 pages are in this category, out of 2 total.