A graded subring of an inverse limit of polynomial rings

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.

Studies of Inorganic Layer and Framework Structures Using Time-, Temperature- and Pressure-Resolved Powder Diffraction Techniques

This thesis is concerned with in-situ time-, temperature- and pressure-resolved synchrotron X-ray powder diffraction investigations of a variety of inorganic compounds with twodimensional layer structures and three-dimensional framework structures. In particular, phase stability, reaction kinetics, thermal expansion and compressibility at non-ambient conditions has been studied for 1) Phosphates with composition MIV(HPO4)2·nH2O (MIV = Ti, Zr); 2) Pyrophosphates and pyrovanadates with composition MIVX2O7 (MIV = Ti, Zr and X = P, V); 3) Molybdates with composition ZrMo2O8. The results are compiled in seven published papers and two manuscripts. Reaction kinetics for the hydrothermal synthesis of α-Ti(HPO4)2·H2O and intercalation of alkane diamines in α-Zr(HPO4)2·H2O was studied using time-resolved experiments. In the high-temperature transformation of γ-Ti(PO4)(H2PO4)·2H2O to TiP2O7 three intermediate phases, γ'-Ti(PO4)(H2PO4)·(2-x)H2O, β-Ti(PO4)(H2PO4) and Ti(PO4)(H2P2O7)0.5 were found to crystallise at 323, 373 and 748 K, respectively. A new tetragonal three-dimensional phosphate phase called τ-Zr(HPO4)2 was prepared, and subsequently its structure was determined and refined using the Rietveld method. In the high-temperature transformation from τ-Zr(HPO4)2 to cubic α-ZrP2O7 two new orthorhombic intermediate phases were found. The first intermediate phase, ρ-Zr(HPO4)2, forms at 598 K, and the second phase, β-ZrP2O7, at 688 K. Their respective structures were solved using direct methods and refined using the Rietveld method. In-situ high-pressure studies of τ-Zr(HPO4)2 revealed two new phases, tetragonal ν-Zr(HPO4)2 and orthorhombic ω-Zr(HPO4)2 that crystallise at 1.1 and 8.2 GPa. The structure of ν-Zr(HPO4)2 was solved and refined using the Rietveld method. The high-pressure properties of the pyrophosphates ZrP2O7 and TiP2O7, and the pyrovanadate ZrV2O7 were studied up to 40 GPa. Both pyrophosphates display smooth compression up to the highest pressures, while ZrV2O7 has a phase transformation at 1.38 GPa from cubic to pseudo-tetragonal β-ZrV2O7 and becomes X-ray amorphous at pressures above 4 GPa. In-situ high-pressure studies of trigonal α-ZrMo2O8 revealed the existence of two new phases, monoclinic δ-ZrMo2O8 and triclinic ε-ZrMo2O8 that crystallises at 1.1 and 2.5 GPa, respectively. The structure of δ-ZrMo2O8 was solved by direct methods and refined using the Rietveld method.