Prove that $x^p\equiv 1$ (mod $p$) has only one solution. I know that said solution is $x\equiv 1$ (mod $p$). However, I'm having difficulty proving this result. 
So far, I've tried $x^p\equiv 1$ (mod $p$) $ \Rightarrow $ $p\mid (x^p-1) \Rightarrow p\mid(x-1)(x^{p-1} + x^{p-2} + \cdots + x + 1)$. 
From here, it's clear that the objective is to somehow show that $p\mid(x^{p-1} + x^{p-2} + \cdots + x + 1)$ also yields $x\equiv 1$ (mod $p$), but I've been unsuccessful in showing this after $(x^{p-1} + x^{p-2} + \cdots + x)\equiv-1$ (mod $p$).

Using Frobenius isomorphism you receive that $x^p-1 = (x-1)^p $. 
$\mathbb Z_p $ is a field, $\implies \mathbb Z_p [x]$ is a PID, therefore an integral domain, from which you can conclude that $(x-1)^p = 0 \iff (x-1)=0 \iff x = 1$
