MHB Noetherian Rings - Dummit and Foote - Chapter 15

  • Thread starter Thread starter Math Amateur
  • Start date Start date
  • Tags Tags
    Rings
Click For Summary
SUMMARY

The discussion centers on Exercise 1 from Dummit and Foote's "Abstract Algebra," specifically regarding the converse of Hilbert's Basis Theorem. It asserts that if the polynomial ring R[x] is Noetherian, then the ring R itself must also be Noetherian. A canonical homomorphism from R[X] to R is established, demonstrating that Noetherianity is preserved through factoring, thus confirming the theorem's validity.

PREREQUISITES
  • Understanding of Noetherian rings
  • Familiarity with polynomial rings, specifically R[x]
  • Knowledge of homomorphisms in ring theory
  • Basic concepts of algebraic structures as presented in Dummit and Foote
NEXT STEPS
  • Study the proof of Hilbert's Basis Theorem in Dummit and Foote
  • Explore examples of Noetherian and non-Noetherian rings
  • Learn about canonical homomorphisms in ring theory
  • Investigate the implications of Noetherianity in algebraic geometry
USEFUL FOR

Students and educators in abstract algebra, particularly those studying ring theory and Noetherian properties, will find this discussion beneficial.

Math Amateur
Gold Member
MHB
Messages
3,920
Reaction score
48
Dummit and Foote Exercise 1 on page 668 states the following:

"Prove the converse to Hilbert's Basis Theorem: if the polynomial ring R[x] is Noetherian then R is Noetherian"

Can someone please help me get started on this exercise.

Peter

[Note: This has also been posted on MHF]
 
Physics news on Phys.org
(This is an old question, so I'll be posting a full answer instead of just hints)

Note that there is a canonical homomorphism $R[X] \to R$ given by $X \mapsto 0$. As Noetherianity is preserved by factoring, if $R[X]$ is Noetherian, then so is $R[X]/(X)$; and the latter is, as per the homomorphism, isomorphic to $R$. $\blacksquare$
 
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 3 ·
Replies
3
Views
4K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
Replies
1
Views
2K
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 10 ·
Replies
10
Views
2K