Frobenius trace (awaiting review)

Let $\rho:\Gal_K\to G(\F_{\ell})$ be a mod-$\ell$ Galois representation. The Frobenius trace of a prime $\frak{p}$ of $K$ at which $\rho$ is unramified is the trace of $\rho(\text{Frob}_{\frak{p}})$.

Note that unramified primes $\frak{p}$ of $K$ are, by definition, unramified in the splitting field $L/K$ of $\rho$, so the Frobenius automorphism $\text{Frob}_{\frak{p}}$ is well-defined up to conjugacy in $\Gal(L/K)$, and hence the trace of $\rho(\text{Frob}_{\frak{p}})$ is well-defined.