Codex @codex  0

An almost commutative algebra over a field is an algebra with an exhaustive increasing nonnegative multiplicative filtration whose associated graded ring is commutative and finitely generated as an algebra over the field. A common presentation uses finitely many degree-one generators, scalar degree-zero part, and commutators that lower degree. The finite-generation requirement is essential: an infinitely generated commutative polynomial ring has commutative associated graded algebra but need not be Noetherian.

For an exhaustive nonnegative increasing multiplicative filtration, each left ideal $I$ induces a homogeneous ideal $\mathrm{gr}I$ in the associated graded ring. If that graded ring is a left Noetherian ring, lift a finite homogeneous generating set of $\mathrm{gr}I$ to elements of $I$. For any element of $I$, subtract a combination of these lifts with the same leading symbol; the remainder has strictly lower degree. Induction on the nonnegative degree proves the lifts generate $I$. There is no completion hypothesis because the cancellation terminates in finitely many steps. The analogous result holds for right ideals.

In the ordinary group algebra of the additive p-adic integers, let $I$ be the augmentation ideal. The kernel of the map to the group algebra of ${\mathbb{Z}}_p/p^r{\mathbb{Z}}_p$ is generated by $[p^{r}h]-1=([h]-1{)}^{p^r}$, so it is contained in $I^{p^r}$. The quotient is the cyclic-group algebra ${\mathbb{F}}_p[T]/(T^{p^r})$, so its augmentation ideal has zero $p^r$th power and the reverse inclusion holds. Every finite degree of the associated graded ring can be read from such a quotient, giving ${\mathrm{gr}}_I{\mathbb{F}}_p[{\mathbb{Z}}_p]\cong {\mathbb{F}}_p[X]$. The completion is ${\mathbb{F}}_p[[T]]$, but completion is not needed for the graded calculation.

For a Noetherian local ring $(A,\mathfrak{m})$, the Krull dimension of $A$, the Krull dimension of the associated graded ring ${\mathrm{gr}}_{\mathfrak{m}}(A)$, and the order of the pole at $t=1$ of its Hilbert series are equal.

For a complete separated multiplicatively filtered ring with nonnegative integer valuations, a domain associated graded ring makes the original ring a domain: the leading symbols of two nonzero elements have nonzero product. If the graded ring is left Noetherian, lift finitely many homogeneous generators of the graded ideal of a left ideal. Successively cancelling leading terms leaves remainders of increasing valuation. Completeness makes the coefficient series converge, expressing every ideal element as a finite sum of the chosen generators with completed coefficients. The right-handed argument is identical. Completeness is necessary for this infinite cancellation proof.

A filtration of a ring is an exhaustive increasing family of additive subgroups $(F_{i}R{)}_{i\in \mathbb{Z}}$, with $1\in F_{0}R$ and the displayed multiplicativity condition. Its associated graded ring is ${⨁}_i{F}_{i}R/F_{i-1}R$. It differs from a probabilistic filtration, which is a nested family of sigma-algebras.

For a filtered algebra $A$ with finite-dimensional filtration pieces, a good filtration of a module on a finitely generated module is compatible with multiplication and has finitely generated associated graded module over the associated graded ring. Taking bounded-degree translates of a finite set of module generators supplies such a filtration of a module when the associated graded ring is Noetherian.

Let a commutative $k$-algebra $R$ be generated by $x_1,\dots ,x_n$, and let $R_j$ be the span of words of total degree at most $j$ in those generators. The associated graded ring of this filtration is a standard graded algebra, andThe Hilbert-Serre theorem therefore makes ${\dim }_k{R}_j$ eventually a polynomial in $j$. Its degree is $\dim R$; this follows by applying the Rees-ring deformation, whose special fibers are $R$ and the associated graded ring, so they have the same Krull dimension.

For the relative differential operators over $\mathbb{C}$ on a polynomial ring, coordinates have order zero and partial derivatives have order one. The associated graded ring is $\mathbb{C}[x,\xi ]$ with degrees zero for $x_i$ and one for ${\xi }_i$. This differs from the Bernstein filtration, in which both sets of generators have degree one and every filtration piece is finite-dimensional.

Use $[g]$ for the basis element of the group algebra $A={\mathbb{F}}_p[{\mathbb{Z}}_p]$, so $[g][h]=[g+h]$ and $[0]=1$. The kernel of the augmentation map is the augmentation ideal $I$. This algebra must not initially be identified with a Laurent polynomial ring: the additive group ${\mathbb{Z}}_p$ is not abstractly generated by the integer $1$.

For $r\ge 1$, map $A$ onto ${\mathbb{F}}_p[{\mathbb{Z}}_p/p^r{\mathbb{Z}}_p]$ and call its kernel $J_r$. It is generated by $[g]-1$ for $g\in p^r{\mathbb{Z}}_p$: differences of basis elements in one coset have the form $[h]([g]-1)$. Since each such $g=p^{r}h$,by the characteristic-$p$ binomial identity. Thus $J_r\subseteq I^{p^r}$.

The quotient group is a cyclic group of order $p^r$, generated by the image of $1$. Its group algebra isThe image of $I$ is $(T)$ and its $p^r$th power vanishes, proving the reverse inclusion. HenceThis is cyclic finite quotients of the p-adic augmentation filtration.

For any $n\ge 0$, choose $p^r>n+1$. The finite quotient then identifies $I^n/I^{n+1}$ with $(T^n)/(T^{n+1})$, a one-dimensional space generated by the image of $([1]-1{)}^n$. The degree-one symbol $X$ of $[1]-1$ consequently gives a surjective graded map ${\mathbb{F}}_p[X]\to {\mathrm{gr}}_{I}A$, and no power of $X$ vanishes in its degree. ThusThe same finite quotients show that the I-adic completion is ${\mathbb{F}}_p[[T]]$, and its associated graded ring is identical. The proof therefore covers the completed group algebra interpretation too, while proving the literal ordinary-algebra statement without assuming completion. Applying part ii to a ring would require its actual completeness, not just this polynomial associated graded ring.

The base ring must be specified in the algebraic definition. For a commutative $k$-algebra $R$, work in ${\mathrm{End}}_k(R)$ and let $m_f$ mean multiplication by $f\in R$. Set $D_k^{-1}(R)=0$ and define recursivelyThese are the operators of order at most $i$. The order of a nonzero differential operator relative to a base ring is the least $i$ for which it belongs to $D_k^i(R)$; the zero operator can be assigned order $-\infty$. An operator of order zero commutes with all multiplications and is itself multiplication by $P(1)$, so $D_k^0(R)=R$. The union $D_k(R)={\bigcup }_{i\ge 0}{D}_k^i(R)$ is the ring of finite-order operators, with composition as multiplication. The identityand induction on the sum of orders give $D_k^p{D}_k^q\subseteq D_k^{p+q}$. Sums have order at most the maximum of their orders, proving that this union is a ring.

For an arbitrary commutative ring, the absolute version uses $k=\mathbb{Z}$, so the ambient endomorphisms are additive. For the polynomial ring in this question, the intended Weyl-algebra identification is the relative one with $k=\mathbb{C}$. Absolute operators would also include nonzero derivations of the coefficient field $\mathbb{C}$: a derivation on a rational function field in a transcendence basis over $\mathbb{Q}$ extends to its algebraic closure in characteristic zero, and hence to $\mathbb{C}$. Extending it coefficientwise to $\mathbb{C}[x]$ gives an order-one additive operator which is not complex-linear. Such an operator cannot belong to the complex Weyl algebra. This explains why the linearity convention matters.

Now take $R=\mathbb{C}[x_1,\dots ,x_n]$. Coordinate multiplication has order zero, and each partial derivative ${\partial }_i$ has order one because $[{\partial }_i,m_f]=m_{{\partial }_{i}f}$. They satisfy the defining Weyl algebra relations, giving an algebra homomorphism $A_n\to D_{\mathbb{C}}(R)$. Reordering spans $A_n$ by $x^{\alpha }{\partial }^{\beta }$. If an ordered expression acted as zero, commutation with the coordinates according to a maximal derivative multiindex would give multiplication by $\beta !f_{\beta }(x)=0$; removing the top coefficients successively proves that every coefficient is zero. Thus the homomorphism is injective, as in the ordered monomial basis of a Weyl algebra proof.

For surjectivity, let $P$ have order at most $m$, and put ${\delta }_{i}P=[P,m_{x_i}]$. The operations ${\delta }_i$ commute, since the coordinate multiplications commute. A product of more than $m$ of them kills $P$. Define polynomial coefficientsCommuting $P$ through $m_{x^{\alpha }}$ repeatedly gives the finite identityIt follows by induction on $|\alpha |$ from $P{m}_{x_i}=m_{x_i}P+{\delta }_{i}P$ and Pascal's identity. Terms with $|\beta |>m$ vanish. Sincefor $\beta \le \alpha$, we obtain $P(x^{\alpha })={\sum }_{|\beta |\le m}{a}_{\beta }(x){\partial }^{\beta }(x^{\alpha })$. The monomials are a complex basis of $R$, so complex linearity yields equality of the operators on all of $R$. HenceFor a nonzero ordered expression ${\sum }_{\beta }{a}_{\beta }(x){\partial }^{\beta }$, its order is exactly ${\max }_{a_{\beta }\ne 0}|\beta |$. The upper bound follows from composition; the lower bound follows by taking that many coordinate commutators to extract a nonzero multiplication operator. This describes the order filtration of a Weyl algebra:

The associated graded ring is thereforeThe symbol of ${\partial }_i$ is ${\xi }_i$. In a product of ordered operators, moving derivatives past coefficients introduces terms of lower differential order. Thus top-order symbols multiply as ordinary polynomials, and the ordered basis proves there are no further relations. In particular $[D^p,D^q]\subseteq D^{p+q-1}$, with $D^{-1}=0$: the top-order symbols of the two products agree and cancel. Unlike the Bernstein filtration, the order filtration's degree-zero part is the entire polynomial ring and its pieces are infinite-dimensional over $\mathbb{C}$.

Form the Rees ring of a filtered algebraThe central element $h$ is a non-zero-divisor. This ring is generated by $h$, the $x_i$, and $y_i=h{\partial }_i$, withIts quotient modulo $h$ is the associated graded ring just computed. Explicitly the degree-$m$ component of $h\mathcal{A}$ is $D^{m-1}{h}^m$, so the degree-$m$ quotient is $D^m/D^{m-1}$. The quotient modulo $h-1$ recovers $A_n$.

Since $\mathcal{A}/h\mathcal{A}$ is commutative, any two lifts $F,G\in \mathcal{A}$ of symbols have $[F,G]\in h\mathcal{A}$. DefineDivision by $h$ is unique because $h$ is a non-zero-divisor. If $F$ is replaced by $F+hU$, the quotient changes by $[U,G]$, which is zero modulo $h$; changing $G$ works the same way. Thus the bracket is well defined. Antisymmetry and bilinearity follow from the commutator. The identity $[F,GH]=[F,G]H+G[F,H]$ proves the Leibniz rule. For the Jacobi identity, lift each inner bracket by $[G,H]/h$; the cyclic sum of the outer expressions is the commutator Jacobi identity divided by $h^2$, hence zero. These verifications prove that the graded polynomial ring is a Poisson algebra. This is the Poisson bracket from a central deformation parameter construction.

The generators give $\{{\xi }_i,x_j\}={\delta }_{ij}$ and all coordinate-coordinate and symbol-symbol brackets zero. The Leibniz rule therefore determines the answer on every polynomial:The sign here follows the chosen convention $[P,Q]=PQ-QP$: in particular $\{{\xi }_i,x_j\}={\delta }_{ij}$, rather than $\{x_i,{\xi }_j\}={\delta }_{ij}$. For homogeneous symbols the bracket has order degree $p+q-1$, and can equivalently be written $\{{\sigma }_p(P),{\sigma }_q(Q)\}={\sigma }_{p+q-1}([P,Q])$.

Use generators $x,D$ with $Dx-xD=1$. The ordered monomials $x^i{D}^j$ form a basis: construct the Weyl algebra as the differential Ore extension of $\mathbb{C}[x]$ with $Df=fD+f^{\prime }$, which has unique ordered polynomial expressions. Giving both generators degree one produces the Bernstein filtration, whose associated graded ring is $\mathbb{C}[x,\xi ]$. If $a,b\ne 0$, their nonzero leading symbols have nonzero product in this polynomial integral domain. Thus $ab$ has nonzero leading symbol and cannot vanish. Hence $A_1(\mathbb{C})$ has no nontrivial zero divisors.

Here is the left-handed Ore theorem. Let $S$ be a multiplicative set of regular elements of a ring, containing $1$ and excluding $0$. There is an injective Ore localization whose elements are left fractions $s^{-1}a$ if and only ifThis is the left Ore condition. For a noncommutative domain, taking $S=A\setminus \{0\}$ gives a division ring exactly when this condition holds. With zero-divisor denominators a further left reversibility condition is needed; the regular-denominator statement is the one used here.

Necessity follows by writing $a{s}^{-1}=t^{-1}b$ in the quotient and multiplying by $t$ and $s$, giving $ta=bs$ in the embedded original ring. For a construction proving sufficiency, use the left Ore fraction construction: pairs $(s,a)$ represent $s^{-1}a$, and $(s,a)$ and $(t,b)$ are equivalent whenfor suitable $u,v\in A$. Reflexivity and symmetry are immediate. For transitivity, combine $us=vt=w$ and $u^{\prime }t=v^{\prime }q=w^{\prime }$ by a common left multiple $hw=k{w}^{\prime }\in S$. Then $(hv-k{u}^{\prime })t=0$, so regularity gives $hv=k{u}^{\prime }$, which combines the numerator equalities and proves transitivity.

Addition uses the common denominator $w$, with numerator $ua+vb$. To multiply $s^{-1}a$ by $t^{-1}b$, choose $v\in S,c\in A$ with $va=ct$; setThe Ore condition supplies a common refinement whenever a representative or an Ore relation is changed, and regularity cancels the shared denominator, proving independence of choices. The same refinements verify the ring axioms; the formulas are simply addition and multiplication after clearing left denominators. The map $a\mapsto (1,a)$ is injective, since equivalence to zero would give $ua=0$ with $u\in S$. Each $s\in S$ becomes invertible. A homomorphism inverting $S$ extends uniquely by $(s,a)\mapsto f(s{)}^{-1}f(a)$, giving the universal property. For all nonzero denominators in a noncommutative domain, a nonzero fraction has inverse $(s^{-1}a{)}^{-1}=a^{-1}s$, so the quotient is a division ring. This is the requested proof sketch, with the fraction equivalence and multiplication made explicit.

It remains to check the left Ore condition for $A_1(\mathbb{C})$. Its graded polynomial ring is Noetherian by the Hilbert basis theorem. Lifting homogeneous generators of a graded left ideal and successively cancelling leading symbols proves that the filtered algebra is a left Noetherian ring: each subtraction lowers the nonnegative degree, so it terminates.

In any left Noetherian noncommutative domain, nonzero principal left ideals intersect. Otherwise $Ab\cap Aa=0$ with $a,b\ne 0$ would makean infinite direct sum of nonzero left ideals. To verify directness, reduce a finite relation modulo $Aa$ to make its first summand zero, then cancel $a$ on the right and repeat. Its increasing finite partial sums contradict the ascending chain condition. A nonzero element of $Aa\cap As$ therefore has the form $ta=bs\ne 0$, with $t\ne 0$, proving the required condition. Consequently $A_1(\mathbb{C})$ has a classical ring of left quotients, and it is a division ring.

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.

A filtration of a ring is an exhaustive increasing family of additive subgroups $F_{i}R$, indexed by the integers, with $1\in F_{0}R$ and $F_{i}R{F}_{j}R\subseteq F_{i+j}R$. A compatible filtration of a module on a right module satisfies $F_{i}M{F}_{j}R\subseteq F_{i+j}M$. The associated graded module has components $F_{i}M/F_{i-1}M$, and its action by the associated graded ring isChanging either representative changes the product only by an element of $F_{i+j-1}M$, so the action is well-defined.

The subspace filtration on $N$ is $F_{i}N=N\cap F_{i}M$. The quotient filtration is $F_i(M/N)=(F_{i}M+N)/N$. Inclusion induces an injective map $\mathrm{gr}N\to \mathrm{gr}M$, and the quotient induces a surjective map to $\mathrm{gr}(M/N)$. If $m\in F_{i}M$ maps to zero in its degree-$i$ quotient, write $m=n+m^{\prime }$ with $n\in N$ and $m^{\prime }\in F_{i-1}M$. Then $n\in N\cap F_{i}M$, so the kernel is exactly the image of $\mathrm{gr}N$. We have the short exact sequencewhich is exactness of associated graded modules for induced filtrations.

For the negative case, $F_{i}R=R$ for $i\ge 0$. Completeness means that $R\to {\underleftarrow{\lim }}_{q}R/F_{-q}R$ is an isomorphism; in particular the filtration of a ring is separated. If $x\in F_{-1}R$ and $r\in R$, then $(xr{)}^q\in F_{-q}R$. The geometric seriesconverges in the complete negative filtration and is a two-sided inverse of $1-xr$, by the finite geometric identity and continuity of multiplication. The unit criterion for the Jacobson radical now gives

Let $I$ be any right ideal. The associated graded module $\mathrm{gr}I$ for its subspace filtration is a homogeneous ideal on the right in $\mathrm{gr}R$. If $\mathrm{gr}R$ is a right Noetherian ring, choose homogeneous generators that lift to $x_1,\dots ,x_s\in I$, with degrees $d_1,\dots ,d_s\le 0$.

For $x\in I\cap F_{d}R$, cancel its degree-$d$ symbol by a sum ${\sum }_i{x}_i{a}_{i,0}$ with $a_{i,0}\in F_{d-d_i}R$. The remainder belongs to $I\cap F_{d-1}R$. Repeat the cancellation in each succeeding degree. After $q$ steps,For every $i$, the coefficient series converges to some $a_i\in R$ by completeness. Passing to the limit gives $x={\sum }_i{x}_i{a}_i$. Thus these finitely many $x_i$ generate the actual right ideal $I$; no assumption that $I$ is closed is needed. Since every right ideal is finitely generated, $R$ is right Noetherian, by complete negative filtered-graded transfer of Noetherianity.