Irreducible central elements generate maximal ideals?

  • Context: Graduate 
  • Thread starter Thread starter Silversonic
  • Start date Start date
  • Tags Tags
    Elements
Click For Summary
SUMMARY

The discussion centers on the relationship between irreducibility and central elements in the context of polynomial rings, specifically F[x] and D[x]. It concludes that if a and b are central elements in D[x] and a is expressed as a product a = cb, where both c and b are non-units, then a cannot be irreducible over F[x]. The key realization is that c being central and a unit contradicts the proper containment of ideals, affirming that a is not irreducible in this setting.

PREREQUISITES
  • Understanding of polynomial rings, specifically F[x] and D[x]
  • Knowledge of irreducibility and maximal ideals in ring theory
  • Familiarity with central elements and their properties in algebra
  • Concept of units and non-units within ring structures
NEXT STEPS
  • Study the properties of irreducibility in polynomial rings, focusing on F[x]
  • Explore the concept of central elements in ring theory
  • Investigate the relationship between maximal ideals and irreducibility
  • Learn about the structure of D[x] and its implications for polynomial factorization
USEFUL FOR

Mathematicians, algebra students, and researchers interested in ring theory, particularly those studying polynomial rings and their properties.

Silversonic
Messages
121
Reaction score
1
http://img17.imageshack.us/img17/3937/vjj6.png

I don't understand the very last bit, where it says a and b are central and so c is, hence a is not irreducible. Basically what replaces the "hence"? I can't seem to figure out the link between c being central meaning a isn't irreducible.

a being irreducible means it isn't a unit, hence D[x]a is proper but if it is not maximal it sits inside an ideal D[x]b where b is a central non-unit.

Hence a = cb for some c. Since a and b are non-units, to be irreducible c must be a unit. But then c being central contradicts it being a unit? Why? There are central units contained in H[x] for instance (the ring of quaternions), a real number is a central unit.
 
Last edited by a moderator:
Physics news on Phys.org
Hmm, left it for a few hours and came back to it. Noticed what I was doing wrong, not noticing that it was talking about irreducibility over F[x], instead of the whole ring D[x]. Therefore c cannot be a unit otherwise D[x]a does not sit properly in D[x]b, but since c is central and b is central, a = cb is a product of two non-unit elements of F[x]. Hence a is not irreducible over F[x].
 

Similar threads

Replies
48
Views
6K
  • · Replies 84 ·
3
Replies
84
Views
11K
Replies
1
Views
2K
  • · Replies 12 ·
Replies
12
Views
4K
Replies
1
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 1 ·
Replies
1
Views
4K
  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 4 ·
Replies
4
Views
4K