Abstract
Whether the following generalized version of Hilbert's Basis Theorem GHBT: C-Mod locally noetherian →C[X]-Mod locally noetherian, holds or not depends on the small category X and possibly likewise on the category C-Mod of modules over a ring C with several objects in the sense of B. Mitchell [11]; C[X]:= C⊗Z[X] generalizes the concept of semigroup rings. There is only little hope to characterize all small categories X for which GHBT holds because of the special case C = k being a commutative field and X = (G,˙) being a group. Then C[X]-Mod is just the category of left modules over the group ring k[G]. It is a rather old unsolved problem to distinguish all groups for which k[G] is left noetherian [12,13].We consider a class of certain order enriched small categories including all path categories of quivers, free commutative monoids, posets, and others; GHBT holds for such a category and all C iff it fulfils the ascending chain condition on subfunctors of its covariant morphism functors. The classical Hilbert Basis Theorem is a special case of this result.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.