In Bishop-style constructive algebra it is known that if a module over a commutative ring has a Noetherian basis function, then it is Noetherian. Using countable choice we prove the reverse implication for countable and strongly discrete modules. The Hilbert basis theorem for this specific class of Noetherian modules, and polynomials in a single variable, follows with Tennenbaum’s celebrated ve...

Let R be a commutative ring with 1 such that Nil(R) is a divided prime ideal of R. The purpose of this paper is to introduce a new class of rings that is closely related to the class of Noetherian rings. A ring R is called a Nonnil-Noetherian ring if every nonnil ideal of R is finitely generated. We show that many of the properties of Noetherian rings are also true for Nonnil-Noetherian rings; ...

we define and studyco-noetherian dimension of rings for which the injective envelopeof simple modules have finite krull-dimension. this  is a moritainvariant dimension that measures how far the ring is from beingco-noetherian. the co-noetherian dimension of certain rings,including commutative rings, are determined. it is shown that the class ${mathcal w}_n$ of rings with co-noetherian dimension...

We show that every graded locally finite right noetherian algebra has sub-exponential growth. As a consequence, every noetherian algebra with exponential growth has no finite dimensional filtration which leads to a right (or left) noetherian associated graded algebra. We also prove that every connected graded right noetherian algebra with finite global dimension has finite GK-dimension. Using t...

We define and studyco-Noetherian dimension of rings for which the injective envelopeof simple modules have finite Krull-dimension. This  is a Moritainvariant dimension that measures how far the ring is from beingco-Noetherian. The co-Noetherian dimension of certain rings,including commutative rings, are determined. It is shown that the class ${mathcal W}_n$ of rings with co-Noetherian dimension...

The Noetherian type of a space is the least κ for which the space has a κop-like base, i.e., a base in which no element has κ-many supersets. We prove some results about Noetherian types of (generalized) ordered spaces and products thereof. For example: the density of a product of not-too-many compact linear orders never exceeds its Noetherian type, with equality possible only for singular Noet...

For a coalgebraC , the rational functor Rat(−) : C∗ → C∗ is a left exact preradical whose associated linear topology is the family C , consisting of all closed and cofinite right ideals of C∗. It was proved by Radford (1973) that if C is right Noetherian (which means that every I ∈ C is finitely generated), then Rat(−) is a radical. We show that the converse follows if C1, the second term of th...

A result of Artin, Small, and Zhang is used to show that a noetherian algebra over a commutative, noetherian Jacobson ring will be Jacobson if the algebra possesses a locally finite, noetherian associated graded ring. This result is extended to show that if an algebra over a commutative noetherian ring has a locally finite, noetherian associated graded ring, then the intersection of the powers ...

Let k be an uncountable algebraically closed field and let A be a countably generated left Noetherian k-algebra. Then we show that A⊗k K is left Noetherian for any field extension K of k. We conclude that all subfields of the quotient division algebra of a countably generated left Noetherian domain over k are finitely generated extensions of k. We give examples which show that A⊗k K need not re...