MHB Polynomials and Polynomial Functions in I_m = Z/mZ

Click For Summary
SUMMARY

The discussion centers on the relationship between polynomial functions and finite rings, specifically $$\mathbb{I}_m = \mathbb{Z}/ m \mathbb{Z}$$ as referenced in Joseph J. Rotman's "A First Course in Abstract Algebra." It is established that if $$R$$ is a finite ring, then there are only finitely many functions from $$R$$ to itself, which directly implies that there are also only finitely many polynomial functions. The distinction between polynomials and polynomial functions is emphasized, with the conclusion that the finiteness of the set of functions leads to the finiteness of polynomial functions.

PREREQUISITES
  • Understanding of finite rings, specifically $$\mathbb{I}_m = \mathbb{Z}/ m \mathbb{Z}$$
  • Familiarity with the concepts of functions and mappings in abstract algebra
  • Knowledge of polynomial functions and their definitions
  • Basic principles of set theory, particularly regarding finite sets and their subsets
NEXT STEPS
  • Study the properties of finite rings in abstract algebra
  • Learn about the distinction between polynomial functions and general functions
  • Explore the implications of function finiteness in algebraic structures
  • Investigate formal proofs regarding the finiteness of polynomial functions in finite rings
USEFUL FOR

This discussion is beneficial for students and educators in abstract algebra, particularly those studying polynomial functions and finite rings. It is also relevant for mathematicians interested in the foundational aspects of algebraic structures.

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.
 
I am studying the mathematical formalism behind non-commutative geometry approach to quantum gravity. I was reading about Hopf algebras and their Drinfeld twist with a specific example of the Moyal-Weyl twist defined as F=exp(-iλ/2θ^(μν)∂_μ⊗∂_ν) where λ is a constant parametar and θ antisymmetric constant tensor. {∂_μ} is the basis of the tangent vector space over the underlying spacetime Now, from my understanding the enveloping algebra which appears in the definition of the Hopf algebra...

Similar threads

  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 8 ·
Replies
8
Views
3K
  • · 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