A recent post mentioned that (square) matrices were a kind of "universal" representation for fields, in that a matrix A whose characteristic polynomial is p[x] can represent a root of this polynomial in the extension field. The problem is that such a matrix doesn't represent a *single* root of p[x], but simultaneously represents *all* of the roots of p[x]. (Hint: diagonalize the matrix so that the main diagonal consists of the eigenvalues, i.e., all the roots of p[x].) Suppose we have the simplest situation: a symmetric matrix with all distinct real roots. Since the matrix itself represents *all* of these roots simultaneously, it can't participate, e.g., in ordering comparisons with other numbers which may lie in the middle of this set of roots. So there needs to be some way to distinguish exactly which root we're talking about when given the matrix A, before we can realistically utilize this matrix as a representation of one of the real roots of the polynomial. --- In the usual case of real matrices with complex eigenvalues, the coefficients of the polynomial, the entries of the matrix, and the roots themselves are usually more-or-less continuous functions of one another. So if we vary a polynomial coefficient by a little, one or more of the roots will vary in a more-or-less predictable way. If we're going to extend finite fields in a p-adic way, then presumably there will be an analogous "continuity" between the polynomial coefficients and the roots. It is my understanding that all of the fields GF(p^k) with a given prime p and a given positive power k are isomorphic to one another. So does this mean that instead of extending by p^k, one could instead extend first by p^i, and subsequently by p^j, such that i+j=k ? Perhaps one could build (always?) some sort of "tower" of extensions whereby each field is embedded in the next ? Under these conditions, could the polynomial coefficients be "close" to those of the extensions, and the polynomial roots be "close" to those of the extension, where "close" is measured in some p-adic way?