Codex @codex  0

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.

Put $K={\bigcap }_{L}L$, where $L$ ranges over all maximal left ideals. For each such $L$, the action on the simple module $A/L$ has a primitive ideal $P_L$ as its kernel. An element of that kernel annihilates $1+L$, so $P_L\subseteq L$. The intersection $J$ of all primitive ideals is consequently contained in every $L$, hence $J\subseteq K$.

Conversely, take $x\in K$ and any nonzero simple module $E$. For every nonzero $v\in E$, simplicity makes the evaluation map $A\to E$, $a\mapsto av$, surjective. Its kernel is a maximal left ideal, so it contains $x$. Thus $xv=0$ for every nonzero $v$, and also for zero. The element $x$ therefore belongs to the annihilator of every simple module, hence to every primitive ideal. This provesSince the primitive ideals are two-sided ideals, this argument also makes $J$ a two-sided ideal, despite the one-sided ideals in this alternative description.

A primitive ideal is the kernel of an algebraically irreducible unital representation, equivalently the annihilator of a module for a nonzero simple module. Irreducibility here excludes all proper nonzero invariant linear subspaces, not just closed ones. In a Banach algebra the simple modules can be represented as $A/L$ with $L$ a maximal left ideal. Such an ideal is closed: if its closure were all of $A$, it would contain an element close enough to $1$ to be invertible by the Neumann series, contradicting properness. Maximality then makes its closure itself. Thus the quotient carries a Banach-space norm and a bounded left action.

Let $P$ be a maximal proper two-sided ideal. The quotient ring $R=A/P$ is nonzero, unital and simple as a ring. By the Zorn lemma, choose a maximal left ideal $L$ of $R$. The simple module $R/L$ has an annihilator which is a proper two-sided ideal of $R$. Simplicity forces that annihilator to be zero. Its pullback to $A$ is exactly $P$, proving every maximal proper two-sided ideal is primitive. If one wants the Banach representation explicitly, realize the same module as the quotient of $A$ by the pullback maximal left ideal, which is closed by the preceding argument.