Dejemos que FF sea un campo finito de orden pp , donde pp es primo. Para cualquier n×nn×n matriz AA que es invertible sobre FF entonces parece que existen enteros kk tal que Ak=IAk=I . Mi pregunta es simplemente cuál es el valor mínimo de kk (en función de nn y pp ), que llamaré kn,pkn,p de tal manera que esta relación se mantiene para todas las opciones de AA .
Demostrar que ese número entero existe es relativamente sencillo. Por supuesto, existe un BB tal que AB=IAB=I . Además, hay precisamente γn(p)=(pn−1)(pn−p)…(pn−pn−1)γn(p)=(pn−1)(pn−p)…(pn−pn−1) matrices que satisfacen los requisitos de AA . Como las matrices invertibles forman un grupo, esto implica que existen enteros distintos aa y bb entre 11 y γn(p)+1γn(p)+1 tal que Aa=AbAa=Ab y por lo tanto B=Aa−b−1=Ak−1B=Aa−b−1=Ak−1 . Esto implica que kn,p≤γn(p)kn,p≤γn(p) . Además, como el orden del grupo de matrices invertibles sobre FF es γn(p)γn(p) y los poderes de AA forman un subgrupo de este grupo, el teorema de Lagrange implica que kn,pkn,p debe dividir γn(p)γn(p) . Así que mi pregunta es si kn,p=γn(p)kn,p=γn(p) o si puedes hacerlo mejor.
Esto sería esencialmente un equivalente al pequeño teorema de Fermat para las matrices, pero al buscar en dicha literatura sólo he podido encontrar relaciones de trazado, por lo que si esto es bien conocido, o si mi razonamiento es erróneo, agradecería que me indicaran la literatura pertinente (o mi error).
2 votos
¿Quieres AkAk para ser AA o II ¿Mod p? El título dice AA pero el texto de la pregunta dice II que es más natural. (Las preguntas son equivalentes, con respuestas que difieren en 11 .)
0 votos
Tenía la intención de preguntar lo primero, pero al escribir la pregunta me di cuenta de que era más limpio preguntar lo segundo ya que habría menos -1s flotando, y desafortunadamente olvidé actualizar el título.