Author |
Topic: A Characterization of finite fields? (Read 655 times) |
|
ecoist
Senior Riddler
Gender: 
Posts: 405
|
 |
A Characterization of finite fields?
« on: Jun 2nd, 2006, 9:25pm » |
 Quote  Modify
|
Let R be a ring with the property that every function f from R into R is a polynomial of the form f(x)=a0+a1x1+...+anxn, where n is some nonnegative integer and the ai, for i=0,...,n, are elements of R. When n=0, we mean the constant function f(x)=a0. Must R be a finite field?
|
|
 IP Logged |
|
|
|
Eigenray
wu::riddles Moderator
Uberpuzzler
Gender:
Posts: 1948
|
|
Re: A Characterization of finite fields?
« Reply #1 on: Jun 3rd, 2006, 3:56pm » |
Quote Modify
|
Yep yep.
| hidden: | First off, there are |R||R| > |R| functions from R->R, and only |R|+|R|2+... = |R| + aleph0 polynomials, so R is finite.
Second, let x be any non-zero element of R, and let f be a function with f(0)=1, f(x)=0. Then if f is a polynomial, we have
1 = -(a1+a2x+...+anxn-1)x,
so every non-zero element has a left inverse. It follows every element has a right inverse: if yx=1, and zy=1, then x = zyx = z, so y is also the right inverse of x. So R is a division ring.
By Wedderburn's theorem, R is a field. |
|
|
IP Logged |
|
|
|
ecoist
Senior Riddler
Gender:
Posts: 405
|
|
Re: A Characterization of finite fields?
« Reply #2 on: Jun 3rd, 2006, 4:13pm » |
Quote Modify
|
Nice. But why does R have a multiplicative identity?
|
|
IP Logged |
|
|
|
ecoist
Senior Riddler
Gender:
Posts: 405
|
|
Re: A Characterization of finite fields?
« Reply #3 on: Jun 11th, 2006, 7:49pm » |
Quote Modify
|
Hey, Eigenray! Are you aware that your proof is not complete? After 8 days I found a tortured proof that R has a multiplicative identity (which you assumed in your proof), but I'm sure you have a better solution.
|
|
IP Logged |
|
|
|
Eigenray
wu::riddles Moderator
Uberpuzzler
Gender:
Posts: 1948
|
|
Re: A Characterization of finite fields?
« Reply #4 on: Jun 12th, 2006, 9:25am » |
Quote Modify
|
on Jun 11th, 2006, 7:49pm, ecoist wrote:| I'm sure you have a better solution. |
|
R has a multiplicative identity because that's part of my definition of ring.  (At least I didn't assume it was commutative!) Sorry to disappoint you.
|
|
IP Logged |
|
|
|
ecoist
Senior Riddler
Gender:
Posts: 405
|
|
Re: A Characterization of finite fields?
« Reply #5 on: Jun 12th, 2006, 2:40pm » |
Quote Modify
|
That is disappointing. I'm still recovering from your stunning proof for the Classroom Dilemma problem. I'd hate to have to complete your lovely proof of this problem with my pitiful argument.
|
|
IP Logged |
|
|
|
Michael Dagg
Senior Riddler
Gender:
Posts: 500
|
|
Re: A Characterization of finite fields?
« Reply #6 on: Jun 12th, 2006, 3:11pm » |
Quote Modify
|
on Jun 12th, 2006, 2:40pm, ecoist wrote:| ...your stunning proof for the Classroom Dilemma problem. |
|
I second that!
|
|
IP Logged |
Regards,
Michael Dagg
|
|
|
ecoist
Senior Riddler
Gender:
Posts: 405
|
|
Re: A Characterization of finite fields?
« Reply #7 on: Jun 20th, 2006, 6:55pm » |
Quote Modify
|
Ok, here is my proof R has a multiplicative identity.
Let R* be the set of nonzero elements of R. Using Eigenray's trick, if r and s are any elements of R* then there exists an element x in R* such that xr=s. Hence right multiplication by r is a mapping from R* onto R*, whence the mapping is a permutation of R*, and also of R since 0r=0. Since R* is finite, some finite power of this mapping is the identity map, whence e=rk is a right identity for R, for some positive integer k.
(At this point I had hoped that this was enough to show that R* is a group, but the following semigroup is a counterexample.
. | a b c
---------
a | a a a
b | b b b
c | c c c
So I have more work to do.)
To show that e is also a left identity, and thus an identity for R, let r be any element of R* and form er-r. Then
e(er-r)=eer-er=er-er=0.
If er-r is not 0, then, since 0(er-r)=e(er-r)=0 and e is not 0, it follows that right multiplication by er-r is not 1-1, a contradiction. Hence er=r and e is an identity for R. The gap in Eigenray's proof is now filled.
|
|
IP Logged |
|
|
|
|
RIDDLES SITE
WRITE MATH!
Home 
Help 
Search 
Members 
Login 
Register
Reply
Notify of replies
Send Topic
Print