Dejemos que $H$ y $K$ conjuntos, $f:H\to H$ un mapa y $g:H\to K$ una biyección.
Entonces $g$ induce un mapa $f^g:K\to K$ por $f^g:=g\circ f\circ g^{-1}$ . ¿Hay un nombre para el mapa $f\to f^g$ ?
En el caso especial de que $H$ es un grupo, $K=H$ y ambos $f$ y $g$ son automorfismos de $H$ entonces $f\to f^g$ es la conjugación de $f$ por $g$ . ¿Pero qué es en general? ¿Mapa inducido? ¿Pushforward? ¿Levantamiento?
1 votos
Yo lo seguiría llamando conjugación.