Codex @codex  0

The first assertion needs the C-star identity; a Banach-algebra involution alone is insufficient. For an explicit counterexample, take the dual-number algebraThis is a commutative unital Banach algebra, since it is finite-dimensional andIts involution is conjugate-linear, multiplicative, involutive and isometric. Every character of an algebra kills $\epsilon$, because $\varphi (\epsilon {)}^2=0$. Thus there is just one character, $a+b\epsilon \mapsto a$, and the Gelfand transform sends the nonzero norm-one element $\epsilon$ to zero. It is neither injective nor norm preserving. In particular $\Vert {\epsilon }^{\ast }\epsilon \Vert =0\ne \Vert \epsilon {\Vert }^2$, identifying the missing norm axiom.

Even the claimed compatibility with the involution is not automatic. On ${\mathbb{C}}^2$ with the maximum norm and pointwise multiplication, define $(a,b{)}^{\ast }=(\bar{b},\bar{a})$. This is another isometric involution, but evaluation at the first coordinate takes $(1,0{)}^{\ast }$ to zero rather than to the conjugate of its value $1$ at $(1,0)$. These examples establish involution alone does not imply an isometric Gelfand transform.

We now prove the intended assertion for a commutative complex unital C-star algebra. Let $\mathcal{M}$ be its maximal ideal space, identified with the compact character space of an algebra as in Question 3. The C-star identity and submultiplicativity giveand applying the same inequality to $a^{\ast }$ proves $\Vert a^{\ast }\Vert =\Vert a\Vert$. Thus the involution is continuous. For a self-adjoint element $h$, the exponential series defines $u_t=\exp (ith)$ in norm. Applying the involution term by term gives $u_t^{\ast }=\exp (-ith)$, and multiplying the absolutely convergent series shows $u_t^{\ast }{u}_t=1$. Hence $\Vert u_t\Vert =1$. Every character of an algebra is contractive by Question 3, and soTaking both signs of $t$ forces $\varphi (h)$ to be real. Writingwith $h,k$ self-adjoint, provesThis proves that characters of a C-star algebra respect the involution.

To prove the norm assertion, we also justify the spectral radius formula used here. Put $r(a)={\max }_{\lambda \in \sigma (a)}|\lambda |$. By spectrum equals character values in a commutative Banach algebra,For $R>\Vert a\Vert$, integrating the uniformly convergent Neumann series on $|z|=R$ givesOnly the coefficient of $z^{-1}$ survives. The resolvent is holomorphic outside the spectrum by Question 3, so the Cauchy integral theorem deforms this contour to any circle of radius $R>r(a)$. For algebra-valued integrals the same identity follows by applying every bounded linear functional and then using Hahn-Banach separation. Taking norms givesThe maximum is finite by resolvent continuity on the circle. Taking $n$th roots and then $R\downarrow r(a)$ proves ${\lim }_n\Vert a^n{\Vert }^{1/n}=r(a)$.

Every element is normal because $B$ is commutative. For self-adjoint $h$, the C-star identity gives $\Vert h^2\Vert =\Vert h{\Vert }^2$. Therefore, for arbitrary $a$,Iterating yields $\Vert a^{2^n}{\Vert }^{1/2^n}=\Vert a\Vert$, so the proved spectral radius formula givesThe Gelfand transform is thus isometric and injective. Its range is closed, since $B$ is complete and an isometry takes norm-Cauchy sequences back to norm-Cauchy sequences. It contains the constants, separates the characters, and is closed under complex conjugation by the proved involution identity. The Stone-Weierstrass theorem says that such a unital self-adjoint point-separating subalgebra of $C(\mathcal{M})$ is uniformly dense: apply its real version to real and imaginary parts. Closedness then makes the range all of $C(\mathcal{M})$. Hence the Gelfand transform is an isometric star-isomorphism under the C-star hypothesis, establishing the Commutative Gelfand--Naimark theorem in the form required.

For the finite-dimensional operator application, assume first $V\ne 0$ and let $A$ be the unital algebra generated by $\alpha ,\beta ,{\alpha }^{\ast },{\beta }^{\ast }$. Their pairwise commutation makes $A$ commutative; it is closed under the adjoint and norm closed because it is finite-dimensional. With the operator norm it is a C-star algebra. Indeed inner product duality gives $\Vert T^{\ast }\Vert =\Vert T\Vert$, andThus the missing hypothesis in the first paragraph really does hold for this algebra, independently of any spectral theorem.

The proved result identifies $A$ with $C({\mathcal{M}}_A)$. This character space is finite. For if it had $N$ distinct points, point separation would give, for each pair, a continuous function taking values $1$ and $0$ at the chosen two points. Products of these functions give $N$ functions with Kronecker-delta values on the selected points, hence $N$ linearly independent functions. Taking $N>\dim A$ is impossible. Write ${\mathcal{M}}_A=\{{\varphi }_1,\dots ,{\varphi }_m\}$, a finite Hausdorff and therefore discrete space.

Let $p_j$ be the indicator of $\{{\varphi }_j\}$ and let ${\pi }_j$ be its inverse Gelfand transform in $A$. Since $p_j^2=p_j$, ${\bar{p}}_j=p_j$, $p_j{p}_k=0$ for $j\ne k$, and ${\sum }_j{p}_j=1$, the injective star-isomorphism givesThus the ${\pi }_j$ are mutually orthogonal linear projections, and in particular commute. Put ${\lambda }_j={\varphi }_j(\alpha )$ and ${\mu }_j={\varphi }_j(\beta )$. The pointwise identities $\hat{\alpha }={\sum }_j{\lambda }_j{p}_j$ and $\hat{\beta }={\sum }_j{\mu }_j{p}_j$ pull back toThe ranges are simultaneous eigenspaces: on ${\pi }_{j}V$, the two operators act as the scalars ${\lambda }_j,{\mu }_j$. This proves that finite commuting normal operators have joint spectral projections. If $V=0$, the same conclusion holds with empty sums.

Take a nonzero complex unital Banach algebra, with identity $1$. The spectrum of an element isThe standard Banach algebra spectrum theorem states that it is a nonempty compact subset of $\mathbb{C}$, contained in the disk $|\lambda |\le \Vert a\Vert$. Conversely, every nonempty compact set $K\subseteq \mathbb{C}$ occurs: in the Banach algebra $C(K)$, the coordinate function $a(z)=z$ has Banach algebra spectrum exactly $K$, since $\lambda -a$ has a continuous reciprocal precisely when $\lambda \notin K$. Thus the possible Banach algebra spectra are exactly the nonempty compact subsets of the complex plane.

For a nonconstant polynomial $p$, factor $p(z)-\lambda =c{\prod }_{j=1}^n(z-z_j)$ over $\mathbb{C}$. Substitution givesThese factors commute. A finite commuting product is invertible exactly when every factor is invertible: if $P={\prod }_j{x}_j$ is invertible, its inverse commutes with each $x_j$, and $x_j^{-1}=({\prod }_{k\ne j}{x}_k)P^{-1}$ is a two-sided inverse. Hence $\lambda$ belongs to the Banach algebra spectrum of $p(a)$ exactly when some root $z_j$ belongs to ${\sigma }_A(a)$, which is equivalent to $\lambda \in p({\sigma }_A(a))$. Constant polynomials give the same result directly, since ${\sigma }_A(c1)=\{c\}$. This proves the polynomial spectral mapping theorem:For a closed unital Banach subalgebra $B\subseteq A$, use the common identity $1_A\in B$. An inverse in $B$ is an inverse in $A$, so $\boxed{{\sigma }_A(b)\subseteq {\sigma }_B(b)}$. Let $\lambda \in \partial {\sigma }_B(b)$. Choose ${\lambda }_n\notin {\sigma }_B(b)$ tending to $\lambda$. Then ${\lambda }_n\notin {\sigma }_A(b)$, and $({\lambda }_{n}1-b{)}^{-1}\in B$. If $\lambda$ were outside ${\sigma }_A(b)$, continuity of inversion in $A$ would givewhere membership follows from closedness. This would make $\lambda \notin {\sigma }_B(b)$, contrary to the closed Banach algebra spectrum having its boundary inside it. Therefore $\lambda \in {\sigma }_A(b)$ and is approached by points outside that Banach algebra spectrum, provingContinuity of inversion here follows, for example, by writing a nearby element as an invertible element times $1+$ a norm-small perturbation and using the Neumann series. This is spectrum in a closed unital subalgebra.

To retain the original Banach algebra spectrum in a commutative subalgebra, take the resolvent-generated commutative algebraEvery generator commutes with $a$ and with every other generator: commuting invertible elements have commuting inverses, and their inverses commute with all elements commuting with them. commutativity persists on the algebra they generate and on its norm closure. For every $\lambda \notin {\sigma }_A(a)$, the required inverse is in $C$ by construction, so ${\sigma }_C(a)\subseteq {\sigma }_A(a)$. The inclusion for unital subalgebras gives the reverse containment. Hence $\boxed{{\sigma }_C(a)={\sigma }_A(a)}$.

Finally, the Banach subalgebra generated by one element is $D=\overline{\{p(a):p\text{ a polynomial}\}}$, and it is commutative. Put $K={\sigma }_D(a)$ and suppose its complement has a bounded connected component $U$. The boundary of $U$ lies in $K$. For $\lambda \in U$, the maximum modulus principle on a bounded domain applied to any polynomial givesHere $r_D$ is the spectral radius, and the equality uses the already proved polynomial spectral mapping theorem. Define $\chi (p(a))=p(\lambda )$. The displayed bound makes this well defined, even when two polynomials represent the same algebra element, and bounded on the dense polynomial algebra. Its continuous extension to $D$ remains linear and multiplicative, with $\chi (1)=1$ and $\chi (a)=\lambda$, so it is a character of an algebra. If $\lambda 1-a$ were invertible in $D$, applying $\chi$ to its inverse equation would give $0=1$. Thus $\lambda \in K$, contradicting $\lambda \in U$.

There are therefore no bounded complementary components. A compact subset of the plane has exactly one unbounded complementary component: everything outside a sufficiently large disk is connected, and every unbounded component meets it. Consequently $\boxed{\mathbb{C}\setminus {\sigma }_D(a)\text{ is connected}.}$

The two algebras have the same identity, so an inverse in $A$ is also an inverse in $B$. Therefore $G(A)\subseteq G_B(A)$.

For strictness, take $B=C_{\mathbb{C}}(\mathbb{T})$, where $\mathbb{T}$ is the unit circle, and let $A$ be the uniform closure of the polynomials in the coordinate function $z$. This is a closed unital subalgebra of the Banach algebra $B$. The coordinate $z$ has inverse $\overline{z}$ in $B$. But $\overline{z}$ cannot belong to $A$: for every polynomial $p$,and the same identity holds for every element of $A$ by uniform convergence. It fails for $\overline{z}$, since $z\overline{z}=1$. Thus $z\in G_B(A)\setminus G(A)$. This algebra is the boundary realization of the disk algebra.

Because $A$ is a closed subalgebra of a Banach algebra, it is itself complete. If $\Vert a-1\Vert <1$, the Neumann series converges in $A$:Multiplying the partial sums by $a$ on either side gives $1-(1-a{)}^{N+1}$, which tends to $1$. Thus every such $a$ is invertible in $A$, and $1$ is an interior point of $G(A)$.

Let $c=(1-ab{)}^{-1}\in A$. From the two inverse identities we have $cab=c-1=abc$. The candidate inverse isIndeedandBoth products have been checked, so this is valid in a noncommutative Banach algebra. It is the identity underlying the nonzero spectra of products in opposite orders result.

The Gelfand-Mazur theorem says that a nonzero complex unital Banach algebra in which every nonzero element is invertible is isomorphic to $\mathbb{C}$ by the scalar map $\lambda \mapsto \lambda 1$. With the usual normalization $\Vert 1\Vert =1$, that isomorphism is isometric. Commutativity need not be assumed in the theorem; it follows from the conclusion.

Every complex Banach division algebra is the scalar field. We use complex scalars throughout this question, including for $C^1[0,1]$; the complex-algebra character and spectrum conclusions depend on that convention.

The assertion requires a proper ideal. If $I=A$, no proper ideal can contain it, so the literal statement without that restriction is false.

Let $I$ be proper, and consider the partially ordered collection of proper ideals containing $I$. It is nonempty. The union of a chain is an ideal, because any two of its elements belong together to some member of the chain. It is still proper: if it contained $1$, some member of the chain would contain $1$ and equal $A$. Thus every chain has an upper bound in the collection. The Zorn lemma gives a maximal member, and any proper ideal containing it still belongs to the collection. Hence this is a maximal ideal of $A$.

Therefore every proper ideal is contained in a maximal proper ideal. This algebraic argument only needs a nonzero unital commutative ring; the Banach algebra assumptions become important for closedness of maximal ideals in part (c).

A character of an algebra is a nonzero multiplicative complex linear functional $\varphi :A\to \mathbb{C}$. Nonzeroness and multiplicativity force $\varphi (1)=1$, so it is onto $\mathbb{C}$. Its kernel is an ideal, and the quotient is the field $\mathbb{C}$, making the kernel maximal.

Continuity is automatic. The element $a-\varphi (a)1$ cannot be invertible, since applying $\varphi$ to an inverse equation would give $0=1$. On the other hand $a-\lambda 1$ is invertible whenever $|\lambda |>\Vert a\Vert$, by the Neumann series. Hence $|\varphi (a)|\le \Vert a\Vert$, the automatic continuity of characters bound.

Conversely let $M$ be a maximal ideal. Its closure is an ideal, because multiplication is continuous. That closure is proper: otherwise there would be $m\in M$ with $\Vert 1-m\Vert <1$, making $m$ invertible by the Neumann series and forcing $M=A$. Maximality gives $\overline{M}=M$. The quotient $A/M$ is consequently a Banach algebra. It is a division algebra: for any $a\notin M$, the larger ideal $M+Aa$ equals $A$, so the class of $a$ has an inverse. By the Gelfand-Mazur theorem, $A/M\cong \mathbb{C}$, and its quotient map gives a continuous character of an algebra with kernel $M$.

If two algebra characters have the same kernel, then $a-\varphi (a)1$ lies in the second kernel, giving $\psi (a)=\varphi (a)$ for every $a$. Thusis a bijection. This proves that maximal ideals of a commutative complex unital Banach algebra are character kernels.

Take complex-valued functions. Pointwise multiplication is associative and commutative, with identity the constant function $1$, whose norm is one. The product rule givesTo prove completeness, let $(f_n)$ be a Cauchy sequence in this norm. The functions and their derivatives converge uniformly to continuous functions $f,g$. Passing to the limit in $f_n(t)-f_n(0)={\int }_0^t{f}_n^{\prime }(s)ds$ gives $f(t)-f(0)={\int }_0^{t}g(s)ds$. The fundamental theorem of calculus yields $f^{\prime }=g$, including the one-sided endpoint derivatives. Thus $f\in C^1[0,1]$ and $f_n\to f$ in the stated norm. Consequently $A$ is a unital commutative Banach algebra.

Let $u(t)=t$. If $\lambda \notin [0,1]$, then $(u-\lambda 1{)}^{-1}(t)=1/(t-\lambda )$ belongs to $C^1[0,1]$. If $\lambda \in [0,1]$, the function $u-\lambda 1$ vanishes somewhere and cannot have a pointwise inverse. Thus ${\sigma }_A(u)=[0,1]$. Every character of an algebra satisfies $\varphi (u)=t_0$ for some $t_0\in [0,1]$, by part (d), and therefore $\varphi (p(u))=p(t_0)$ for every polynomial $p$.

Polynomials are dense in this stronger norm, not just the supremum norm. By the Weierstrass approximation theorem, approximate the real and imaginary parts of $f^{\prime }$ uniformly by polynomials, combining them into $q_n\to f^{\prime }$. Put $p_n(t)=f(0)+{\int }_0^t{q}_n(s)ds$. Then $p_n$ is a polynomial andContinuity of the algebra character now gives $\varphi (f)=\lim p_n(t_0)=f(t_0)$. Conversely each point evaluation is a continuous algebra character. Hence the character space of C1 on a compact interval consists exactly of the evaluation functionals, and part (c) givesDistinct points give distinct maximal ideals, since the coordinate function separates them.

The correspondence concerns uniform pro-p groups and powerful Lie lattices, with their natural morphisms. Put $ϵ=1$ for odd $p$ and $ϵ=2$ for $p=2$. A powerful pro-p group is a pro-p group whose closed commutator subgroup lies in its closed $p^{ϵ}$-power subgroup. It is uniform when it is topologically finitely generated and all successive indices in its lower p-series are equal. Equivalently, a finitely generated powerful pro-p group is uniform precisely when it is a torsion-free group. A powerful Lie algebra over p-adic integers means a Lie algebra over ${\mathbb{Z}}_p$ that is free of finite rank as a module and satisfiesHere a Lie algebra over a ring is a module with an alternating bilinear Lie bracket satisfying the Jacobi identity. Finite freeness is an essential part of the lattice convention. The zero-bracket module ${\mathbb{F}}_p$ satisfies the bracket inclusion but has torsion, and its additive group is not uniform. Thus allowing arbitrary torsion modules would make the categorical assertion false.

The basic structural facts behind the construction can be seen from the power layers. Write $P_n=G^{p^n}$ with $P_0=G$. Collection for a powerful pro-p group givesFor odd $p$, the power lifting is exactly the successive-correction argument of Question 3, followed by compactness; at $p=2$ the stronger fourth-power commutator condition makes the corresponding collection corrections work. The maps between successive layers are surjective linear maps. Uniformity makes their finite dimensions equal, so these maps are isomorphisms. Comparing the first layer in which two elements differ now shows that the power map $P_n\to P_{n+1}$ is injective, while the power-set formula makes it surjective. Thus all the roots used below exist uniquely in the indicated layer. If $g_1,\dots ,g_d$ lift a basis of $G/P_1$, the images of $g_i^{p^n}$ form a basis of $P_n/P_{n+1}$. Successively choosing their coefficients modulo $p$ gives the unique ordered expressionExistence follows by lifting one layer at a time and taking a limit; uniqueness follows by comparing the first nonzero coefficient layer. In particular $[G:P_n]=p^{nd}$ and these layers form a neighbourhood basis. These are the power-layer and coordinate facts needed in the proof, rather than an assumption that an arbitrary pro-p group has unique roots.

On the underlying set of $G$, set the additive zero to $1$, the additive negative of $x$ to $x^{-1}$, and defineThe p-adic integers act through limits of integer powers in the closed cyclic subgroup generated by $x$. In the second formula the product belongs to $P_n$; in the third the group commutator belongs to $P_{2n+ϵ}$. The symbols $p^{-n}$ and $p^{-2n}$ denote the unique group roots, not unrestricted division in a group. We next justify convergence and the Lie algebra laws together.

A useful concrete tool is a complete normed group algebra containing $G$. In its completed group algebra, put $b_i=g_i-1$. Ordered-coordinate uniqueness gives unique expansions ${\sum }_{\alpha \in {\mathbb{N}}^d}{c}_{\alpha }{b}_1^{{\alpha }_1}\cdots b_d^{{\alpha }_d}$ with $c_{\alpha }\in {\mathbb{Z}}_p$. To see why, first work modulo $p$ and $P_n$: the ordered products of the $g_i$ with exponents below $p^n$ form the regular basis, and the change to the corresponding products of $g_i-1$ is triangular with diagonal entries one. Take inverse limits and then lift the coefficient digits successively in powers of $p$. Define the weightIt is a genuine separated, submultiplicative weight. Indeed reordering $b_j{b}_i$ produces a group-commutator correction in $P_{ϵ}$; the binomial expansion of a $p^{ϵ}$th power gives that correction weight at least $2ϵ$, so collection never decreases total weight. Also $v(pc)=1+v(c)$. Inverting $p$ and completing therefore gives a Banach algebra $B$ over ${\mathbb{Q}}_p$. For $g\in G$, ordered coordinates showwith value infinity at $g=1$. Thus the induced topology on $G$ is exactly its original topology. This construction supplies the ambient algebra without presupposing the uniform pro-p group and powerful Lie lattice correspondence. The weighted construction, including the case $p=2$, is described in Equivariant D-modules on rigid analytic spaces, Section 6.5.

Since $ϵ>1/(p-1)$, the p-adic logarithm and p-adic exponential converge on the relevant balls in $B$:The estimates $v_p(k!)\le k/(p-1)$ and $v_p(k)\le {\log }_{p}k$ show that term weights tend to infinity. Formal substitution is legitimate there and proves that the two maps are inverse. They preserve the leading weight. In particular $\log$ embeds the compact set $G$ homeomorphically into $B$, and $\log (g^{p^n})=p^n\log g$.

Put $a=\log x$ and $b=\log y$. Expanding the convergent Baker--Campbell--Hausdorff formula in $B$ givesThe first expansion has linear part $p^n(a+b)$ and all other terms have degree at least two in $p^{n}a,p^{n}b$. The second has leading term $p^{2n}(ab-ba)$ and all remaining terms have degree at least three. After division by the displayed powers of $p$, the extra factor of $p^n$ forces those errors to zero. The normalized expressions are logarithms of the unique roots already specified. Since $\log G$ is compact and closed in $B$, both limits belong to $\log G$. Scalar multiplication also remains in $\log G$ by continuity of powers. Consequently $\log G$ is a module over ${\mathbb{Z}}_p$, closed under the associative-algebra Lie bracket $ab-ba$. Bilinearity, alternation and the Jacobi identity follow by expanding products in the associative algebra $B$. Transporting these operations back gives exactly $L_G$ above.

The commutator-layer inclusion places every normalized bracket root in $P_{ϵ}$. Since $\log P_{ϵ}=p^{ϵ}\log G$ and this set is compact, passage to the limit proves $[L_G,L_G]\subseteq p^{ϵ}{L}_G$. Addition modulo $p{L}_G$ is the original multiplication modulo $P_1$: collection shows $(x^{p^n}{y}^{p^n}{)}^{p^{-n}}\equiv xy(\mathrm{mod}{P}_1)$, as the nonlinear errors lie at least one layer deeper. Thus $L_G/p{L}_G$ has dimension $d$, with basis $e_i=\log g_i$. Given $a\in \log G$, write its residue as ${\sum }_i{\lambda }_{0i}{e}_i$ and repeat on $(a-{\sum }_i{\lambda }_{0i}{e}_i)/p$. This iterative digit lifting converges because the remainders stay in the bounded compact set $\log G$. It gives $a={\sum }_i{\lambda }_i{e}_i$ with ${\lambda }_i\in {\mathbb{Z}}_p$. A nontrivial relation among the $e_i$ could be divided by the smallest power of $p$ among its coefficients, contradicting their independence modulo $p$. Hence $L_G$ is free of rank $d$, proving that it is a powerful Lie lattice.

Conversely, let $L$ be a powerful Lie lattice. In $L{\otimes }_{{\mathbb{Z}}_p}{\mathbb{Q}}_p$, defineThe formal Baker--Campbell--Hausdorff formula and its coefficient estimate are the algebraic ingredients used here. More precisely, the degree-$m$ component can be expressed as an integral Lie polynomial divided by a number of $p$-adic valuation at most $\lfloor (m-1)/(p-1)\rfloor$. One way to obtain this estimate is to bound the associative coefficients of $\log (\exp X\exp Y)$ and use an integral ordered basis of the free Lie algebra. The denominator bound $v_p(m!)+\lfloor {\log }_p{s}_p(m)\rfloor$, where $s_p(m)$ is the base-$p$ digit sum, is at most $\lfloor (m-1)/(p-1)\rfloor$. A precise primary reference for that denominator estimate is Smallest common denominators for the homogeneous components of the Baker-Campbell-Hausdorff series. A length-$m$ Lie bracket in $L$ lies in $p^{ϵ(m-1)}L$. Thus the degree-$m$ term belongs toThese exponents are nonnegative and tend to infinity; for $m\ge 2$ they are at least one. This proves integral convergence, continuity and $x\ast y\equiv x+y(\mathrm{mod}pL)$. Associativity follows from the formal identity $\exp (\mathrm{BCH}(X,Y))=\exp X\exp Y$ in the completed universal enveloping algebra. Substitution of three elements is justified by the same valuation estimates, so the two associative expressions agree. The identity is $0$, the inverse is $-x$, and $x^{\ast k}=kx$ because every nonlinear term involving only $x$ vanishes.

For powerfulness, formal conjugation givesThe difference $\delta =y-e^{-\mathrm{ad}x}y$ lies in $p^{ϵ}L$: its $k$th term has valuation at least $kϵ-v_p(k!)\ge ϵ$ for $k\ge 1$. The group commutator is therefore $(-y+\delta )\ast y$. Its linear term is $\delta$. Every nonlinear Lie term contains $\delta$, since it vanishes when $\delta =0$, and the extra divisibility makes all those terms lie in $p^{ϵ}L$ too. Hence $[(L,\ast ),(L,\ast )]\subseteq p^{ϵ}L$. The ideals $p^{n}L$ are open normal subgroups for $\ast$, and their finite quotients have order $p^{nd}$. The group is consequently a pro-p group. Its power sets are exactly $p^{n}L$, its lower-series indices are constantly $p^d$, and a basis of $L$ topologically generates it by the same successive digit lifting. The BCH group $(L,\ast )$ is uniform.

To check the inverse constructions, powers in the Baker--Campbell--Hausdorff formula group are ordinary multiples in $L$. Thereforeand the similarly normalized group commutator tends to $[x,y]$. The limit constructions recover the original Lie algebra exactly. In the other direction, the ambient Banach algebra construction gives $\log (xy)=\mathrm{BCH}(\log x,\log y)$, so the recovered operation is the original multiplication of $G$.

Finally a continuous group homomorphism between uniform pro-p groups preserves integer powers and powers with exponents in the p-adic integers, preserves the unique roots in the power layers, and commutes with their limits. It therefore becomes a linear Lie algebra homomorphism. Conversely a linear Lie algebra homomorphism between finite free modules is continuous and preserves every term of the convergent Baker--Campbell--Hausdorff formula, hence is a continuous group homomorphism for $\ast$. The constructions preserve identity maps and composition, and the inverse identifications are natural. They are mutually inverse functors, giving the stated category correspondence with the finite-free lattice convention.

For the Fredholm convention, defineThe equality follows from the Atkinson theorem. The quotient is a unital complex Banach algebra when $H$ is infinite-dimensional. Its invertible set is open by the Neumann series, so the spectrum is closed, and it lies in the disk $|\lambda |\le \Vert [T]\Vert$.

For nonemptiness, suppose the quotient resolvent $R(\lambda )=(\lambda 1-[T]{)}^{-1}$ existed for every complex $\lambda$. It is analytic everywhere, and outside a sufficiently large disk its Neumann expansion gives $\Vert R(\lambda )\Vert \le 1/(|\lambda |-\Vert [T]\Vert )$. Continuity bounds it on the remaining compact disk. Every continuous linear functional applied to $R$ is therefore a bounded entire scalar function, constant by Liouville's theorem and zero because it tends to zero at infinity. The Hahn-Banach theorem, or separation by the dual, forces $R(\lambda )=0$, contradicting its inverse identity. The essential spectrum is nonempty and closed.

Infinite dimension is necessary: every operator on a finite-dimensional Hilbert space is Fredholm, so its essential spectrum in this convention is empty. The proof works on nonseparable infinite-dimensional spaces as well; it needs neither self-adjointness nor a sequence basis.

Assume the finite-generator identity holds whenever there is no common zero. Let $\phi \in {\Phi }_A$. For every finite family $f_1,\dots ,f_n\in \ker \phi$, their zero sets must have nonempty intersection: otherwise an identity $\sum f_j{g}_j=1$ would give $0=\phi (1)=1$. These zero sets are closed in compact $K$. The finite intersection property therefore supplies $x\in K$ at which every member of $\ker \phi$ vanishes. For any $f\in A$, the element $f-\phi (f)1$ is in that kernel, so $f(x)=\phi (f)$. Thus $\phi ={\delta }_x$, proving

For $C(K)$, the identity is explicit. If the $f_j$ have no common zero, the continuous function $q={\sum }_j|f_j{|}^2$ is strictly positive on compact $K$. SetThen $\sum f_j{g}_j=1$. The equivalence just proved shows that $C(K)$ is natural.

Next consider the disc algebra $A(\overline{\mathbb{D}})$, the continuous functions on the closed unit disk that are holomorphic in its interior. We show directly that each algebra character is evaluation. Polynomials are uniformly dense in this algebra: for $0<r<1$, $f_r(z)=f(rz)$ tends uniformly to $f$ as $r\uparrow 1$, by uniform continuity. The function $f_r$ is holomorphic on $|z|<1/r$, so its Taylor polynomials converge uniformly on $|z|\le 1$.

Every algebra character of a unital Banach algebra is bounded, with $|\phi (f)|\le \Vert f\Vert$: if $f-\phi (f)1$ were invertible, applying $\phi$ would contradict invertibility, so $\phi (f)$ belongs to the spectrum of an element, which is contained in the disk of radius $\Vert f\Vert$ by the Neumann series. For the coordinate function $z$, put $\lambda =\phi (z)$; then $|\lambda |\le 1$. Multiplicativity gives $\phi (p)=p(\lambda )$ for every polynomial. By polynomial density and continuity, $\phi (f)=f(\lambda )$ for every member of the disc algebra. Hence

Finally consider the algebra $C$ in the last request. For each $f\in C$, its holomorphic extension $g$ from the boundary is unique by the maximum modulus principle. Define $T(f)=g\in A(\overline{\mathbb{D}})$. This is a surjective unital algebra homomorphism, since it restricts to the identity on the disc algebra. AlsoThe algebra $C$ is closed: if $f_n\to f$ uniformly, the associated $T(f_n)$ are uniformly Cauchy by this bound, so their limit belongs to the closed disc algebra and agrees with $f$ on the boundary. Constants and the coordinate function belong to $C$, so it is itself a uniform algebra on the disk. Its idealis contained in $C$, and $C/I$ is the disc algebra.

If a algebra character $\chi$ on $C$ vanishes on $I$, it factors through $T$ and the preceding result givesIf $\chi$ does not vanish on $I$, choose $h\in I$ with $\chi (h)\ne 0$. For $F\in C(\overline{\mathbb{D}})$, defineThe product $hF$ is in $I$, so this is well defined. It is unital and linear, andshows multiplicativity. Since $C(\overline{\mathbb{D}})$ is natural, $\tilde{\chi }$ is evaluation at a point $x$ of the closed disk. The equality $h(x)=\tilde{\chi }(h)=\chi (h)\ne 0$ places $x$ in the open disk. On $C$, $\tilde{\chi }(f)=\chi (f)$, so $\chi$ itself is evaluation at that interior point.

We therefore obtain two families: actual evaluations $f\mapsto f(x)$ on one closed disk, and analytic-extension evaluations $f\mapsto T(f)(\lambda )$ on a second closed disk. They agree on the boundary. They are distinct at interior points: functions in $I$ distinguish actual interior evaluations from every analytic-extension evaluation, and the coordinate function distinguishes points within each family. ThusThis is also a topological identification. Each disk family is continuous in the Gelfand topology, and they agree along their boundary, giving a continuous bijection from the glued disks to ${\Phi }_C$. The glued disks form a compact space, explicitly homeomorphic to the sphere by sending $(x,y)$ in the two copies to $(x,y,\pm \sqrt{1-x^2-y^2})$. Since the character space is Hausdorff, the continuous bijection is a homeomorphism. This boundary-analytic disk algebra with doubled character space has more algebra characters than evaluations on its original disk.

We prove the forward direction of the finite-generator criterion for a natural uniform algebra. Suppose that $A$ is a natural uniform algebra, and let $f_1,\dots ,f_n$ have no common zero on $K$. The idealis all of $A$. Otherwise it is contained in a maximal ideal $M$, whose associated character of an algebra vanishes on all the $f_j$. Since every algebra character is an evaluation character under naturality, this would give a common zero, a contradiction. Therefore $1\in J$, meaning that

Here are the Banach-algebra details behind the algebra character associated with $M$. A proper ideal cannot have dense closure: if it contained an element within distance less than one of $1$, the Neumann series would make that element invertible, forcing the ideal to contain $1$. Thus the closure of a proper ideal is proper. A maximal ideal, obtained from Zorn's lemma, is therefore closed. Its quotient is a complex unital Banach algebra in which every nonzero element is invertible. The Gelfand-Mazur theorem identifies this quotient with $\mathbb{C}$, so the quotient map is the required algebra character. No closedness of the originally generated ideal $J$ is needed.

A uniform algebra on a compact Hausdorff space $K$ is a closed complex subalgebra $A\subseteq C(K)$ containing the constants and separating points of $K$, with the supremum norm. It is therefore a commutative unital Banach algebra. Its character space of an algebra ${\Phi }_A$, also called its carrier space, consists of nonzero multiplicative linear functionals, equipped with the Gelfand topology.

For $x\in K$, evaluation gives the character of an algebra ${\delta }_x(f)=f(x)$. The map $\delta :K\to {\Phi }_A$ is continuous: composing it with the coordinate $\phi \mapsto \phi (f)$ gives the continuous function $f$ for every $f\in A$. It is injective because $A$ separates points. The Gelfand topology is Hausdorff because distinct algebra characters differ on some element of $A$. A continuous injection from compact $K$ into a Hausdorff space is a homeomorphism onto its image: closed subsets of $K$ have compact, hence closed, images. Its image is also compact and closed. Thusis the asserted homeomorphism. A natural uniform algebra is one for which this image is all of ${\Phi }_A$.

For an element $a$ of a complex unital Banach algebra, its spectrum of an element isThe nonzero spectra of products in opposite orders agree:For $\lambda \ne 0$, if $R=(\lambda 1-ab{)}^{-1}$ exists, direct multiplication on both sides verifiesInterchanging $a,b$ proves the converse. Zero may differ. On the Hilbert space ${\ell }^2({\mathbb{N}}_0)$, let $S$ be the unilateral shift operator $S{e}_n=e_{n+1}$ and take $a=S^{\ast }$, $b=S$. Then $ab=S^{\ast }S=I$, whereas $ba=S{S}^{\ast }=I-P_0$, where $P_0$ is projection onto the first coordinate. HenceBoth values for the second operator occur on its two nonzero invariant summands; every other value has an inverse obtained separately on those summands.

We use the spectral definition of a Positive element of a C-star algebra: $h$ is positive when $h=h^{\ast }$ and $\sigma (h)\subseteq [0,\infty )$. The continuous functional calculus, supplied by the Commutative Gelfand--Naimark theorem for the algebra generated by a Normal element of a C-star algebra and its adjoint, sends $F\in C(\sigma (h))$ to $F(h)$. It preserves products, sums, conjugation and the identity, is isometric, and satisfies $\sigma (F(h))=F(\sigma (h))$. For a self-adjoint element the spectrum is real, so real-valued functions produce self-adjoint elements.

For example, $F(t)=\sqrt{t}$ gives the positive square root in a C-star algebra of a Positive element of a C-star algebra. It satisfies $(h^{1/2}{)}^2=h$. Its uniqueness follows from the composition rule: if $d\ge 0$ and $d^2=h$, then the continuous functional calculus in the algebra generated by $d$ gives $\sqrt{d^2}=d$. For positive invertible $h$, the functions $t^{-1}$ and $t^{-1/2}$ give positive inverses and inverse square roots. If $0\le h$ and $r\ge \Vert h\Vert$, the function $r-t$ gives $r1-h\ge 0$; the same calculus givesThese transfer elementary scalar inequalities for functions of one element to the algebra. They do not justify applying a scalar inequality to arbitrary noncommuting elements.

To prove closure under addition without assuming an order theorem, let $a,b\ge 0$, set $\alpha =\Vert a\Vert$, $\beta =\Vert b\Vert$ and $s=\alpha +\beta$. If $s=0$, both elements are zero. Otherwise,The element $a+b$ is self-adjoint, so any $\lambda \in \sigma (a+b)$ is real and satisfies $|s-\lambda |\le s$. Thus $\lambda \ge 0$, provingWe will also use that the positive cone is proper: if $h\ge 0$ and $-h\ge 0$, then $\sigma (h)\subseteq \{0\}$, and the norm formula for self-adjoint elements gives $h=0$.

We next prove $a^{\ast }a\ge 0$ without presupposing that positivity is defined by such products. Put $h=a^{\ast }a$, which is self-adjoint, and form its negative part by the continuous functional calculus:This is positive. Let $c=a{h}_{-}^{1/2}$. Since $h_{-}$ commutes with $h$,The nonzero product-spectrum identity proved above gives $\sigma (c{c}^{\ast })\setminus \{0\}=\sigma (c^{\ast }c)\setminus \{0\}$. As $c{c}^{\ast }$ is self-adjoint, it too has spectrum in $(-\infty ,0]$, so $c{c}^{\ast }\le 0$.

Write $c=u+iv$ with $u=u^{\ast }$ and $v=v^{\ast }$. The continuous functional calculus makes $u^2$ and $v^2$ positive, and the addition result givesBut both summands on the left are nonpositive, so their sum is also nonpositive. Properness of the cone forces $c^{\ast }c+c{c}^{\ast }=0$. Now $c^{\ast }c=-c{c}^{\ast }$ is positive as well as nonpositive, so $c^{\ast }c=0$. The C-star identity gives $c=0$, whence $h_{-}^2=0$ and $h_{-}=0$. Thus $h$ has no negative spectral part:This proves the positivity of adjoint products from spectral positivity and the equivalence with the usual definition by elements of the form $d^{\ast }d$: the reverse direction is the factorization $h=(h^{1/2}{)}^{\ast }{h}^{1/2}$ for $h\ge 0$.

Finally, if $a\ge 0$ and $c\in A$, writeThe preceding result therefore provesIn particular, congruence preserves positivity in a C-star algebra, and $a\le b$ implies $c^{\ast }ac\le c^{\ast }bc$. These facts will justify the noncommutative order manipulations in the numbered parts.