Proof that ${2p\choose p}\equiv 2\pmod p$

The easy way: in characteristic $p$, we have

$$(x+y)^{2p} = (x^p+y^p)^2= x^{2p} + 2x^py^p + y^{2p}.$$

Thus ${2p \choose p} \equiv 2 \mod p$.


Incidentally, I just heard about this today. More can be said, in fact $p^2\mid \binom{2p}p-2$. Consider the set $A=\{x,y\}\times \Bbb Z_p$, and the collection $\mathcal C$ of subsets of $A$ of cardinality $p$, which you can think about boards of size $2\times p$ with entries in $\Bbb Z_p$ such that exactly $p$ entries are checked and $p$ are not, where we check the entry $(x,n)$ if $(x,n)\in S\subseteq A$.

We can make $\Bbb Z_p\times \Bbb Z_p$ act on the set $A$ as follows: if $(a,b)\in\Bbb Z$, we cyclically permute the first row by $a$ places and the second row by $b$ places. Concretely, if $S$ is a collection of $p$ tuples of the form $(x,n),(y,m)$ then $(a,b)S=$ is the collection of tuples of the form $(x,n+a),(y,m+b)$. One can see that if $C\in \mathcal C$ is not the board obtained by checking all in the first row and nothing in the last, or checking all in the second row and nothing in the last, ${\rm stab}\, a=1$. Thus, if we remove these two elements from $\mathcal C$, which has cardinality $\binom{2p}p$, we get a set of size $\binom {2p}p-2$ which by the orbit-stabilizer theorem is partitioned into sets of size $p^2=|\Bbb Z_p\times \Bbb Z_p|$, which proves the claim.


Another "easy way" by Lucas' theorem:

$${2p \choose p} \equiv {2 \choose 1} \equiv 2 \pmod p$$

I'll elaborate since you indicate that you are new to number theory. Lucas' theorem says the following: Let $m$ and $n$ be numbers expressed in base $p$, and let $m_i$ and $n_i$ correspond to the digit in the $i$th place of $m$ and $n$, respectively. Then ${m \choose n} = \displaystyle \prod_i^n {m_i \choose n_i} \pmod p$

In this case, in base $p$, $2p = 20_p$ and $p = 10_p$. Therefore,

$${2p \choose p} \equiv {2 \choose 1}{0 \choose 0} \equiv 2 \pmod p$$