Can all polynomials in Z modulus 9 be written as the product of two polynomials?

  • Context: Graduate 
  • Thread starter Thread starter jeffreydk
  • Start date Start date
  • Tags Tags
    Modulus Polynomials
Click For Summary
SUMMARY

Every polynomial in \(\mathbb{Z}_9\) can be expressed as the product of two polynomials of positive degree, except for the constant polynomials [3] and [6]. The only irreducible polynomials in \(\mathbb{Z}_9\) are these constant polynomials. The discussion highlights that traditional irreducibility theorems do not apply due to \(\mathbb{Z}_9\) not being a field. The proof involves showing that if a polynomial \(f(x)\) is irreducible, it leads to a contradiction, confirming that all irreducible polynomials must be constant.

PREREQUISITES
  • Understanding of polynomial algebra in modular arithmetic
  • Familiarity with irreducibility concepts in ring theory
  • Knowledge of the structure of \(\mathbb{Z}_9\)
  • Basic skills in manipulating polynomial expressions
NEXT STEPS
  • Study polynomial irreducibility in non-field rings
  • Explore the properties of \(\mathbb{Z}_p\) for prime \(p\) versus composite \(p\)
  • Learn about polynomial factorization techniques in modular arithmetic
  • Investigate the implications of constant polynomials in modular systems
USEFUL FOR

Mathematicians, students studying abstract algebra, and anyone interested in polynomial factorization within modular arithmetic contexts.

jeffreydk
Messages
133
Reaction score
0
I'm trying to figure out how to prove that every polynomial in [itex]\mathbb{Z}_9[/itex] can be written as the product of two polynomials of positive degree (except for the constant polynomials [3] and [6]). This basically is just showing that the only possible irreducible polynomials in [itex]\mathbb{Z}_9[/itex] are the constant ones, [3] and [6], and that all the other constant polynomials can be written as the product of polynomials with degrees greater than 0, kind of like how [1] can be written as,

[tex]([3]x+[1])([6]x+[1])=[0]x^2+[3]x+[6]x+[1]=[1][/tex]

but I'm a bit lost on how to show it all, because it's not a field so the theorems I've been studying regarding irreducibility in polynomials don't apply to such a situation. Thanks, any help is greatly appreciated.
 
Physics news on Phys.org
If ##f(x)\in \mathbb{Z}_9[x]## is irreducible, and we have a decomposition ##f(x)=f(x)\cdot 1=f(x)(3x+1)(6x+1)## then either ##f(x)(3x+1)\in \mathbb{Z}_9## or ##f(x)(6x+1)\in \mathbb{Z}_9##. In both cases we get ##3f(x) =3a## for an ##a\in \mathbb{Z}_9\,.## Thus ##3(f(x)-a) = 0## and ##9\,|\,3(f(x)-a)## which means ##3\,|\,(f(x)-a)## and ##f(x)=3n+a## for some ##n\in \mathbb{Z}##. Hence ##f(x)## is constant, i.e. all irreducible polynomials are constant.
 

Similar threads

Replies
48
Views
6K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 16 ·
Replies
16
Views
4K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 8 ·
Replies
8
Views
4K