Suppose first that is a Noetherian module. An ascending chain of submodules of is also a chain in , so it stabilizes. A chain in the quotient module lifts to a chain in , so it also stabilizes. Thus both and are Noetherian modules.
Conversely, let be a chain of submodules of . If and are Noetherian modules, both and stabilize, say for . For , equality of the images gives with . Then , and hence . This proves the extension direction of Noetherian modules in a short exact sequence.
The left regular module is Noetherian because is a left Noetherian ring. Applying the extension result inductively makes each finite direct sum Noetherian. Every finitely generated module on the left is a quotient module of such a direct sum, so it is Noetherian.
A poly-(cyclic or finite) group has a finite subnormal serieswhose factors are cyclic groups or finite groups. We prove that the group ring is a left Noetherian ring by induction. Put . A finite factor makes a finite free left -module, using a coset transversal. Its left ideals are -submodules, so finite-module extension preserves Noetherianity handles this case.
If the factor is infinite cyclic, choose a lift of a generator and let . The group ring is the skew Laurent polynomial ring . Here is the required left-sided skew Hilbert basis theorem. For a left ideal , defineEach is a left ideal of . Left multiplication by gives . The ascending chain condition makes these ideals constant for ; choose finitely many generators for each , , and lift them to polynomials .
If has degree and leading coefficient , writeSubtracting cancels the leading coefficient. For , use the lifts for instead. Induction on polynomial degree shows that the finitely many generate . Thus the skew polynomial ring of an automorphism is a left Noetherian ring.
Finally, for a left ideal of , its intersection with has finitely many generators. Every satisfies for some , so those same generators generate after multiplication by . This completes the induction and proves that is left Noetherian, the left-sided form of group rings of poly-(cyclic or finite) groups are Noetherian.
The Jacobson radical is , where runs over the maximal right ideals. Every proper right ideal lies in such an : the union of a chain of proper right ideals containing is a right ideal and remains proper because it omits . Thus Zorn lemma applies.
The right-module form of Nakayama lemma says that a finitely generated module with is zero. More generally, if is a submodule and , then . To prove the first statement, suppose and take a generating set of minimal size. Since , there are withThe unit criterion for the Jacobson radical makes a unit. Hence is generated by the other , a contradiction. Apply this result to the quotient module to obtain the general form.
For an injective module endomorphism of an Artinian module , the descending chain condition givesfor some . Given , write ; injectivity of gives . Thus is surjective, as asserted by Artinian modules are co-Hopfian.
Now is a semilocal ring and is a finitely generated module over the right Artinian ring . A finite direct sum of copies of , and hence its quotient module , is an Artinian module. The module endomorphism induces on , and the given inverse-image condition says precisely that . The preceding argument makes surjective, soThe quotient module is finitely generated and satisfies . Applying Nakayama lemma yields . Therefore is surjective, by surjectivity from injectivity modulo the Jacobson radical.
An essential right ideal intersects every nonzero right ideal nontrivially. A regular element of a ring is a two-sided non-zero-divisor: both and imply . Writing for the set of these elements, the classical right ring of quotients is a ring containing , with every invertible and every element of expressible as .
Goldie theorem states that a semiprime ring has a semisimple Artinian classical right ring of quotients if and only if it is a right Goldie ring: it satisfies the ascending chain condition on right annihilators and has finite uniform dimension. In particular, every semiprime ring that is a right Noetherian ring satisfies the theorem. We prove the requested case directly using the supplied assumption about essential right ideals.
First let . If a nonzero right ideal had , the sumwould be direct. Indeed, a finite relation gives , hence ; cancellation of repeats the argument. Each is a nonzero right ideal, so the partial sums form a strictly ascending chain. This contradicts right Noetherianity. Thus a regular principal right ideal in a right Noetherian ring is essential, and every right ideal containing is essential.
For and , putThis is an essential right ideal. To check this, take a nonzero right ideal . If , then . Otherwise is a nonzero right ideal, so it meets nontrivially; lifting an element of that intersection gives a nonzero element of . By the supplied assumption, contains some , givingThis is the right Ore condition. The set is multiplicatively closed, and the denominator cancellation condition holds because its elements are non-zero-divisors. Therefore Ore theorem constructs and embeds in it.
For every right ideal of ,Indeed, if , then . Contracting an ascending chain of right ideals of to therefore proves that is a right Noetherian ring.
Suppose is an essential right ideal of . For a nonzero right ideal of , choose . The right Ore condition gives a common right denominator for a finite expression of in , so there is withThus is an essential right ideal of . It contains a regular element of a ring, which becomes a unit in , and consequently .
Finally, for any right ideal of , choose by Zorn lemma a right ideal maximal subject to . Then is essential: a nonzero right ideal disjoint from would enlarge while keeping it disjoint from . Hence . Every submodule of the right regular module has a complement, making it a semisimple module. Since it is also Noetherian, it is a finite direct sum of simple modules. It is therefore Artinian, and is a semisimple Artinian ring. This is semisimplicity of a classical quotient from regular elements in essential ideals.
A filtration of a ring is an exhaustive increasing family of additive subgroups , indexed by the integers, with and . A compatible filtration of a module on a right module satisfies . The associated graded module has components , and its action by the associated graded ring isChanging either representative changes the product only by an element of , so the action is well-defined.
The subspace filtration on is . The quotient filtration is . Inclusion induces an injective map , and the quotient induces a surjective map to . If maps to zero in its degree- quotient, write with and . Then , so the kernel is exactly the image of . We have the short exact sequencewhich is exactness of associated graded modules for induced filtrations.
For the negative case, for . Completeness means that is an isomorphism; in particular the filtration of a ring is separated. If and , then . The geometric seriesconverges in the complete negative filtration and is a two-sided inverse of , by the finite geometric identity and continuity of multiplication. The unit criterion for the Jacobson radical now gives
Let be any right ideal. The associated graded module for its subspace filtration is a homogeneous ideal on the right in . If is a right Noetherian ring, choose homogeneous generators that lift to , with degrees .
For , cancel its degree- symbol by a sum with . The remainder belongs to . Repeat the cancellation in each succeeding degree. After steps,For every , the coefficient series converges to some by completeness. Passing to the limit gives . Thus these finitely many generate the actual right ideal ; no assumption that is closed is needed. Since every right ideal is finitely generated, is right Noetherian, by complete negative filtered-graded transfer of Noetherianity.
The prime radical of a noncommutative ring is , with ranging over all prime ideals of a noncommutative ring. Here primeness means that for two-sided ideals , implies or . A minimal prime over an ideal is a prime ideal containing with no strictly smaller prime ideal containing .
The ascending chain condition on left ideals also applies to two-sided ideals. We first prove by Noetherian induction that every proper contains a finite product of prime ideals, each containing . If there were counterexamples, choose a maximal one. It is not prime, so there are strictly larger two-sided ideals with . Neither is a counterexample; products of prime ideals contained in and in then concatenate to a product contained in , a contradiction.
Write . Every prime ideal over contains at least one , by primeness. The inclusion-minimal members of the finite list are therefore precisely the minimal primes over an ideal : any smaller prime over would contain a member of that same list. Consequently there are finitely many. Replacing each factor by a minimal prime contained in it giveswith each minimal over . Repeated factors may be necessary; in the sole minimal prime requires its th power to reach zero.
Apply this to . Since for every ,Thus the prime radical is a nilpotent ideal, as in finite minimal primes and nilpotent prime radical.
Now assume is commutative. A prime ideal is an associated prime of a module when for some . Every nonzero module over has an associated prime: the ascending chain condition gives a maximal annihilator of a nonzero element, and maximal annihilator of a module element is prime.
Since the given is a Noetherian module, repeatedly choosing such a cyclic submodule in the next quotient yields a finite prime filtrationThe process terminates by the ascending chain condition. In a short exact sequence , one has . Indeed, if and , the image of in still has annihilator . Otherwise choose ; then , and primeness gives . As , induction along the prime filtration provesIn particular there are only finitely many associated primes of a module.
Finally let be a minimal prime ideal of . Its localization at a prime ideal has exactly one prime, its maximal ideal . The preceding nilpotence result makes this maximal ideal nilpotent. Choose annihilated by , for example a nonzero element in its last nonzero power, or if . Since elements outside the maximal ideal are units, .
Write . The element is nonzero and also has annihilator . Generate by . For each , choose with , and put . Then remains nonzero after localization, while . If , localization forces , and hence . Therefore . This proves that minimal primes are associated primes.
Fix a finite-dimensional nonnegative filtration of a ring giving its almost commutative algebra structure, and choose a good filtration of a module on . When is a standard graded algebra, the Hilbert-Serre theorem makes the cumulative Hilbert function eventually a polynomial. For , define the dimension of a filtered module and multiplicity of a filtered module byUse and . With positive weighted generators instead of a standard grading, the cumulative Hilbert function is eventually a quasipolynomial with a common positive leading coefficient across residue classes. Equivalently, , and the definitions are and . The common leading coefficient follows from monotonicity: interlacing consecutive residue classes forces their leading coefficients to agree. For a standard grading, multiplicity is a positive integer, since an integer-valued polynomial has an integral expansion in the binomial polynomials; weighted normalization can instead give a positive rational number.
Two good filtrations of a module for this fixed algebra filtration bound each other after fixed index shifts. The corresponding Hilbert functions therefore satisfy for fixed . Comparing their leading growth shows that the degree and leading coefficient agree. Thus and are independent of the module filtration; the fixed algebra filtration is part of the multiplicity convention.
For a submodule , use its subspace filtration and the quotient filtration on . These are good because is Noetherian. The short exact sequence of filtered pieces givesNonzero leading coefficients are positive, soIf , those leading coefficients add andThis is dimension and multiplicity in a filtered exact sequence.
For the Weyl algebra in characteristic zero, Bernstein inequality for Weyl algebra modules asserts for every nonzero finitely generated module . Write its generators as , with and all other generator commutators zero. The ordered monomials give the Bernstein filtrationTake a finite-dimensional generating subspace of and put .
To prove faithful finite-step action of a Weyl algebra, consider and choose a nonzero coefficient of a monomial of maximal total degree . Applying to givesIndeed, these commutators differentiate the ordered coefficients: lower-degree monomials vanish, and another degree- monomial can survive only if all its exponents dominate , which forces equality. This is scalar extraction by iterated Weyl commutators.
Expanding these iterated commutators writes with . If annihilated , every summand would annihilate , contrary to . Therefore the action map is injective:Taking dimensions and comparing polynomial degrees giveswhich proves Bernstein inequality for Weyl algebra modules. The polynomial representation has dimension , so the bound is sharp.
The associated graded ring of the Weyl algebra is a polynomial ring, so ascending filtered-graded transfer of Noetherianity makes a left Noetherian ring. Thus every submodule of a finitely generated module is finitely generated. If , every nonzero subquotient has dimension at most by the exact-sequence formula, and at least by Bernstein inequality for Weyl algebra modules. Every such subquotient therefore has dimension and positive integral multiplicity.
In a strictly descending chain , each nonzero quotient consumes at least one unit of multiplicity, by dimension and multiplicity in a filtered exact sequence. Hence there are at most strict steps. This proves the descending chain condition, so is Artinian. In fact this holonomic Weyl algebra module has module length at most , as in multiplicity bounds the length of a holonomic Weyl module.
Articles by others on the same topic
There are currently no matching articles.