The irreducibility in ordered Banach algebras (Q427262)

Let \(A\) be an ordered Banach algebra and let \(OI(A)=\{b\in A:\,0\leq b\leq e,\;b^2=b\}\), where \(e\) is the unit of \(A\). An element \(z\geq 0\) is said to be order continuous if \(b_\alpha\downarrow 0\) implies \(b_\alpha z\downarrow 0\) and \(zb_\alpha\downarrow 0\) for any \(b_\alpha\in OI(A)\). It is shown that, if \(E\) is a Dedekind complete Banach lattice, then the set of all order continuous elements in \(L(E)\) coincides with the set of all positive order continuous operators on \(E\). An algebra \(A\) is said to have a (strongly) disjunctive product if, for any order continuous \(x\) and \(y\) in \(A\) \((x,y\geq 0)\) with \(xy=0\), there exists \(b\in OI(A)\) such that \(xb=(e-b)y=0\). It is proved that the algebra \(L(E)\) has a strongly disjunctive product if and only if \(E\) has an order continuous norm. An element \(z\in A\) is said to be irreducible if, for every \(b\in OI(A)\), the equality \((e-b)zb=0\) implies either \(b=0\) or \(b=e\). The spectral radius \(r(z)\) is called an \(f\)-pole of the resolvent \(R(\cdot,z)\) if \(0\leq x\leq z\) implies \(r(x)\leq r(z)\) and if \(r(x)=r(z)\), then \(r(z)\) is a pole of \(R(\cdot,x)\). It is shown that, under some natural assumptions on the Banach lattice \(E\), if \(0\leq T\in L(E)\), then \(r(T)\) is an \(f\)-pole of \(R(\cdot,T)\) if and only if \(r(T)\) is a finite-rank pole of \(R(\cdot,T)\). The Frobenius normal form of \(z\) is obtained when \(r(z)\) is an \(f\)-pole of \(R(\cdot,z)\). Some applications to the spectral theory of irreducible operators and to general spectral theory are presented.