Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Commutative rings with identity

  1. Oct 27, 2007 #1
    I have a trouble proving that a finate (nonzero) commutative ring with no zero divisors must have an identity with respect to multiplication. Could anybody please give me some hints?
    I do know all the definitions (of ring, commutative ring, zero divisors, identity) but have no idea how to go from there.
  2. jcsd
  3. Oct 27, 2007 #2


    User Avatar
    Science Advisor
    Homework Helper

    Take some nonzero element a in your ring, and look at its various powers: a, a^2, a^3, .... Now use the fact that the ring has finitely many elements.

    Maybe this is not the easiest approach. It might be cleaner if you define a map x->ax on your ring. This is an injection, and hence a surjection (by finiteness). In particular, a=ax', for some x in the ring. Claim: x' is the multiplicative identity.
    Last edited: Oct 27, 2007
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook