MHB Polynomials and Polynomial Functions in I_m = Z/mZ

Click For Summary
In discussing polynomial functions within the finite ring $$ \mathbb{I}_m = \mathbb{Z}/ m \mathbb{Z} $$, it is emphasized that polynomials and polynomial functions are distinct entities. The key point is that if the ring $$ R $$ is finite, then there are only finitely many functions from $$ R $$ to itself. Consequently, this implies that there are also finitely many polynomial functions, as polynomial functions are a subset of all functions. A rigorous demonstration can be established by noting that any finite set has a finite number of subsets, including the set of all functions mapping $$ R $$ to itself. Thus, the conclusion follows that the finiteness of functions directly leads to the finiteness of polynomial functions.
Math Amateur
Gold Member
MHB
Messages
3,920
Reaction score
48
I am reading Joseph J.Rotman's book, A First Course in Abstract Algebra.

I am currently focused on Section 3. Polynomials

I need help with the a statement of Rotman's concerning the polynomial functions of a finite ring such as $$ \mathbb{I}_m = \mathbb{Z}/ m \mathbb{Z} $$

The relevant section of Rotman's text reads as follows:https://www.physicsforums.com/attachments/4530In the above text we read the following:

" ... ... The reader should realize that polynomials and polynomial functions are distinct objects. For example, if $$R$$ is a finite ring (e.g. $$\mathbb{I}_m$$), then there are only finitely many functions from $$R$$ to itself; a fortiori, there are only finitely many polynomial functions. ... ... "

My question is as follows:

How, exactly (indeed, rigorously and formally) can we demonstrate that only finitely many functions from $$R$$ to itself implies that there are only finitely many polynomial functions ... ... indeed, how would we prove this statement ...Hope someone can help ... ...

Peter
 
Physics news on Phys.org
Peter said:
I am reading Joseph J.Rotman's book, A First Course in Abstract Algebra.

I am currently focused on Section 3. Polynomials

I need help with the a statement of Rotman's concerning the polynomial functions of a finite ring such as $$ \mathbb{I}_m = \mathbb{Z}/ m \mathbb{Z} $$

The relevant section of Rotman's text reads as follows:In the above text we read the following:

" ... ... The reader should realize that polynomials and polynomial functions are distinct objects. For example, if $$R$$ is a finite ring (e.g. $$\mathbb{I}_m$$), then there are only finitely many functions from $$R$$ to itself; a fortiori, there are only finitely many polynomial functions. ... ... "

My question is as follows:

How, exactly (indeed, rigorously and formally) can we demonstrate that only finitely many functions from $$R$$ to itself implies that there are only finitely many polynomial functions ... ... indeed, how would we prove this statement ...Hope someone can help ... ...

Peter

If a set i finite then each of its subsets is also finite. Here we have the set of all the functions mapping $R$ into $R$ finite if $R$ is finite. A polynomial function is, in particular, a function.
 
Thread 'How to define a vector field?'
Hello! In one book I saw that function ##V## of 3 variables ##V_x, V_y, V_z## (vector field in 3D) can be decomposed in a Taylor series without higher-order terms (partial derivative of second power and higher) at point ##(0,0,0)## such way: I think so: higher-order terms can be neglected because partial derivative of second power and higher are equal to 0. Is this true? And how to define vector field correctly for this case? (In the book I found nothing and my attempt was wrong...

Similar threads

  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
11
Views
3K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 9 ·
Replies
9
Views
2K
Replies
1
Views
1K
  • · Replies 5 ·
Replies
5
Views
3K