Past exam of the mathematics course of the University of Cambridge / 2005 / iii / Paper 85 / 2

The variable $t$ is central. To prove the leading-coefficient proof for a central polynomial extension, let $I$ be any right ideal of $R[t]$ and setZero leading coefficients are allowed. Addition and right multiplication by constants show that $L_d$ is a right ideal. Multiplication by $t$ gives $L_d\subseteq L_{d+1}$. Since $R$ is a right Noetherian ring, this chain stabilizes, say at $L_N$, and each $L_d$ for $d\le N$ has finitely many generators $a_{dj}$. Choose $f_{dj}\in I$ of degree at most $d$ lifting these coefficients.

These finitely many polynomial lifts generate $I$ on the right. Indeed, for $f\in I$ of degree $m$, let $d=\min (m,N)$. Write its leading coefficient as ${\sum }_j{a}_{dj}{r}_j$. Thenbelongs to $I$ and has degree less than $m$, because $L_m=L_d$ when $m>N$. Induction on degree reduces $f$ to a right linear combination of the chosen lifts. This proves finite generation of every right ideal, and henceCentrality matters: it is what permits the displayed leading-coefficient cancellation without twisting the coefficients.

Use the degree-one convention implicit in this enveloping-algebra assertion: a degree-one almost commutative algebra has $F_{0}R=k$, a finite-dimensional $F_{1}R$ containing $1$ which generates $R$, and commutative associated graded ring. Taking the leading symbol of a commutator givesin particular $[F_{1}R,F_{1}R]\subseteq F_{1}R$. Thus $\mathfrak{g}=F_{1}R$, equipped with $[u,v]=uv-vu$, is a finite-dimensional Lie algebra. Bilinearity and antisymmetry are immediate, and expanding the three nested commutators proves the Jacobi identity.

Its inclusion into the associative algebra $R$ is a Lie algebra homomorphism. The universal enveloping algebra is $T(\mathfrak{g})$ modulo the relations $u\otimes v-v\otimes u-[u,v]$. Sending the tensor generators to their elements of $R$ kills these relations and gives an algebra homomorphism $U(\mathfrak{g})\to R$. It is surjective because $F_{1}R$ generates $R$. ThereforeThe vector $1\in F_{1}R$ is retained as a central Lie algebra generator and maps to the associative identity; its corresponding relation in the kernel is that generator minus $1_{U(\mathfrak{g})}$. One should not first replace $F_{1}R$ by $F_{1}R/k1$, since commutators of generators can be nonzero scalars.

Terminology is important here. Merely requiring a commutative finitely generated associated graded ring for an arbitrary weighted filtration is a broader definition of almost commutative algebra; it does not supply the finite-dimensional bracket-closed first step used in this argument. The degree-one assumptions make the requested enveloping presentation precise. The Noetherianity in part (b) also follows directly under the broader finite-generation convention.

Give $U(\mathfrak{g})$ its degree filtration. The Poincaré-Birkhoff-Witt theorem identifies its associated graded ring with ${\mathrm{Sym}}_k\mathfrak{g}$, a polynomial ring in ${\dim }_k\mathfrak{g}$ variables. The Hilbert basis theorem makes this graded algebra Noetherian on both sides.

Here is the required transfer, including why a finite list of symbols gives actual generators. For a right ideal $I$ of a nonnegatively filtered ring $A$, its induced graded ideal $\mathrm{gr}I$ is a homogeneous right ideal of $\mathrm{gr}A$. Choose finite homogeneous generators and lift them to $u_1,\dots ,u_m\in I$. For $u\in I$ of degree $d$, express its leading symbol as a graded right linear combination of these symbols, using homogeneous coefficients of complementary degrees. Lift the coefficients to $A$ and subtract the corresponding ${\sum }_i{u}_i{a}_i$. The remainder has degree strictly below $d$. Induction, terminating because degrees are nonnegative, proves $I={\sum }_i{u}_{i}A$. The identical argument with coefficients on the left treats left ideals.

This ascending filtered-graded transfer of Noetherianity proves that $U(\mathfrak{g})$ is right and left Noetherian. A quotient ring inherits either property: pull an ascending ideal chain back to the original ring, or take images of ideal generators. Part (a) therefore gives $R$ right and left Noetherian. Alternatively, under the broader almost commutative algebra convention, its commutative finitely generated associated graded ring is directly a quotient of a finite-variable polynomial ring, and the same leading-symbol argument proves the conclusion.