0
$\begingroup$

Anyone know how to prove that if $R$ be a ring with identity with $|R|=p$, $p$ prime then $R$ is a field and that $R\cong \mathbb{Z}_p$ ?

  • 2
    **Hint** Consider the image of $\,\mathbb Z\,$ in $R$, i.e. the *characteristic* subring.2012-06-19
  • 0
    I applied a permutation on the title so it would make more sense (methinks).2012-06-19
  • 0
    @Asaf: An unfortunately consequence of the fact that language is not commutative...2012-06-19
  • 0
    Prove that for any ring, the elements of the form $1+1+\dots +1$ form a subring subring of $R$, isomorphic to a $\mathbb{Z}_n$. Since the order of a subring must divide the order of the ring, we know that this ring is in fact the whole ring $R$.2012-06-19
  • 0
    Lieven and as it follows that R is a field?2012-06-19
  • 0
    @Andres: Because you are proving that $R$ is isomorphic as a ring to $\mathbb{Z}_p$, and $\mathbb{Z}_p$ is a field. Are you confused about why if $R$ is isomorphic to a field then it's a field?2012-06-19

1 Answers 1