Homepage › Solution manuals › Ivan Niven › An Introduction to the Theory of Numbers › Exercise 2.7.7 (Theorem 2.28 is false for composite moduli)
Exercise 2.7.7 (Theorem 2.28 is false for composite moduli)
Show that if the prime number in Theorem 2.28 is replaced by a composite number then the statement becomes false.
Answers
Proof. We can translate Theorem 2.28: every function to is a polynomial function of degree at most .
We show here that this statement is false is is replaced by a composite number (and give an alternative proof of Theorem 2.28 if is a prime number.
Let be the ring , and write the additive group of formal polynomials of degree at most .
Consider now the evaluation map from to the additive group of all functions :
which maps a formal polynomial of degree less that to the corresponding polynomial function . Then is a group homomorphism: let .
For all ,
thus
Note that : there are as many functions from to as formal polynomials with coefficients in of degree at most .
We show that is injective (one-to-one) if and only if is a prime.
-
Suppose that is a prime number. Then if for all . Then for some polynomial (by Exercise 2.7.4). If , then , which is false, therefore , and so . Hence and is injective.
In this case, since , is a bijection. This proves that any function is a polynomial function of degree at most : this is an alternative proof of Theorem 2.28.
-
Suppose that composite. Then , where . Consider the polynomial
If , then by Theorem 1.21. Therefore , for every , that is
Hence its reduced polynomial modulo satisfies for every , so
Moreover the leading term of is , where , thus . This proves that , thus is not injective. Since , is not surjective (onto). This means that some functions are not polynomial functions of degree at most .
The statement of Theorem 2.28 becomes false if we replace the prime number by a composite number .
Example. For , the polynomial satisfies for all . With a Python program, I listed all polynomial of : there are 432 such polynomials, among (note that , because is a subgroup of ). Hence, the number of distinct polynomial functions from to is, by the first isomorphism theorem of groups,
So only among functions from to is a polynomial function of degree at most . But all functions of to are polynomial functions of degree at most .