In mathematics, a Noetherian ring is a ring that satisfies the ascending chain condition on left and right ideals; if the chain condition is satisfied only for left ideals or for right ideals, then the ring is said left-Noetherian or right-Noetherian respectively. That is, every increasing sequence of left (or right) ideals has a largest element; that is, there exists an n such that: Equivalently, a ring is left-Noetherian (resp. right-Noetherian) if every left ideal (resp. right-ideal) is finitely generated. A ring is Noetherian if it is both left- and right-Noetherian. Noetherian rings are fundamental in both commutative and noncommutative ring theory since many rings that are encountered in mathematics are Noetherian (in particular the ring of integers, polynomial rings, and rings of algebraic integers in number fields), and many general theorems on rings rely heavily on Noetherian property (for example, the Lasker–Noether theorem and the Krull intersection theorem). Noetherian rings are named after Emmy Noether, but the importance of the concept was recognized earlier by David Hilbert, with the proof of Hilbert's basis theorem (which asserts that polynomial rings are Noetherian) and Hilbert's syzygy theorem. (Wikipedia).
This lecture is part of an online course on rings and modules. We define Noetherian rings, give several equivalent properties, and give some examples of rings that are or are not Noetherian. This will be continued in the next lecture about Hilbert's finiteness theorems. For the other
From playlist Rings and modules
Commutative algebra 5 (Noetherian rings)
This lecture is part of an online course on commutative algebra, following the book "Commutative algebra with a view toward algebraic geometry" by David Eisenbud. In this lecture we find three equivalent ways of defining Noetherian rings, and give several examples of Noetherian and non-No
From playlist Commutative algebra
algebraic geometry 6 Noetherian spaces
This lecture is part of an online algebraic geometry course, based on chapter I of "Algebraic geometry" by Hartshorne. It covers Noetherian rings, Noetherian spaces, and irreducible sets.
From playlist Algebraic geometry I: Varieties
Noetherianity up to Symmetry - Jan Draisma
Members' Colloquium Topic: Noetherianity up to Symmetry Speaker: Jan Draisma Affiliation: Member, School of Mathematics Date: October 17, 2022 Noetherianity is a fundamental property of modules, rings, and topological spaces that underlies much of commutative algebra and algebraic geomet
From playlist Mathematics
From playlist Abstract Algebra 2
This lecture is part of an online course on rings and modules. We prove Hilbert's theorem that poynomial rings over fields are Noetherian, and use this to prove Hilbert's theorem about finite generation of algebras of invariants, at least for finite groups over the complex numbers. For
From playlist Rings and modules
Commutative algebra 15 (Noetherian spaces)
This lecture is part of an online course on commutative algebra, following the book "Commutative algebra with a view toward algebraic geometry" by David Eisenbud. In this lecture we define Noetherian topological spaces, and use them to show that for a Noetherian ring R, every closed subse
From playlist Commutative algebra
Ring Theory: We define rings and give many examples. Items under consideration include commutativity and multiplicative inverses. Example include modular integers, square matrices, polynomial rings, quaternions, and adjoins of algebraic and transcendental numbers.
From playlist Abstract Algebra
Definition of a Ring and Examples of Rings
Please Subscribe here, thank you!!! https://goo.gl/JQ8Nys Definition of a Ring and Examples of Rings - Definition of a Ring. - Definition of a commutative ring and a ring with identity. - Examples of Rings include: Z, Q, R, C under regular addition and multiplication The Ring of all n x
From playlist Abstract Algebra
Schemes 15: Quasicompact, Noetherian
This lecture is part of an online algebraic geometry course on schemes, based on chapter II of "Algebraic geometry" by Hartshorne. We define quasi-compact, Noetherian, and locally Noetherian schemes, give a few examples, and show that "locally Noetherian" is a local property.
From playlist Algebraic geometry II: Schemes
Commutative algebra 36 Artin Rees lemma
This lecture is part of an online course on commutative algebra, following the book "Commutative algebra with a view toward algebraic geometry" by David Eisenbud. In this lecture we state and prove the Artin-Rees lemma, which states that the restriction of an stable I-adic filtration (of
From playlist Commutative algebra
Commutative algebra 58: System of parameters versus Krull
This lecture is part of an online course on commutative algebra, following the book "Commutative algebra with a view toward algebraic geometry" by David Eisenbud. We show that the smallest size of a system of parameters of a Noetherian local ring is at most the Krull dimension. The proof
From playlist Commutative algebra
Commutative algebra 24 Artinian modules
This lecture is part of an online course on commutative algebra, following the book "Commutative algebra with a view toward algebraic geometry" by David Eisenbud. We define Artinian rings and modules, and give several examples of them. We then study finite length modules, show that they
From playlist Commutative algebra
Commutative algebra 55: Dimension of local rings
This lecture is part of an online course on commutative algebra, following the book "Commutative algebra with a view toward algebraic geometry" by David Eisenbud. We give 4 definitions of the dimension of a Noetherian local ring: Brouwer-Menger-Urysohn dimension, Krull dimension, degree o
From playlist Commutative algebra
Commutative algebra 6 (Proof of Hilbert's basis theorem)
This lecture is part of an online course on commutative algebra, following the book "Commutative algebra with a view toward algebraic geometry" by David Eisenbud. In this lecture we prove Hilbert's basis theorem that ideals of polynomial rings are finitely generated. We first do this by p
From playlist Commutative algebra