Definition:Operation Induced by Injection
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
You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by resolving the issues.
To discuss this proof in more detail, feel free to use the talk page.
If you are able to fix this page, then when you have done so you can remove this instance of {{Questionable}} from the code.
If you would welcome a second opinion as to whether your correction is correct, add a call to {{Proofread}} the page (see the proofread template for usage).
Thus $\circ_f$ may be called the pullback of $\circ$ along $f$; it may be denoted by $f^* \circ$.
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 in more detail, feel free to use the talk page.
Once you have done so, you can remove this instance of {{MissingLinks}} from the code.