Esta es una buena pregunta. Como habrás deducido de los comentarios, a falta de más información sobre el grupo, la respuesta es no, lo único que puedes hacer es probar sucesivamente con poderes superiores.
Pero en la mayoría de las situaciones que se dan en la práctica, se dispone de información adicional de un tipo u otro. Por ejemplo, si tu elemento es una matriz sobre un campo finito, o incluso sobre el número racional o un campo numérico, entonces el conjunto de todos los posibles órdenes de elementos es conocido (al menos en teoría).
En estas situaciones, se suele tener un límite superior multiplicativo para el orden. En otras palabras, se conoce un número entero (posiblemente muy grande) $N$ tal que el orden del elemento $g$ divide $N$ . A continuación, puede proceder de la siguiente manera
Para todos los primos $p$ dividiendo $N$ , computa $g^{N/p}$ . Si $g^{N/p} = 1$ para algunos $p$ , entonces sustituye $N$ por $N/p$ y empezar de nuevo - tenga en cuenta que habrá un máximo de $\log n$ reducciones de este tipo. En caso contrario, si $g^{N/p} \ne 1$ para todos $p$ , entonces el orden de $g$ debe ser $N$ .
Tenga en cuenta también que el cálculo de $g^N$ se puede lograr en $O(\log n)$ operaciones de grupo, escribiendo $N$ en binario $N = 2^{n_1} + \cdots + 2^{n_k}$ y luego se puede calcular $g^N$ como $g^{2^{n_1}} \cdots g^{2^{n_k}}$ .
0 votos
Para los grupos multiplicativos de clases de residuos existe la función Carmichael con la propiedad de que el orden es un factor del valor de la función Carmichael. Una versión ampliada del teorema de Lagrange. Pero, realmente, $|\Bbb{Z}_{20}^*|$ tiene ocho elementos, por lo que se tarda unos segundos con lápiz y bolígrafo en recorrer las potencias. Si el orden posible fuera un número de 30 dígitos, entonces tendrías una razón para quejarte :-)
0 votos
En general, para los grupos abelianos finitos, su teoría de la estructura ofrece información útil. Pero es un poco difícil calibrar el tipo de información que se busca.
0 votos
@JyrkiLahtonen Bueno, sigue siendo interesante si es posible.
0 votos
Hay trucos que se basan en algunas partes de la teoría de la estructura de un grupo concreto. Por ejemplo, se puede demostrar que si $p$ es un primo, entonces $\Bbb{Z}_p^*$ es cíclico de orden $p-1$ . Entonces el juego depende de qué tipo de factores $p-1$ tiene. Por ejemplo, si $p=107$ entonces $p-1=2\cdot53$ . Así, el teorema de Lagrange nos dice que el orden de un elemento de $\Bbb{Z}_{107}^*$ es $1,2,53$ o $106$ . Las dos primeras alternativas son fáciles de comprobar, así que el verdadero juego consiste en decidir entre las dos alternativas mayores.
0 votos
(cont.) Aquí todos los cuadrados no triviales tienen orden $53$ y los no cuadrados (salvo $-1$ ) tienen orden $106$ . Un algoritmo para decidir si una clase de residuo es un cuadrado se introduce en la teoría de números en el contexto de la ley de reciprocidad cuadrática.
0 votos
Pero ya ves que todo esto es algo especial para los grupos de este tipo. Cuando se estudia el álgebra abstracta se va acumulando una bolsa de trucos que se pueden utilizar aquí. Pero para un "grupo de caja negra" no existen tales trucos.
0 votos
@JyrkiLahtonen Muchas gracias por la ayuda. El álgebra abstracta es nueva para mí, pero ahora puedo entender por qué se llama abstracta. De todas formas, parece un buen tema para estudiar, ya que parece basarse en la lógica más que todo lo que he estudiado hasta ahora. Deberías escribir una respuesta explicando que no es posible encontrar una forma general, para que pueda aceptar
1 votos
Ver también es.m.wikipedia.org/wiki/Detección_de_ciclo .
1 votos
Y Tesis doctoral de Sutherland de 2007: Ordenar los cálculos en grupos genéricos.