Dejemos que $a,b\in G$ sean elementos de un grupo finito $G$ . Sabemos que $\operatorname{ord}(a)=m$ y $\operatorname{ord}(b)=n$ . En dependencia de $m$ y $n$ cuáles son los posibles valores de $\operatorname{ord}(ab)$ ?
Así que estrictamente hablando estoy buscando una función $f:\mathbb N^2\to\mathcal{P}(\mathbb N)$ .
Tenga en cuenta que la restricción de $G$ ser finito no es un debilitamiento del problema. En el caso $n,m>1$ siempre podemos añadir $\infty$ al resultado de $f(m,n)$ .