(Estoy asumiendo $\Bbb Z_p$ significa que los enteros modulo $p$ más que el $p$-ádico enteros)
Primero vamos a hacer algo simple recuento.
- La cardinalidad de a$M_{2\times 2}(\Bbb Z_p)$$p^4$.
- La cardinalidad de a$GL_{2\times 2}(\Bbb Z_p)$$(p^2-1)(p^2-p)=p(p+1)(p-1)^2$.
- El centro de $GL_{2\times 2}(\Bbb Z_p)$ tiene cardinalidad $p-1$.
- La cardinalidad de la diagonal de las matrices de $(p-1)^2$.
Ahora vamos a contar el número de diagonalizable matrices. Una matriz de $A$ es diagonalizable si existe una $B\in GL_{2\times 2}(\Bbb Z_p)$ tal que $BAB^{-1}$ es diagonal. Sería un error decir que el número de matrices es diagonalizable $(p-1)^2\cdot p(p+1)(p-1)^2$ porque podíamos tener dos diferentes invertible matrices $G$ $H$ tal que $GAG^{-1}=HAH^{-1}$. Sin embargo, si tenemos un $G$$H$, con tal de satisfacer no trivial de la relación. Sea necesaria $A(G^{-1}H)=(G^{-1}H)A$. Que es $A$ viajes con $G^{-1}H$. Por lo tanto $G^{-1}H$ es en el centralizador de $A$. Ahora $G^{-1}H$ es en el centralizador de $A$ si y sólo si $G$ $H$ se encuentran en la misma coset de la centralizador de $A$. Y el número de cosets de la centralizador de $A$ $|GL_{2\times 2}(\Bbb Z_p)|/|Z(A)|$ donde $Z(A)$ es el centralizador de $A$.
Otra razón por la que $(p-1)^2\cdot(p+1)(p-1)^2$ que es malo es que no podía ser diagonal de las matrices que son similares. Esto sucede si los autovalores de la diagonal son iguales. Para evitar la doble contabilización, vamos a considerar solamente la diagonal de las matrices cuyos autovalores son débilmente en aumento. Por lo tanto, para encontrar el número de diagonalizable matrices es suficiente para averiguar cómo recuento $|Z(A)|$ para cada matriz $A$, para, a continuación, el número de matrices es diagonalizable
$$\sum_{\substack{D\text{ diagonal}\\\text{increasing}}}\frac{(p^2-1)(p^2-p)}{|Z(D)|}$$
Para los elementos del centro (que son diagonales de las matrices con una sola no-cero escalar ocurren) de computación en el centro es fácil - es la de todo el grupo. Así tenemos que el número de diagonalizable matrices es:
$$p-1+\sum_{\substack{D\text{ diagonal}\\\text{not central}\\\text{increasing}}}\frac{(p^2-1)(p^2-p)}{|Z(D)|}$$
Es decir, queremos calcular $|Z(D)|$ para una matriz de la forma $\left[\begin{smallmatrix}\lambda_1 & 0\\ 0 &\lambda 2\end{smallmatrix}\right]$ $\lambda_1<\lambda_2$ (esto es, hablando libremente. No hay ningún orden real en $\Bbb Z_p$).
Ahora abandonamos la teoría y realmente hacer algo sucios 'cálculo'. Por otra matriz $G\in GL_{2\times 2}(\Bbb Z_p)$ viajes con una matriz si y sólo si $G=\left[\begin{smallmatrix}a &0\\0& b\end{smallmatrix}\right]$$a, b\in \Bbb Z_p^*$.
Hay $(p-1)^2$ tales matrices de una sola matriz $D$. Por lo tanto, nuestra fórmula es ahora:
$$p-1+\sum_{\substack{D\text{ diagonal}\\\text{not central}\\\text{increasing}}}\frac{(p^2-1)(p^2-p)}{(p-1)^2}=p-1+\sum_{\substack{D\text{ diagonal}\\\text{not central}\\\text{increasing}}}p(p+1)$$
Ahora tenemos que calcular el número de diagonales, no central, (estrictamente) creciente matrices (tomamos el cuidado de la central de matrices). Hay $1+\cdots + (p-2)=(p-2)(p-1)/2$ tales matrices. Y así llegamos a
$$p-1+\frac{(p-1)(p-2)}{2}p(p+1)=\frac{p^4}{2}-p^3-\frac{p^2}{2}+2p-1$$
Así que para b) la probabilidad de que una matriz es diagonalizable es
$$1/2-1/p-1/2p^2+2/p^3-1/p^4$$
curiosamente enfoques de probabilidad 1/2 $p\rightarrow\infty$.
Para a) recordar a una matriz del polinomio característico se divide si y sólo si $\Bbb Z_p^2$ tiene una base generalizada de los autovalores de la matriz. Esto es equivalente a una matriz similar a una matriz en forma normal de Jordan. Para un espacio vectorial de dimensión dos, esto es fácil. Puedes rehacer lo que yo hice para la normal de Jordan matrices. Sólo hay que considerar las matrices de la forma $\left[\begin{smallmatrix}\lambda & 1\\0&\lambda\end{smallmatrix}\right]$ además.
O usted puede leer este documento que investiga una forma mucho más general de la cuestión y, de hecho, su problema como un caso sencillo.
El número de matrices similar a una normal de Jordan de la matriz es $$\frac{p^4}{2}+p^3-\frac{p}{2}$$
y la probabilidad de $f_A$ división
$$1/2+1/p-1/2p^3$$
ACTUALIZACIÓN
Como Julian Rosen señaló en los comentarios, hay diagonalizable matrices con $0$ como un valor propio. Mi respuesta sólo se calcula la invertible diagonalizable matrices. Esto le da otro elemento en el 'centro' y $p(p-1)/2$ diagonal, estrictamente creciente, de las matrices.
La actualización de la computación es:
$$p+\frac{p(p-1)}{2}\cdot p(p+1)=\frac{p^4}{2}-\frac{p^2}{2}+p$$
que los rendimientos de la probabilidad
$$\frac{1}{2}-\frac{1}{2p^2}+\frac{1}{p^3}$$
el mismo que Julian Rosen publicado.
El papel que enlaza tomó en cuenta las matrices de $\left[\begin{smallmatrix} 0&0\\0&0\end{smallmatrix}\right]$$\left[\begin{smallmatrix} 0&1\\0&0\end{smallmatrix}\right]$. Así que la computación está siendo la correcta.