For a prime , a diagonal matrix with two distinct nonzero eigenvalues exists. The same common-eigenspace argument makes the normalizer of a diagonal subgroup of GL2 precisely the monomial matrices. There are choices of nonzero entries for each of two permutation patterns, giving
At , however, the invertible diagonal subgroup is trivial. Every invertible matrix normalizes it, so
The first factor chooses a nonzero first column and the second chooses a column outside its one-dimensional span. The exceptional answer is necessary because the printed question permits every prime.
The coordinate axes are exactly the simultaneous eigenspaces of all invertible diagonal matrices in . A matrix normalizing must permute these common eigenspaces: if , then is again a scalar multiple of . Thus a normalizer element has exactly one nonzero entry in each row and column, a monomial matrix. In dimension two it is either diagonal or diagonal times . Conversely swaps the diagonal entries and normalizes . Therefore
This is the normalizer of a diagonal subgroup of GL2; the quotient records the permutation of the two axes.