Interpretamos que la pregunta se refiere al número de pares desordenados de divisores (distintos) de $n$ que son relativamente primos. Para mí es más fácil pensar en términos de pares ordenados.
Así que estamos produciendo un par ordenado $(x,y)$ de divisores relativamente primos de $n$ . Examinar uno tras otro los primos $p_i$ . En cada prime tenemos tres tipos de opciones: (i) asignar $p_i$ à $x$ (ii) asignarlo a $y$ (iii) no asignarlo a ninguno de los dos. Si asignamos $p_i$ à $x$ se puede hacer en $a_i$ formas, para la potencia de $p_i$ está a nuestra disposición. Lo mismo ocurre con $y$ . Y no podemos asignar a ninguno de los dos en $1$ para un total de $2a_i+1$ . Por tanto, el número total de pares ordenados es $P$ donde $$P=\prod_1^k(2a_i+1).$$ Esto incluye el par ordenado $(1,1)$ . Ahora, para pares no ordenados de distintos divisores relativamente primos, hay $\frac{P-1}{2}$ posibilidades.
Observación: Si queremos que el producto de los dos factores sea $n$ el recuento resulta mucho más sencillo. Para los pares ordenados, elegimos un subconjunto del conjunto de los primos, y asignar $p_i^{a_i}$ en el subconjunto elegido a $x$ y asignar el resto a $y$ . Existen $2^k$ maneras de elegir $x$ y luego $y$ está determinada. Así que hay $2^k$ pares ordenados, y para $n\gt 1$ hay $2^{k-1}$ pares desordenados.