Category:Transplanting Theorem

From ProofWiki
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.