Me pegó mucho en esta pregunta!
Necesito describir finito de orden entero de matrices sin 1 autovalores $\mathbb C$. Necesito descripción en términos de clases de matrices equivalentes(que existen en la complejidad de la matriz C tal que $C^{-1}AC = B$)
Llegué a este resultado. Sea a la matriz de enteros de orden $m$. Primero de todo, Una puede ser diagonalized así es $diag(\lambda_1, ..., \lambda_n)$ en alguna base. Si $\lambda$ es su autovalor, a continuación,$\lambda^{m} = 1$.
El polinomio mínimo $p$ divide $x^m - 1$ y pertenece a $\mathbb Z[x]$ porque $A \in Mat(\mathbb Z)$. En realidad $p(\lambda_i) = 0$. Por lo que este debe dar algunas limitaciones en $(\lambda_1, ..., \lambda_n)$. Necesito conseguir todos los casos posibles para $(\lambda_1, ..., \lambda_n)$. Mi hipótesis es "$(\lambda_1, ..., \lambda_n)$ se divide en grupos, donde cada grupo es todas las raíces de $\frac{x^k - 1}{x-1}$".
Edición 1. Yo estaba muy impreciso con la formulación de hipótesis. Realmente quiero decir que $(\lambda_1, ..., \lambda_n)$ se divide en grupos, donde cada grupo es todas las raíces de algunos polinomio irreducible en la descomposición de $\frac{x^k - 1}{x-1}$
Edición 2. Lo siento si he metido, voy a tratar de dar mucho más legible descripción de mi pregunta. Estoy haciendo una investigación y encontró que para algunos del grupo de todos los automorpmism están en correspondencia 1-1 con las clases de similar entero matrices de orden finito sin 1-autovalores. Así que lo que quiero es que de alguna manera enumerar esta clases. La que divide el problema en dos partes:
1) Demostrar que el conjunto de clases(que he descrito anteriormente) es finito
2) Dar una constructivo para enumerar esta clases
La esperanza ahora mi pregunta es más legible. Cualquier ayuda es muy apreciada.
