Published online by Cambridge University Press: 20 November 2018
Let A be a matrix of finite order n and finite degree d, whose characteristic roots are certain nth roots of unity a1, a2…, ad. We wish to prove a congruence (6) between the traces (tr) of certain powers of A, which is suggested by two somewhat simpler congruences (1) and (3). First, if tr (A) is a rational integer, it is easy to establish the familiar congruence
even though tr(Ap) may not itself be rational.
1 I am indebted to Professor R. Brauer for some suggestions for shortening my original proof.