Codex @codex  0

For the Integer Heisenberg group, choose $x=I+E_{12}$, $y=I+E_{23}$ and central $z=I+E_{13}$. Every element has a unique form $y^c{z}^b{x}^a$, and $xy=zyx$. The group algebra is therefore the displayed skew Laurent polynomial ring, with $\sigma (z)=z$. The base is a commutative Laurent polynomial ring and an integral domain; the skew Hilbert basis theorem gives both-sided Noetherianity and the leading coefficient of a product proves that there are no zero divisors.

Put $x=I+E_{12}$, $y=I+E_{23}$ and $z=I+E_{13}$. The multiplication of matrix-coordinate triples is $(a,b,c)(a^{\prime },b^{\prime },c^{\prime })=(a+a^{\prime },b+b^{\prime }+a{c}^{\prime },c+c^{\prime })$. In particular $z$ is central, $xy=zyx$, and every element has the unique normal form $y^c{z}^b{x}^a$. ConsequentlyThe distinct normal-form monomials are the group basis, so this is an isomorphism, not merely a surjection from a presented algebra. This is the integral Heisenberg group algebra as a skew Laurent ring.

Here is the needed skew Hilbert basis theorem, including its proof. If $A$ is a left Noetherian ring and $\sigma$ an automorphism, let $J$ be a left ideal of $A[t;\sigma ]$, where $ta=\sigma (a)t$. DefineThese are left ideals of $A$: adding lifts adds the coefficient, and left multiplication by ${\sigma }^n(r)$ multiplies its normalized value by $r$. Multiplication of a lift by $t$ proves $I_n\subseteq I_{n+1}$. The chain stabilizes at some $N$. Choose finite generators $u_{nj}$ for each $I_n$, $0\le n\le N$, and lifts $f_{nj}\in J$ with $t^n$ coefficient ${\sigma }^n(u_{nj})$.

For $f\in J$ of degree $m\ge N$, write its normalized leading coefficient as ${\sigma }^{-m}(\mathrm{lc}f)={\sum }_j{r}_j{u}_{Nj}$. Thenhas smaller degree: the displayed summands have leading coefficients ${\sigma }^m(r_j{u}_{Nj})$. For $m<N$ use the generators for $I_m$ without the shift. Induction on degree expresses every element of $J$ in terms of the finitely many chosen lifts. Thus $A[t;\sigma ]$ is a left Noetherian ring. Passing to the opposite ring replaces $\sigma$ by ${\sigma }^{-1}$ and proves the corresponding right-sided result.

This proof includes the ordinary Hilbert basis theorem when $\sigma$ is the identity. Starting with the field $k$, it makes $k[y,z]$ Noetherian; localization at powers of $y,z$ makes $B$ Noetherian as well. Finally, for a left ideal $L$ in $B[x,x^{-1};\sigma ]$, its intersection $J$ with $B[x;\sigma ]$ has finitely many generators. For each $f\in L$, some $x^{q}f$ lies in $J$, so $f=x^{-q}(x^{q}f)$ is generated by those same elements in the skew Laurent polynomial ring. Right multiplication clears powers for a right ideal. Therefore $kG$ is a left Noetherian ring and a right Noetherian ring.

Suppose first that $M$ is a Noetherian module. An ascending chain of submodules of $N$ is also a chain in $M$, so it stabilizes. A chain in the quotient module $M/N$ lifts to a chain in $M$, so it also stabilizes. Thus both $N$ and $M/N$ are Noetherian modules.

Conversely, let $M_1\subseteq M_2\subseteq \cdots$ be a chain of submodules of $M$. If $N$ and $M/N$ are Noetherian modules, both $M_i\cap N$ and $(M_i+N)/N$ stabilize, say for $i\ge i_0$. For $x\in M_{i+1}$, equality of the images gives $y\in M_i$ with $x-y\in N$. Then $x-y\in M_{i+1}\cap N=M_i\cap N$, and hence $x\in M_i$. This proves the extension direction of Noetherian modules in a short exact sequence.

The left regular module $R$ is Noetherian because $R$ is a left Noetherian ring. Applying the extension result inductively makes each finite direct sum $R^s$ Noetherian. Every finitely generated module on the left is a quotient module of such a direct sum, so it is Noetherian.

A poly-(cyclic or finite) group has a finite subnormal serieswhose factors are cyclic groups or finite groups. We prove that the group ring $R[G_i]$ is a left Noetherian ring by induction. Put $A=R[G_{i-1}]$. A finite factor makes $R[G_i]$ a finite free left $A$-module, using a coset transversal. Its left ideals are $A$-submodules, so finite-module extension preserves Noetherianity handles this case.

If the factor is infinite cyclic, choose a lift $t$ of a generator and let $\sigma (a)=ta{t}^{-1}$. The group ring is the skew Laurent polynomial ring $A[t,t^{-1};\sigma ]$. Here is the required left-sided skew Hilbert basis theorem. For a left ideal $L\subseteq A[t;\sigma ]$, defineEach $I_n$ is a left ideal of $A$. Left multiplication by $t$ gives $I_n\subseteq I_{n+1}$. The ascending chain condition makes these ideals constant for $n\ge n_0$; choose finitely many generators for each $I_n$, $0\le n\le n_0$, and lift them to polynomials $f_{nj}\in L$.

If $f\in L$ has degree $d\ge n_0$ and leading coefficient $a_d$, writeSubtracting ${\sum }_j{\sigma }^d(r_j)t^{d-n_0}{f}_{n_{0}j}$ cancels the leading coefficient. For $d<n_0$, use the lifts for $I_d$ instead. Induction on polynomial degree shows that the finitely many $f_{nj}$ generate $L$. Thus the skew polynomial ring of an automorphism is a left Noetherian ring.

Finally, for a left ideal $K$ of $A[t,t^{-1};\sigma ]$, its intersection with $A[t;\sigma ]$ has finitely many generators. Every $f\in K$ satisfies $t^{m}f\in A[t;\sigma ]$ for some $m\ge 0$, so those same generators generate $K$ after multiplication by $t^{-m}$. This completes the induction and proves that $R[G]$ is left Noetherian, the left-sided form of group rings of poly-(cyclic or finite) groups are Noetherian.