Bourbaki

Exercise 8, § 6

Tag 02VL, permanent. Cite it as [Bourbaki, Tag 02VL].

Spectral Theories, III, p. 131

Let (A,B)(A,\mathscr{B}) be a natural basal algebra such that A is of finite rank.

a) For every x∈Ax\in A, the element

∑b∈Bbxι(b) \sum_{b\in\mathscr{B}}bx\iota (b)

is central.

In the remainder of this exercise, suppose in addition that (A,B)(A,\mathscr{B}) is unital.

b) For all b,b′b,b' in B\mathscr{B}, there exist b1b_1 and b2b_2 in B\mathscr{B} such that the coefficient of b′b' in bb1bb_1 and in b2bb_2b is nonzero.

c) For every x∈Bx\in \mathscr{B}, the matrix representing in the basis B\mathscr{B} the mapping y↦xyy\mapsto xy from A to A is a real matrix all of whose coefficients are positive. We denote by pf the unique homomorphism from A to R\mathbf{R} such that pf(bb) is the spectral radius of this matrix when b∈Bb\in \mathscr{B}.

d) For every b∈Bb\in \mathscr{B}, the real number α=\alpha = pf(bb) is an algebraic integer such that α⩾1\alpha \geqslant 1; for every conjugate α′∈C\alpha '\in \mathbf{C} of α\alpha, one has ∣α′∣⩽α|\alpha '|\leqslant \alpha.

e) Let a0∈Aa_0\in A be the sum of the elements of B\mathscr{B}. All the coefficients of the matrix representing the mapping f:y↦ya0f:y\mapsto ya_0 in the basis B\mathscr{B} are strictly positive. There exists an element r∈C⊗Ar\in \mathbf{C}\otimes A whose all coefficients in the basis (1⊗b)b∈B(1\otimes b)_{b\in\mathscr{B}} are strictly positive such that fC(r)=ϱ(fC)rf_{\mathbf{C}}(r) =\varrho (f_{\mathbf{C}})r.

f) For every x∈Ax\in A, there exists a unique complex number δ(x)\delta (x) such that xr=xr= δ(x)r\delta (x)r in C⊗A\mathbf{C}\otimes A. The mapping δ:A→C\delta : A\rightarrow \mathbf{C} is a character of A.

g) One has δ(x)=\delta (x) = pf(xx) for every x∈Ax\in A. In particular, the mapping x↦x\mapsto pf(xx) is a character of A.

h) The mapping pf is the unique character of A such that pf(bb)⩾0\geqslant 0 for every b∈Bb\in \mathscr{B}; moreover, one has pf(bb)>0>0 for every b∈Bb\in \mathscr{B}.

i) For every y∈Ay\in A, one has ry=δ(y)rry=\delta (y)r in C⊗A\mathbf{C}\otimes A.

j) The element

r0=∑b∈Br_0=\sum_{b\in\mathscr{B}} pf(bb)bb

has the properties requested in question i).

Solution

No solution has been written yet.

Cited by

Nothing.

Cites

Nothing.

Machine translation of the English, by gpt-5-6. Not checked by a person.