Sí.
Sin embargo, hay que tener en cuenta que en general hay muchos $\tau$ que funcionan. Has encontrado uno; aquí hay otro: $$\tau= (1,8,5,2,9,4,6,7,3).$$ Sí, es cierto, $$\tau\alpha\tau^{-1} = (\tau(1)\tau(2))(\tau(7)\tau(8))(\tau(3)\tau(4)\tau(5)) = (8,9)(3,5)(1,6,2)=\beta.$$
Teorema. Dos permutaciones $\alpha$ y $\beta$ son conjugados en $S_n$ si y sólo si tienen la misma estructura de ciclo.
La prueba proporciona un algoritmo para encontrar un $\tau$ que funciona.
Si $\alpha$ y $\beta$ son conjugados, entonces tienen la misma estructura de ciclo. Esto, porque el conjugado de un $n$ -ciclo es un $n$ -y el conjugado de un producto es un producto de conjugados.
A la inversa, supongamos que $\alpha$ y $\beta$ tienen la misma estructura de ciclo. Digamos que $$\alpha = \sigma_1\cdots\sigma_m,\quad \beta=\sigma'_1\cdots \sigma'_m$$ donde $\sigma_i$ y $\sigma'_i$ son $n_i$ -ciclos. Escribe $\alpha$ y $\beta$ una encima de la otra, de manera que los ciclos de la misma longitud coincidan; interprete esto como una $2$ -línea de descripción de una permutación, completándola con un elemento de $\sigma_n$ de la manera que quieras.
Por ejemplo, con las dos permutaciones que tienes arriba, $\alpha=(1,2)(7,8)(3,4,5)$ , $\beta=(3,5)(8,9)(1,6,2)$ tenemos: $$\left(\begin{array}{ccccccccc} 1 & 2 & 7 & 8 & 3 & 4 & 5 & & &\\ 3 & 5 & 8 & 9 & 1 & 6 & 2 & & & \end{array}\right)$$ Obsérvese que falta la línea superior $6$ y $9$ y el resultado final es que falta $4$ y $7$ ; podemos añadirlos de la forma que queramos; por ejemplo, $$\left(\begin{array}{cccccccc} 1 & 2 & 7 & 8 & 3 & 4 & 5 &6 & 9\\ 3 & 5 & 8 & 9 & 1 & 6 & 2 & 7 & 4 \end{array}\right)$$ Ahora viendo esto como una descripción de 2 líneas de una permutación, obtenemos $$\tau = (1,3)(2,5)(7,8,9,4,6)$$ como una posibilidad. Si ordena los ciclos de forma diferente (siempre que coincidan), o reordena los términos dentro del ciclo, puede obtener un $\tau$ . Por ejemplo, escribir en lugar de $$\begin{align*} \alpha &= (12)(78)(453)\\ \beta &= (89)(53)(162) \end{align*}$$ obtenemos $$\left(\begin{array}{ccccccccc} 1 & 2 & 7 & 8 & 4 & 5 & 3 & &\\ 8 & 9 & 5 & 3 & 1 & 6 & 2 & & \end{array}\right)$$ con $6$ y $9$ en la línea superior que va a $4$ y $7$ de alguna manera; eligiendo una al azar, $$\left(\begin{array}{ccccccccc} 1 & 2 & 7 & 8 & 4 & 5 & 3 & 6 & 9 \\ 8 & 9 & 5 & 3 & 1 & 6 & 2 & 4 & 7 \end{array}\right)$$ obtenemos $\tau = (1,8,3,2,9,7,5,6,4)$ .
Para saber si las permutaciones son conjugadas en $A_n$ sin embargo, es un poco más complicado: es necesario que tengan la misma estructura de ciclo, pero en general no es suficiente. Por ejemplo, en $S_3$ las permutaciones $(123)$ y $(132)$ son conjugados (por ejemplo, conjugados mediante $(23)$ ); pero en $A_3$ no lo son (ya que $A_3$ es abeliano, elementos diferentes no pueden ser conjugados).