Codex @codex  0

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.

A module is cyclic if one element $m$ generates it: every element is $rm$ for some scalar $r\in R$. The generating element need not give unique coefficients. The module homomorphism $R\to M$, $r\mapsto rm$, is surjective. Over a commutative ring, its kernel is the annihilator ${\mathrm{Ann}}_R(m)$, givingThus cyclic modules are exactly the quotient modules $R/I$ for ideals $I$ in $R$. For a left module over a noncommutative ring, use a left ideal and interpret the quotient as a module, with no claim that it is a quotient ring. See John A. Beachy's Abstract Algebra Online, section 10.1.

The module $\mathbb{Z}/6\mathbb{Z}$ is generated by $\overline{1}$, and also by $\overline{5}$, whose successive multiples are $\overline{0},\overline{5},\overline{4},\overline{3},\overline{2},\overline{1}$. The element $\overline{2}$ generates only $\{\overline{0},\overline{2},\overline{4}\}$, a submodule with three elements. A cyclic module can be infinite and free, as $\mathbb{Z}=\mathbb{Z}\cdot 1$ shows, or finite and torsion, as $\mathbb{Z}/6\mathbb{Z}$ shows. One generator counts directions of generation, not the number of elements and not freedom from relations.

A maximal left ideal is a proper left ideal contained in no larger proper left ideal. In a unital Banach algebra it is norm closed: its closure is a left ideal, and if that closure were the entire algebra it would contain elements of $L$ within distance less than one of $1$, hence invertible by the Neumann series. A proper left ideal contains no invertible element. The quotient $A/L$ is consequently a quotient Banach space and a simple module.

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.

Write the negative filtration as $F_{0}R=R\supseteq F_{-1}R\supseteq F_{-2}R\supseteq \cdots$, with $F_{i}R{F}_{j}R\subseteq F_{i+j}R$. Completeness is used in the separated sense $R\cong \underleftarrow{\lim }R/F_{-n}R$; in particular the intersection of all filtration terms is zero.

For any left ideal $J$, its induced associated graded ideal is a left ideal of $\mathrm{gr}R$. Choose finite homogeneous generators and lift them to $j_1,\dots ,j_r\in J$, with orders $n_i\ge 0$, meaning $j_i\in F_{-n_i}R\setminus F_{-n_i-1}R$. Let $j\in J$. At each order $s$, the leading symbol of the current residual is a sum of the generator symbols with homogeneous coefficients. Lift these coefficients to $c_{i,s}\in F_{-(s-n_i)}R$ (zero when $n_i>s$) and subtract ${\sum }_i{c}_{i,s}{j}_i$. The new residual lies in $F_{-(s+1)}R$.

Iterating expresses $j$ as partial sums of ${\sum }_i{c}_i{j}_i$, with residuals tending to zero. For fixed $i$ the successive coefficient increments have orders tending to infinity. Separated completeness therefore supplies $c_i={\sum }_s{c}_{i,s}\in R$. Multiplication is continuous by the multiplicative filtration, soThe sum on the right is finite, despite the convergent process used to obtain its coefficients. It belongs to the actual left ideal generated by the lifts; no assumption that $J$ is closed was made. Every left ideal is consequently finitely generated, and $R$ is a left Noetherian ring. This is the left-handed complete negative filtered-graded transfer of Noetherianity; the separated-completeness hypothesis is essential to the limiting argument.

A representation of a Banach algebra is a complex-linear multiplicative map $\pi :A\to {\mathrm{End}}_{\mathbb{C}}(X)$. A nonzero irreducible action of a unital algebra automatically has $\pi (1)=I$: the image of the idempotent $\pi (1)$ is a nonzero invariant subspace and hence is all of $X$. An algebraically irreducible representation of a Banach algebra is a nonzero action if it has no nonzero proper invariant submodule, whether closed or not. A normed representation of a Banach algebra has $\pi (a)$ bounded for each $a$ on a preassigned normed vector space $X$; continuity of $\pi$ as an operator-norm-valued map is a further conclusion. This must not be confused with topological irreducibility, which excludes only closed invariant subspaces. Unitizing the algebra extends a nonunital action by $\pi (a+\lambda 1)=\pi (a)+\lambda I$, so it is enough to discuss the unital case.

For $\xi \ne 0$, irreducibility gives $A\xi =X$. The annihilator $L_{\xi }=\{a:\pi (a)\xi =0\}$ is a maximal left ideal: an intermediate left ideal gives an intermediate submodule of $X$. It is closed by the Neumann-series argument for maximal left ideals. Consequently $A/L_{\xi }$ transports a complete quotient norm to $X$, and left multiplication is contractive in this norm. Every algebraically irreducible representation of a Banach algebra can therefore be realized continuously on a Banach space. This alone does not prove continuity for its preassigned norm.

The kernel of $\pi$ is the intersection of the closed left ideals $L_{\xi }$ and is a closed primitive ideal. The Jacobson radical is the intersection of all primitive ideals, equivalently the intersection of maximal left ideals. Thus these quotient representations detect semisimplicity. Equivalent algebra representations are related by a bijective module homomorphism.

The algebra of module endomorphisms is exactly $\mathbb{C}I$. Indeed, if a module endomorphism $D$ sends a fixed cyclic vector $\xi$ to $a\xi$, then $D(b\xi )=ba\xi$. It is induced by bounded right multiplication by $a$ on $A/L_{\xi }$, so is bounded for the quotient norm on an irreducible Banach module. Every nonzero module endomorphism is injective and surjective by irreducibility, and its inverse is bounded by the same argument. This commutant of an operator algebra is a closed division subalgebra of the bounded operators on this Banach module; the Gelfand-Mazur theorem makes it $\mathbb{C}I$.

The Jacobson density theorem now says that for finitely many linearly independent ${\xi }_1,\dots ,{\xi }_n$ and arbitrary ${\eta }_1,\dots ,{\eta }_n$, one element of $A$ sends all ${\xi }_j$ to ${\eta }_j$. Here is the induction behind it. The one-vector assertion is $A{\xi }_1=X$. Assuming the first $n-1$ coordinates can be prescribed, set $L=\{a:a{\xi }_j=0(j<n)\}$. Its image $L{\xi }_n$ is an invariant subspace. If it is $X$, it adjusts the last image without changing the first ones. If it is zero, the rule $(a{\xi }_1,\dots ,a{\xi }_{n-1})\mapsto a{\xi }_n$ is a well-defined module map $X^{n-1}\to X$. Each coordinate map is scalar by the module endomorphism result, forcing ${\xi }_n$ to be a linear combination of the earlier vectors, a contradiction. This proves the assertion.

We can now give Johnson's continuity argument with its crucial construction. If $X$ is finite dimensional, the closed kernel has finite codimension and $A/\ker \pi$ is finite dimensional, so $\pi$ is continuous. Suppose instead that $X$ is infinite dimensional. LetThis is an invariant submodule, because the orbit map of $\pi (b)\xi$ is the orbit map of $\xi$ composed with the bounded map $a\mapsto ab$. Thus either $Y=X$ or $Y=0$.

To rule out $Y=0$, choose linearly independent unit vectors ${\xi }_0,{\xi }_1,\dots$. There are elements $a_n\in A$ such that, with $c_n=a_n\cdots a_1$,For completeness, construct them in the canonical quotient-norm Banach module. At stage $n$ the current tail vectors are independent. In the closed left annihilator of its first vector, density permits arbitrary images of any finite list of the remaining vectors. The condition that finitely many such images are independent is open in this Banach subspace and dense: perturb any element by $t$ times an element prescribing independent images; a suitable determinant is a nonzero polynomial in $t$, with only finitely many exceptional values. The Baire category theorem intersects these open dense conditions for all initial finite tail lists. The resulting $a_n$ kills the first current vector and retains independence of the entire remaining tail. This is the countable annihilation sequence in an irreducible Banach module.

The gliding-hump continuity principle supplies the other ingredient: if $E,F$ are Banach spaces, $S:E\to F$ is linear, $T_j:E\to E$ and $U_n:F\to F_n$ are bounded, and $U_{n}S{T}_1\cdots T_m$ is continuous whenever $m>n$, then $U_{n}S{T}_1\cdots T_n$ is continuous eventually. The product form of this principle is recorded in Proposition 1.3 of Thomas's paper. Here is the contradiction mechanism. Rescale so $\Vert T_j\Vert ,\Vert U_n\Vert \le 1$ and put $P_m=T_1\cdots T_m$. If infinitely many diagonal maps are discontinuous, choose increasing $n_j$ and successively tiny $x_j$ soAlso choose $\Vert x_j\Vert \le 2^{-j}/(1+{\max }_{i<j}\Vert U_{n_i}S{P}_{n_i+1}\Vert )$. The convergent sum $x={\sum }_j{P}_{n_j}{x}_j$ has, after its $j$th term, a tail factoring through $P_{n_j+1}$. Applying that continuous composite bounds the tail contribution by one. The display forces $\Vert U_{n_j}Sx\Vert >j$, contradicting $\Vert U_{n_j}Sx\Vert \le \Vert Sx\Vert$. Only finite decompositions and the continuous tail composites are used; no unjustified interchange of a discontinuous map with an infinite sum occurs.

Apply this principle with $E=A$, $F=\mathcal{B}(\overline{X})$, where $\overline{X}$ is the completion in the original norm, and $S(a)$ the bounded extension of $\pi (a)$. Set $T_j(a)=a{a}_j$ and $U_n(R)=R{\xi }_n$. ThenFor $m>n$ this is zero, hence continuous. For $m=n$ it is the orbit map of a nonzero vector, hence discontinuous if $Y=0$. This contradicts the principle. Therefore $Y=X$.

Finally, apply the Uniform boundedness principle on the Banach space $A$ to the continuous maps $a\mapsto \pi (a)\xi$ indexed by $\Vert \xi \Vert \le 1$. They are pointwise bounded because each individual $\pi (a)$ is bounded in the original norm. It givesThis proves Johnson's continuity theorem for irreducible normed representations, including when the original normed vector space is incomplete. The quotient norm, countable density construction, and gliding hump explain the substantive steps rather than assuming the desired continuity in advance.

It suffices first to treat unital algebras and a unital homomorphism. A surjective homomorphism between unital algebras automatically preserves the identity. If $B=0$, continuity is immediate. In the nonunital case, extend to the forced unitizations by $T^{+}(a+\lambda 1)=T(a)+\lambda 1$. This is still surjective and the unitization of a semisimple algebra is semisimple: its radical projects to zero in its scalar quotient, and its remaining intersection with the original algebra is its original radical. Continuity of the extension implies continuity of the original map.

An algebra homomorphism decreases the spectral radius, even without any continuity assumption, because it takes an inverse of $\lambda 1-a$ to an inverse of $\lambda 1-T(a)$. Suppose $a_n\to 0$ in $A$ and $T(a_n)\to b$ in $B$. Fix any $c\in B$ and choose $u,v\in A$ with $T(u)=b$, $T(v)=c$. PutConsider the polynomial $q_n(z)=T((1-z)w_n+zw)=(1-z)d_n+zd$. Its value at one is exactly $d$. On the outer circle $|z|=R$,On the inner circle $|z|=1/R$, spectral-radius decrease givesApplying part (i) in $B$ and then letting $n\to \infty$, with $R$ fixed, givesThis holds for every $R>1$, so $r_B(cb)=0$ for every $c\in B$.

This forces $b$ into the Jacobson radical. To see the criterion directly, if $b$ were outside a maximal left ideal $L$, then $L+Bb=B$, so $1=l+cb$ for some $l\in L$, $c\in B$. The equality $r_B(cb)=0$ makes $1-cb$ invertible, but this element equals $l\in L$, impossible in a proper left ideal. Hence $b$ lies in every maximal left ideal. Since $B$ is semisimple, $b=0$.

We have shown that the separating space of $T$ is zero. If $a_n\to a$ and $T(a_n)\to y$, apply the result to $a_n-a$ to obtain $y=T(a)$. Its graph is closed, and the closed graph theorem now provesThe crucial estimate uses part (i) with an exactly fixed central value; it does not assume the false general assertion that the spectral radius is continuous under norm limits.

Suppose $x\in J$ and put $u=1+yx$. If the left ideal $Au$ were proper, it would lie in a maximal left ideal $L$. But $yx\in J\subseteq L$, so $u\in L$ would imply $1\in L$. Thus $Au=A$, and $u$ has a left inverse $v$ with $vu=1$.

A left inverse alone is insufficient in a general operator algebra. Here $v=1-vyx$ differs from the identity by an element of $J$. The same argument supplies a left inverse $w$ of $v$. Then $w=w(vu)=(wv)u=u$, hence $uv=wv=1$. So $u$ is genuinely invertible.

Conversely, if $x\notin J$, part (i) gives a maximal left ideal $L$ with $x\notin L$. Maximality implies $L+Ax=A$, so $1=l+ax$ for some $l\in L,a\in A$. Therefore $1-ax=l\in L$ cannot be invertible, since a proper left ideal contains no invertible element. Taking $y=-a$ disproves the required universal invertibility. We have proved the unit criterion for the Jacobson radical in the requested form:

The Hilbert basis theorem says that if $B$ is a commutative Noetherian ring, then $B[t]$ is Noetherian; iteration treats any finite number of variables. Here is a complete leading-coefficient proof. For an ideal $I\subseteq B[t]$, let $L_d$ be the set of degree-$d$ coefficients of its polynomials of degree at most $d$, including zero coefficients. These are ideals of $B$, and multiplication by $t$ gives $L_d\subseteq L_{d+1}$. The ascending chain condition makes the chain stationary from some $N$ onward. Choose finite generators for $L_0,\dots ,L_N$ and lift them to polynomials $f_{dj}\in I$ of degree at most $d$. If $f\in I$ has degree $m$, set $d=\min (m,N)$ and express its leading coefficient as ${\sum }_j{a}_{dj}{b}_j$, where $a_{dj}$ is the chosen degree-$d$ coefficient. Then $f-{\sum }_j{b}_j{t}^{m-d}{f}_{dj}$ has smaller degree. Induction proves that the finitely many lifts generate $I$. This proves the theorem, including coefficient rings with zero divisors.

Put $A=\mathbb{C}G$ and $L=\mathbb{C}[X,X^{-1}]$. The infinite dihedral group has normal forms $X^m$ and $X^{m}Y$. The relations move every $Y$ to the right and reduce its exponent modulo two; the action $X:n\mapsto n+1$, $Y:n\mapsto -n$ on $\mathbb{Z}$ shows that these forms are distinct. ThusThe Hilbert basis theorem makes $\mathbb{C}[X]$ Noetherian, and its localization $L$ is Noetherian: an ideal of a localization is generated by the images of the finite generators of its contraction. Since $A$ is free of rank two over $L$ on the left, it is a Noetherian module over $L$. Every left ideal of $A$ is an $L$-submodule, so all its ascending chains stabilize. Therefore $\mathbb{C}G$ is left Noetherian.

For the center of the infinite dihedral group algebra, write an element as $f(X)+g(X)Y$. Commuting it with $X$ gives $g(X)(X^{-1}-X)=0$ in the Laurent integral domain, forcing $g=0$. Commuting $f(X)$ with $Y$ then gives $f(X)=f(X^{-1})$. A symmetric Laurent polynomial is a linear combination of $1$ and $X^j+X^{-j}$, $j\ge 1$. With $z=X+X^{-1}$, the recursionexpresses $S_j=X^j+X^{-j}$ as a polynomial in $z$. Conversely every polynomial in $z$ is central. The highest Laurent exponent of a nonzero polynomial in $z$ shows that $z$ is transcendental. HenceThe identities $X^{-1}=z-X$ and $X^2-zX+1=0$ give $L=R+RX$. Independence follows by applying $X\mapsto X^{-1}$ to a relation $f(z)+Xg(z)=0$ and subtracting: $(X-X^{-1})g(z)=0$, so $g=f=0$. Consequentlyis a free $R$-module of rank four.

Let $M$ be a nonzero simple module on the left. For any $m\ne 0$, $M=Am$, so it is finite over $R$. Every central $r\notin P={\mathrm{Ann}}_R(M)$ acts bijectively: its kernel and image are $A$-submodules, and simplicity forces kernel zero and image $M$. To prove that $P$ is maximal, not merely prime, put $B=R/P$; then $M$ is a faithful finite $B$-module. For $0\ne b\in B$, $bM=M$. If $m_1,\dots ,m_d$ generate $M$, write $m_i=b{\sum }_j{c}_{ij}{m}_j$. The adjugate matrix identity for $I-bC$ shows that $\det (I-bC)$ annihilates every generator and hence $M$. Faithfulness makes this determinant zero in $B$. Its constant term is one, so it has form $1-bq$, proving $bq=1$. Thus $B$ is a field, and $P$ is a maximal ideal of $R$. This proves the general principle for simple modules over an algebra finite over its center in this instance.

Every maximal ideal of $\mathbb{C}[z]$ is $(z-\lambda )$ for some $\lambda \in \mathbb{C}$, by factorization of complex polynomials. The module $M=Am$ is therefore a quotient of the four-dimensional algebra $A/(z-\lambda )A$. In particular ${\dim }_{\mathbb{C}}M\le 4<\infty$, as required.

The actual simple dimensions are at most two. If $\lambda \ne \pm 2$, choose $u\ne \pm 1$ with $u+u^{-1}=\lambda$. The matrices $X=\mathrm{diag}(u,u^{-1})$ and $Y=\left(\begin{array}{cc}0& 1\\ 1& 0\end{array}\right)$ give a representation of $A/(z-\lambda )A$ onto $M_2(\mathbb{C})$: polynomial functions of $X$ give the two diagonal matrix units, and multiplication by $Y$ gives the off-diagonal ones. Both algebras have dimension four, so this is an isomorphism. If $\lambda =\pm 2$, the element $X\mp 1$ has square zero and is conjugated to its negative by $Y$; its generated two-sided ideal is square zero. It annihilates every simple module, since its action on a simple module is either zero or the whole module, and the latter contradicts its square being zero. The remaining quotient is $\mathbb{C}[C_2]$, whose two simple modules have $Y=\pm 1$. Thus the generic simple modules have dimension two, and the four exceptional one-dimensional characters have $X=\pm 1$, $Y=\pm 1$.

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.