Suppose $F$ is a field with characteristic $p$, a prime number. Prove that $F$ contains a subring identical to $Z_p$.
Are identical subrings the same? There is no mention of this in the text. So do I only have to prove that $Z_p$ is a subring of the defined field?
Then if $x,y$ are elements of $F$, then $(x+y)$ is an element of $F$. If $(x+y) < p$, then its also an element of $Z_p$. If $(x+y)=mp$, where $m$ is any natural number, then $(x+y)=0$ and is still closed under addition in $Z_p$, but couldn't $(x+y)>p$, and thus it wouldn't be closed in $Z_p$ or am I conceptualizing this wrong some how (ring theory is a really new concept).