My Math Forum  

Go Back   My Math Forum > College Math Forum > Abstract Algebra

Abstract Algebra Abstract Algebra Math Forum

LinkBack Thread Tools Display Modes
April 29th, 2017, 05:02 PM   #1
Joined: Apr 2017
From: Europe

Posts: 13
Thanks: 1

One theorem for rings

Let $\displaystyle R$ be finite, commutative ring with $\displaystyle 1=/=0$. Statements below are equivalent:
a) $\displaystyle a \in U(R)$, where $\displaystyle U(R)$ is a set of invertible elements of $\displaystyle R$
b) $\displaystyle a$ is not a zero divisor
c) $\displaystyle a^m=1$, where $\displaystyle m$ is the number of elements that are not zero divisors in $\displaystyle R$

My task is to discuss this theorem in terms of assumptions that are made. To be more precisive - I need to tell which of them are essential for the theorem to work and why + which ones can be omitted and then yet at the same time theorem will work the same way. In this case I also have to give reasons.

I came up with one idea. Assumption about $\displaystyle 1=/=0$ is not necessary, because if $\displaystyle 1=0$, then we deal with zero ring, which is finite and commutative, and all statements mentioned in theorem actually happen, because $\displaystyle 0$ is invertible, $\displaystyle 0$ is not a zero divisor, futhermore - $\displaystyle 0^0=1$, but we need to remember that $\displaystyle 1=0$.
I also think that assumption about being finite can be loosened up, but I have no really satisfying explanation for that.
I have no thoughts on commutative property, but something tells me it's the one that is the most essential in this. I haven't seen using this property in a proof, so I can't really tell.

Any ideas?
IAmABread is offline  

  My Math Forum > College Math Forum > Abstract Algebra

rings, theorem

Thread Tools
Display Modes

Similar Threads
Thread Thread Starter Forum Replies Last Post
Rings ewilfredo91 Abstract Algebra 5 September 28th, 2014 01:02 PM
Rings. Z4[x] math interest22 Abstract Algebra 5 February 5th, 2014 07:30 AM
Rings alejandrofigueroa Abstract Algebra 1 November 17th, 2013 06:26 PM
Rings? remeday86 Abstract Algebra 4 June 28th, 2010 07:55 PM
Rings bjh5138 Abstract Algebra 0 December 4th, 2007 04:22 PM

Copyright © 2017 My Math Forum. All rights reserved.