Change search
ReferencesLink to record
Permanent link

Direct link
A graded subring of an inverse limit of polynomial rings
Stockholm University, Faculty of Science, Department of Mathematics.
1998 (English)Doctoral thesis, monograph (Other academic)
Abstract [en]

We study the power series ring R= K[[x1,x2,x3,...]]on countably infinitely many variables, over a field K, and two particular K-subalgebras of it: the ring S, which is isomorphic to an inverse limit of the polynomial rings in finitely many variables over K, and the ring R', which is the largest graded subalgebra of R.

Of particular interest are the homogeneous, finitely generated ideals in R', among them the generic ideals. The definition of S as an inverse limit yields a set of truncation homomorphisms from S to K[x1,...,xn] which restrict to R'. We have that the truncation of a generic I in R' is a generic ideal in K[x1,...,xn]. It is shown in Initial ideals of Truncated Homogeneous Ideals that the initial ideal of such an ideal converge to the initial ideal of the corresponding ideal in R'. This initial ideal need no longer be finitely generated, but it is always locally finitely generated: this is proved in Gröbner Bases in R'. We show in Reverse lexicographic initial ideals of generic ideals are finitely generated that the initial ideal of a generic ideal in R' is finitely generated. This contrast to the lexicographic term order.

If I in R' is a homogeneous, locally finitely generated ideal, and if we write the Hilbert series of the truncated algebras K[x1,...,xn] module the truncation of I as qn(t)/(1-t)n, then we show in Generalized Hilbert Numerators that the qn's converge to a power series in t which we call the generalized Hilbert numerator of the algebra R'/I.

In Gröbner bases for non-homogeneous ideals in R' we show that the calculations of Gröbner bases and initial ideals in R' can be done also for some non-homogeneous ideals, namely those which have an associated homogeneous ideal which is locally finitely generated.

The fact that S is an inverse limit of polynomial rings, which are naturally endowed with the discrete topology, provides S with a topology which makes it into a complete Hausdorff topological ring. The ring R', with the subspace topology, is dense in R, and the latter ring is the Cauchy completion of the former. In Topological properties of R' we show that with respect to this topology, locally finitely generated ideals in R'are closed.

Place, publisher, year, edition, pages
Stockholm: Matematiska institutionen , 1998. , 123 p.
Keyword [en]
Gröbner bases, generic forms, inverse limit
National Category
URN: urn:nbn:se:su:diva-543ISBN: 91-7153-711-2OAI: diva2:195258
Public defence
1998-02-28, Sal 14, hus 5, Matematiska institutionen, Roslagsvägen 101, Kräftriket, 10:00
Available from: 1998-02-07 Created: 1998-02-07Bibliographically approved

Open Access in DiVA

fulltext(816 kB)45411 downloads
File information
File name FULLTEXT01.pdfFile size 816 kBChecksum MD5
Type fulltextMimetype application/pdf

By organisation
Department of Mathematics

Search outside of DiVA

GoogleGoogle Scholar
Total: 45411 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 691 hits
ReferencesLink to record
Permanent link

Direct link