|Oct27-07, 04:40 PM||#1|
Commutative rings with identity
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.
|Oct27-07, 04:54 PM||#2|
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.
|Similar Threads for: Commutative rings with identity|
|non-commutative geometry||Academic Guidance||4|
|commutative matrices||Precalculus Mathematics Homework||9|
|Boolean rings with identity can only take 2 elements?||Calculus & Beyond Homework||8|
|[Identity relations] Need help at some odd identity relation problem||Calculus & Beyond Homework||1|
|Commutative rings aren't physical spaces (This Week's Finds 205)||General Physics||6|