A characterisation of algebraic numbers. (Q2589571)

Es wird die Frage behandelt, unter welchen Bedingungen die vorgegebene rationale Matrix \(A\) Darstellungsmatrix einer algebraischen Zahl in einer regulären Darstellung eines algebraischen Zahlkörpers ist. Ist das charakteristische Polynom \(\varDelta = |A- \lambda E|\) irreduzibel (über dem \(k(1)\)), so ist \(A\) Darstellungsmatrix der genannten Art, ist \(\varDelta\) reduzibel, so hat \(A\) die gewünschte Eigenschaft dann und nur dann, wenn \(\varDelta = f^m(\lambda )\) \(m\)-te Potenz eines irreduziblen Polynoms \(f(\lambda)\) und \(A\) äquivalent der direkten Summe von \(m\) Matrizen mit dem charakteristischen Polynom \(f(\lambda)\) ist. Ist ein hyperkomplexes System \(H\) über \(k (1)\) mit Einselement vorgelegt, und ist das charakteristische Polynom einer Matrix einer regulären Darstellung von \(H\) irreduzibel, so ist \(H\) einem algebraischen Zahlkörper isomorph. Ist ein hyperkomplexes System \(H\) keinem algebraischen Zahlkörper isomorph, so ist das charakteristische Polynom des allgemeinen Elementes von \(H\) reduzibel. (Bei den Quaternionen z. B. \([(\lambda - r_0)^2 + r_1^2 + r_2^2 + r_3^2]^2\), wenn \(r_0 + r_1i_1 + r_2i_2 + r_3i_3\) das allgemeine Element.)