Definition:Operation Induced by Injection
Jump to navigation
Jump to search
Definition
Let $\struct {T, \circ}$ be an algebraic structure.
Let $f: S \to T$ be an injection.
Then the operation induced on $S$ by $f$ and $\circ$ is the binary operation $\circ_f$ on $S$ defined by:
- $\circ_f: S \times S \to S: x \circ_f y := \map {f^{-1} } {\map f x \circ \map f y}$
Also known as
This is an instance of the more general phenomenon of a structure being pulled back along a function.
Also see
The validity of the material on this page is questionable. You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by resolving the issues. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{Questionable}} from the code.If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page. |
Thus $\circ_f$ may be called the pullback of $\circ$ along $f$; it may be denoted by $f^* \circ$.
This article needs to be linked to other articles. In particular: pullback; may not exist Is the above link it? It looks totally different but there may be an isomorphism there if only for looking. You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding these links. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{MissingLinks}} from the code. |