Category:Transplants

From ProofWiki
Jump to navigation Jump to search

This category contains results about Transplants in the context of Abstract Algebra.

Let $\struct {S, \circ}$ be an algebraic structure.

Let $f: S \to T$ be a bijection.

Let $\oplus$ be the one and only one operation such that $f: \struct {S, \circ} \to \struct {T, \oplus}$ is an isomorphism.

The operation $\oplus$ is called the transplant of $\circ$ under $f$.