1,417
views
0
recommends
+1 Recommend
1 collections
    41
    shares
      scite_
       
      • Record: found
      • Abstract: found
      • Article: found
      Is Open Access

      Schur Products

      Published
      Original article
      Bookmark

            Abstract

            We call Schur products (in analogy to crossed products which inspired the present construction) a C*-algebra obtained from a given unital C*-algebra E and a discrete group T. This new C*-algebra consists of operators acting on the Hilbert right E-module El2(T) and are defined by a twisted representation of T.

            Main article text

            INTRODUCTION, NOTATION, AND TERMINOLOGY

            The projective representation of groups was introduced in 1904 by Issai Schur (1875–1941) in his paper [7]. It differs from the normal representation of groups (introduced by his tutor Ferdinand Georg Frobenius (1849–1917) at the suggestion of Richard Dedekind (1831–1916)) by a twisting factor, which we call Schur function in this Article and which is called sometimes normalized factor set in the literature (other names are also used). It starts with a discrete group T and a Schur function f for T. This is a scalar valued function on T × T satisfying the conditions f(1, 1) = 1 and

            |f(s,t)|=1,f(r,s)f(rs,t)=f(r,st)f(s,t)
            for all r, s, tT. The projective representation of T twisted by f is a unital C*-subalgebra of the C*-algebra L(l2(T)) of operators on the Hilbert space l2(T). This representation can be used in order to construct many examples of C*-algebras (see e.g. [1] Chapter 7). By replacing the scalars ℝ or ℂ with an arbitrary unital (real or complex) C*-algebra E the field of applications is enhanced in an essential way. In this case l2(T) is replaced by the Hilbert right E-module tTEEl2(T) and L(l2(T)) is replaced by LE(El2(T)), the C*-algebra of adjointable operators of L(El2(T)). We call Schur product of E and T the resulting C*-algebra. It opens a way to create new K-theories ([4]).

            In a Preliminaries we introduce some results which are needed for this construction, which is developed in the Schur Products. In the Examples we present examples of C*-algebras obtained by this method. The classical Clifford Algebras (including the infinite dimensional ones) are C*-algebras which can be obtained by projective representations of certain groups ([1] Section 7.2). The last Section 4 of this Article is dedicated to the generalization of these Clifford Algebras as an example of Schur products.

            Throughout this Article we use the following notation: T is a group, 1 is its neutral element, Kl2(T), 1KidK ≔ identity map of K, E is a unital C*-algebra (resp. a W*-algebra), 1E is its unit, Ĕ denotes the set E endowed with its canonical structure of a Hilbert right E-module ([1] Proposition 5.6.1.5),

            HĔKtTĔ,(resp.HĔ̅KtTWĔ)
            ([C3] Proposition 2.1, (resp. [C3] Corollary 2.2)). In some examples, in which T is additive, 1 will be replaced by 0.

            The map

            LE(Ĕ)E,uu1E|1E=u1E
            is an isomorphism of C*-algebras with inverse
            ELE(Ĕ),xx.
            We identify E with LE(Ĕ) using these isomorphisms.

            In general we use the notation of [1]. For tensor products of C*-algebras we use [9], for W*-tensor products of W*-algebras we use [8], for tensor products of Hilbert right C*-modules we use [6], and for the exterior W*-tensor products of selfdual Hilbert right W*-modules we use [2] and [3].

            In the sequel we give a list of notation (mainly introduced in [1]) which are used in this Article.

            • 1) 𝕂 denotes the field of real numbers (≔ ℝ) or the field of complex numbers (≔ ℂ). In general the C*-algebras will be complex or real. ℍ denotes the field of quaternions, ℕ denotes the set of natural numbers (0 ∉ ℕ), and for every n ∈ ℕ ∪ { 0 } we put

              n{m|mn}.
              ℤ denotes the group of integers and for every n ∈ ℕ we put ℤn ≔ ℤ / (nℤ).

            • 2) For every set A,P(A) denotes the set of subsets of A,Pf(A) the set of finite subsets of A, and Card A denotes the cardinal number of A. If f is a function defined on A and B is a subset of A then f|B denotes the restriction of f to B.

            • 3) If A, B are sets then AB denotes the set of maps of B in A.

            • 4) For all i, j we denote by δi,j Kronecker’s symbol:

              δi,j{1ifi=j0ifij.

            • 5) If A, B are topological spaces then C(A,B) denotes the set of continuous maps of A into B. If A is locally compact space and E is a C*-algebra then C(A,E) (resp. C0(A,E)) denotes the C*-algebra of continuous maps AE, which are bounded (resp. which converge to 0 at the infinity).

            • 6) For every set I and for every JI we denote by eJeJI the characteristic function of J i.e. the function on I equal to 1 on J and equal to 0 on I / J. For iI we put ei ≔ (δi,j)jIl2(I).

            • 7) If F is an additive group and S is a set then

              F(S){xFS|{sS|xs0}isfinite}.

            • 8) If E, F are vector spaces in duality then EF denotes the vector space E endowed with the locally convex topology of pointwise convergence on F, i.e. with the weak topology σ(E, F).

            • 9) If E is a normed vector space then E′ denotes its dual and E# denotes its unit ball:

              E#{xE|x1}.
              Moreover if E is an ordered Banach space then E+ denotes the convex cone of its positive elements. If E has a unique predual (up to isomorphisms), then we denote by Ë this predual and so by EË the vector space E endowed with the locally convex topology of pointwise convergence on Ë.

            • 10) The expressions of the form “ … C*- … (resp. … W*- …)”, which appear often in this Article, will be replaced by expressions of the form “… C**- …”.

            • 11) If F is a unital C*-algebra and A is a subset of F then we denote by 1F the unit of F, by Pr F the set of orthogonal projections of F, by

              Ac{xF|yAxy=yx},ReF{xF|x=x*},
              and by Un F the set of unitary elements of F. If F is a real C*-algebra then F denotes its complexification.

            • 12) If F is a C*-algebra then we denote for every n ∈ ℕ by Fn,n the C*-algebra of n × n matrices with entries in F. If T is finite then FT,T has a corresponding signification.

            • 13) Let F be a C*-algebra and H, K Hilbert right F-modules. We denote by LF(H,K) the Banach subspace of L(H,K) of adjointable operators, by 1H the identity map HH which belongs to

              LF(H)LF(H,H).
              For (ξ, η) ∈ H × K we put
              η|ξ:HK,ζηζ|ξ
              and denote by KF(H) the closed vector subspace of LF(H) generated by {η|ξ|ξ,ηH}.

            • 14) Let F be a W*-algebra and H, K Hilbert right F-modules. We put for aF¨ and (ξ, η) ∈ H × K,

              (a,ξ)˜:H𝕂,ζζ|ξ,a,(a,ξ,η)˜:LF(H,K)𝕂,uuξ|η,a
              and denote by H¨ the closed vector subspace of the dual H′ of H generated by
              {(a,ξ)˜|aF¨,ξH}
              and by H the closed vector subspace of LF(H,K) generated by
              {(a,ξ,η)˜|(a,ξ,η)F¨×H×K}.
              If H is selfdual then H is the predual of LF(H) ([1] Theorem 5.6.3.5 b)) and H¨ is the predual of H ([1] Proposition 5.6.3.3). Moreover a map defined on F is called W*-continuous if it is continuous on FF¨. If G is a W*-algebra a C*-homomorphism φ:FG is called a W*-homomorphism if the map φ:FF¨GG¨ is continuous; in this case φ¨ denotes the pretranspose of φ.

            • 15) If F is a C**-algebra and (Hi)iI a family of Hilbert right F-modules then we put

              iIHi{ξiIHi|thefamilyξi|ξiiIissummableinF}
              respectively
              iIWHi{ξiIHi|thefamilyξi|ξiiIissummableinFF¨}.

            • 16) ⊙ denotes the algebraic tensor product of vector spaces.

            • 17) If F, G are W*-algebras and H (resp. K) is a selfdual Hilbert right F-module (resp. G-module) then we denote by H ⊗̅ K the W*-tensor product of H and K, which is a selfdual Hilbert right H ⊗̅ G-module ([2] Definition 2.3).

            • 18) ≈ denotes isomorphic.

            If T is finite then (by [1] Theorem 5.6.6.1 f))

            LE(H)=ET,T=𝕂T,TE=KE(H).

            PRELIMINARIES

            1.1. Schur functions

            We list in this subsection some properties of the Schur functions needed later.

            DEFINITION 1.1.1 A Schur E-function for T is a map

            f:T×TUnEc
            such that f(1, 1) = 1E and
            f(r,s)f(rs,t)=f(r,st)f(s,t)
            for all r,s,tT. We denote by (T,E) the set of Schur E-functions for T and put
            f˜:TUnEc,tf(t,t1)*,f^:T×TUnEc,(s,t)f(t1,s1)
            for every f(T,E).

            Schur functions are also called normalized factor set or multiplier or two-co-cycle (for T with values in Un Ec) in the literature. We present in this section only some elementary properties (which will be used in the sequel) in order to fix the notation and the terminology. By the way, Un Ec can be replaced in this section by an arbitrary commutative multiplicative group (with * replaced by −1).

            PROPOSITION 1.1.2 Let f(T,E).

            • a) For every tT,

              f(t,1)=f(1,t)=1E,f(t,t1)=f(t1,t),f˜(t)=f˜(t1).

            • b) For all s, tT,

              f(s,t)f˜(s)=f(s1,st)*,  f(s,t)f˜(t)=f(st,t1)*.

            a) Putting s = 1 in the equation of f we obtain

            f(r,1)f(r,t)=f(r,t)f(1,t)
            so
            f(r,1)=f(1,t)
            for all r, tT. Hence
            f(t,1)=f(1,t)=f(1,1)=1E.

            Putting r = t and s = t−1 in the equation of f we get

            f(t,t1)f(1,t)=f(t,1)f(t1,t).

            By the above,

            f(t,t1)=f(t1,t),f˜(t)=f˜(t1).

            b) Putting r = s−1 in the equation of f, by a),

            f(s,t)f(s1,st)=f(s1,s)f(1,t)=f˜(s)*,f(s,t)f˜(s)=f(s1,st)*.

            Putting now t = s−1 in the equation of f, by a) again,

            f(r,s)f(rs,s1)=f(r,1)f(s,s1)=f˜(s)*,f(r,s)f˜(s)=f(rs,s1)*,f(s,t)f˜(t)=f(st,t1)*.

            DEFINITION 1.1.3 We put

            Λ(T,E){λ:TUnEc|λ(1)=1E}
            and
            λ^:TUnEc,tλ(t1),δλ:T×TUnEc,(s,t)λ(s)λ(t)λ(st)*
            for every λ ∈ Λ (T, E).

            PROPOSITION 1.1.4

            • a) (T,E) is a subgroup of the commutative multiplicative group (Un Ec)T×T such that f* is the inverse of f for every f(T,E).

            • b) f^(T,E) for every f(T,E) and the map

              (T,E)(T,E),ff^
              is an involutive group automorphism.

            • c) Λ(T, E) is a subgroup of the commutative multiplicative group (Un Ec)T, δλ(T,E) for every λ ∈ Λ (T, E), and the map

              δ:Λ(T,E)(T,E),λδλ
              is a group homomorphism with kernel
              {λΛ(T,E)|λis a group homomorphism}
              such that δλ^=δλ^ for every λ ∈ Λ(T, E).

            a) is obvious.

            b) For r, s, tT,

            f^(r,s)f^(rs,t)=f(s1,r1)f(t1,s1r1)==f(t1,s1)f(t1s1,r1)=f^(r,st)f^(s,t),
            so f^(T,E). For f,g(T,E),
            fg^(s,t)=(fg)(t1,s1)=f(t1,s1)g(t1,s1)=f^(s,t)g^(s,t)=(f^g^)(s,t),fg^=f^g^,f^*(s,t)=f^(s,t)*=f(t1,s1)*=f*(t1,s1)=f*^(s,t),  (f^)*=f*^.

            c) For r, s, tT,

            δλ(r,s)δλ(rs,t)=λ(r)λ(s)λ(rs)*λ(rs)λ(t)λ(rst)*=λ(r)λ(s)λ(t)λ(rst)*,δλ(r,st)δλ(s,t)=λ(r)λ(st)λ(rst)*λ(s)λ(t)λ(st)*=λ(r)λ(s)λ(t)λ(rst)*
            so δλ(T,E). For λ,μ(T,E) and s,tT,
            δλ(s,t)δμ(s,t)=λ(s)λ(t)λ(st)*μ(s)μ(t)μ(st)*==(λμ)(s)(λμ)(t)(λμ)(st)*=δ(λμ)(s,t),(δλ)(δμ)=δ(λμ),δλ*(s,t)=λ*(s)λ*(t)λ(st)=(δλ(s,t))*=(δλ)*(s,t),  δλ*=(δλ)*,
            so δ is a group homomorphism. The other assertions are obvious.

            PROPOSITION 1.1.5 Let tT, m, n, and f(T,E).

            • a) f(tm, tn) = f(tn, tm).

            • b) mf(tm,tn)=(j=0m1f(tn+j,t))(k=1m1f(tk,t)*).

            • c) We define

              λ:UnEc,n{j=1n1f(tj,t)*,ifnj=1nf(tj,t)ifn.
              If tp≠1 for every p ∈ ℕ then
              f(tm,tn)=λ(m)λ(n)λ(m+n)*
              for all m, n.

            a) We may assume m ∈ ℕ because otherwise we can replace t by t−1. Put

            P(m,n):f(tm,tn)=f(tn,tm),Q(m):P(m,n)holds for alln.

            From

            f(tm,tnm)f(tn,tm)=f(tm,tn)f(tnm,tm)
            it follows
            P(m,n)P(m,nm)P(m,nkm)
            for all k.

            We prove the assertion by induction. P(m, 0) follows from Proposition 1.1.2 a). By the above

            P(1,0)P(1,k)
            for all k. Thus Q(1) holds.

            Assume Q(p) holds for all p ∈ ℕm−1. Then P(m, p) holds for all p ∈ ℕm−1 ∪ {0}. Let. n. There is a k such that

            pnkmm1{0}.
            By the above P(m, n) holds. Thus Q(m) holds and this finishes the inductive proof.

            b) We prove the formula by induction with respect to m. By a), the formula holds for m = 1. Assume the formula holds for an m ∈ ℕ. Since

            f(tm,t)f(tm+1,tn)=f(tm,tn+1)f(t,tn)
            we get by a),
            f(tm+1,tn)=f(tm,tn+1)f(t,tn)f(tm,t)*==(j=0m1f(tn+1+j,t))(k=1m1f(tk,t)*)f(tn,t)f(tm,t)*==(j=0mf(tn+j,t))(k=1mf(tk,t)*).

            Thus the formula holds also for m + 1.

            c) If m, n ∈ ℕ then by b),

            λ(m)λ(n)λ(m+n)*==(k=1m1f(tk,t)*)(j=1n1f(tj,t)*)(j=1m+n1f(tj,t))==(j=0m1f(tn+j,t))(k=1m1f(tk,t)*)=f(tm,tn).

            If m, n ∈ ℕ, nm − 1 then by b),

            λ(m)λ(n)λ(mn)*==(j=1m1f(tj,t)*)(j=1nf(tj,t))(j=1mn1f(tj,t))==(j=0m1f(tn+j,t))(k=1m1f(tk,t)*)=f(tm,tn).
            If m, n ∈ ℕ, nm then by b),
            λ(m)λ(n)λ(mn)*==(k=1m1f(tk,t)*)(j=1nf(tj,t))(j=1nmf(tj,t)*)==(j=nm+1nf(tj,t))(k=1m1f(tk,t)*)=f(tm,tn).
            For all m, n ∈ ℕ put
            R(m,n):f(tm,tn)=λ(m)λ(n)λ(mn)*.
            By the above and by Proposition 1.1.2 a), b),
            λ(1)λ(1)λ(2)*=f(t1,t)f(t2,t)*=f~(t1)*f(t,t2)*=f(t1,t1),
            so R(1, 1) holds. Let now m, n ∈ ℕ and assume R(m, n) holds. Then
            λ(m)λ(n1)λ(mn1)*==(j=1mf(tj,t))(j=1n+1f(tj,t))(j=1m+n+1f(tj,t)*)==f(tm,tn)f(tn1,t)f(tmn1,t)*=f(tm,tn1),
            so R(m, n) ⇒ R(m, n + 1). By symmetry and a), R(m, n) holds for all m, n ∈ ℕ.

            COROLLARY 1.1.6 The map

            Λ(,E)(,E),λδλ
            is a surjective group homomorphism with kernel
            {λΛ(,E)|nλ(n)=λ(1)n}.
            By Proposition 1.1.4 c), only the surjectivity of the above map has to be proved and this follows from Proposition 1.1.5 c).

            1.2. E-C*-algebras

            By replacing the scalars with the unital C*-algebra E we restrict the category of C*-algebras to the subcategory of those C*-algebras which are connected in a certain way with E. The category of unital C*-algebras is replaced by the category of E-C*-algebras, while the general category of C*-algebras is replaced by the category of adapted E-modules. The Schur products are always adapted E-modules.

            DEFINITION 1.2.1 We call in this Article E-module a C*-algebra F endowed with the bilinear maps

            E×FF,(α,x)αx,F×EF,(x,α)xα
            such that for all α, βE and x, yF,
            (αβ)x=α(βx),  α(xβ)=(αx)β,  x(αβ)=(xα)β, ;α(xy)=(αx)y,  (xy)α=x(yα),  αEcαx=xα,(αx)*=x*α*,  (xα)*=α*x*,  1Ex=x1E=x.
            If F, G are E-modules then a C*-homomorphism φ : F ⟶ G is called E-linear if for all (α, x) ∈ E × F,
            φ(αx)=α(φx),  φ(xα)=(φx)α.
            For all (α, x) ∈ E × F,
            αx2=x*α*αxx2α2,xα2=α*x*xαα2x2
            so
            αxαx,xαxα.
            DEFINITION 1.2.2 An E-C**-algebra is a unital C**-algebra F for which E is a canonical unital C**-subalgebra such that Ec defined with respect to E coincides with Ec defined with respect to F i.e. for every x ∈ E, if xy = yx for all y ∈ E then xy = yx for all y ∈ F. Every closed ideal of an E-C*-algebra is canonically an E-module.

            Let F, G be E-C**-algebras. A map φ : F ⟶ G is called an E-C**-homomorphism if it is an E-linear C**-homomorphism. If in addition φ is a C*-isomorphism then we say that φ is an E-C*-isomorphism and we use in this case the notation ≈E. A C**-subalgebra F0 of F is called E-C**-subalgebra of F if EF0.

            With the notation of the above Definition (αφ α) φx = 0 for all αE and xF. Thus φ is unital iff φα = α for every αE. The example

            𝕂𝕂×𝕂,x(x,0)
            shows that an E-C*-homomorphism need not be unital.

            If we put 𝕋{z||z|=1},EC(𝕋,), and

            x:𝕋,zz
            and if we denote by λ the Lebesgue measure on 𝕋 then L(λ) is an E-C*-algebra, xUn E, and x is homotopic to 1E in Un L(λ) but not in UnC(𝕋,).

            DEFINITION 1.2.3 We denote by E (resp. by E1) the category of E-C*-algebras for which the morphisms are the E-C*-homomorphisms (resp. the unital E-C*-homomorphisms).

            PROPOSITION 1.2.4 Let F be an E-module.

            • a) We denote by Fˇ the vector space E × F endowed with the bilinear map

              (E×F)×(E×F)E×F,((α,x),(β,y))(αβ,αy+xβ+xy)
              and with the conjugate linear map
              E×FE×F,(α,x)(α*,x*).
              Fˇ is an involutive unital algebra with (1E, 0) as unit.

            • b)The maps

              π:FˇE,(α,x)α,
              λ:EFˇ,α(α,0),
              ι:FFˇ,x(0,x)
              are involutive algebra homomorphisms such that π ο λ is the identity map of E, λ and ι are injective, and λ and π are unital. If there is a norm on Fˇ with respect to which it is a C*-algebra (in which case such a norm is unique), then we call F adapted. We denote by ME the category of adapted E-modules for which the morphism are the E-linear C*-homomorphisms.

            • c) If F is adapted then Fˇ is an E-C*-algebra by using canonically the injection λ and for all α ∈ E and x ∈ F,

              α(α,x)α+x,(0,x)=x2(α,x),
              (α,0)(0,x)αx,  (0,x)(α,0)xα.
              In particular F (identified with ι(F)) is a closed ideal of Fˇ.

            • d) If E and F are C*-subalgebras of a C*-algebra G in such a way that the structure of E-module of F is inherited from G then

              φ:FˇE×G,(α,x)(α,α+x)
              is an injective involutive algebra homomorphism, φ(Fˇ) is closed, F is adapted, and for all αE and xF,
              (α,x)E×F=sup{α,α+x}.
              In particular every closed ideal of an E-C*-algebra is adapted andE is a full subcategory of ME.

            • e) A closed ideal G of an adapted E-module F, which is at the same time an E-submodule of F, is adapted.

            • f) If F is unital then it is adapted and

              Fˇ+,(α,x)sup{α,α1F+x}
              is the C*-norm of Fˇ.

            • g) If

              limy,Fαyyα=0
              for all αE+, where F denotes the canonical approximate unit of F, then F is adapted and
              Fˇ+,(α,x)sup{α,limsupy,Fαy+x}
              is the C*-norm of Fˇ. In particular F is adapted if E is commutative.

            • h) If F is an adapted E-module then (with the notation of b))

              0FιFˇπλE0
              is a split exact sequence in the category ME.

            a) and b) are easy to see.

            c) Since λ and ι are injective and,

            π(α,x)=α,    (α,x)=(α,0)+(0,x),
            (α,0)(0,x)=(0,αx),    (0,x)(α,0)=(0,xα)
            we get the first and the last two inequalities as well as the identity ‖(0, x)‖ = ‖x‖. It follows
            (0,x)(α,x)+(α,0)=(α,x)+λπ(α,x)
            (α,x)+(α,x)=2(α,x).

            d) It is easy to see that φ is an injective involutive algebra homomorphism. Let (α,x)φ(Fˇ)¯. There are sequences (αn)n ∈ ℕ and (xn)n ∈ ℕ in E and F, respectively, such that

            limn(αn,αn+xn)=(α,x).
            it follows
            α=limnαnE,xα=limnxnF,(α,x)=φ(α,xα)φ(Fˇ).

            Thus φ(Fˇ) is closed, which proves the assertion by pulling back the norm of E × G.

            e) By c), F is a closed ideal of Fˇ so G is a closed ideal of Fˇ (use an approximate unit of F). Since G is an E-submodule of F its structure of E-module is inherited from Fˇ. By d), G is adapted.

            f) The map

            FˇE×F,(α,x)(α,α1F+x)
            is an isomorphism of involutive algebras and so we can pull back the norm of E × F.

            g) It is easy to see that the above map is a norm. Since

            sup{α,12x}(α,x)α+x
            for all (α, x) ∈ E × F, Fˇ endowed with this norm is complete. For (α, x) ∈ E × F,
            (α,x)*(α,x)=(α*α,α*x+x*α+x*x),
            (α,x)*(α,x)=sup{α2,limsupy,Fα*αy+α*x+x*α+x*x}.

            For yF+#,

            (αy12+x)*(αy12+x)(α*αy+α*x+x*α+x*x)
            y12α*αα*αy12+y12α*xα*x+x*αy12x*α
            so
            limy,F(αy12+x)*(αy12+x)(α*αy+α*x+x*α+x*x)=0.

            Since the map F+F+,yy12 maps F into itself and

            αy+x2=yα*αy+yα*x+x*αy+x*x
            we have by the above,
            (α,x)2=sup{α2,limsupy,Fαy12+x2}=
            =sup{α2,limsupy,F(αy12+x)*(αy12+x)}=
            =sup{α2,limsupy,Fα*αy+α*x+x*α+x*x}=(α,x)*(α,x).

            Thus the above norm is a C*-norm and F is adapted.

            h) ι is an injective E-C*-homomorphism and its image is equal to Ker π.

            COROLLARY 1.2.5 Let F an E-module, G a C*-algebra, andσ the spatial tensor product.

            • a) Fσ G is in a natural way an E-module the multiplication being given by

              α(xy)=(αx)y,    (xy)α=(xα)y
              for all αE, xF, and yG.

            • b) If F is an E-C*-algebra and G is unital then the map

              EFσG,αα1G
              is an injective C*-homomorphism. In particular, the E-module Fσ G is an E-C*-algebra.

            • c) If F is an adapted E-module then the E-module Fσ G is adapted and

              (α,z)=sup{α,α+z}
              for all (α, z) ∈ E × (Fσ G).

            • d) If F is an adapted E-module and GC0(Ω) for a locally compact space Ω then C0(Ω,F) is adapted and

              (α,x)=sup{α,αeΩ+x}
              for all (α, x) ∈ E × C0(Ω, F).

            a) and b) are easy to see.

            c) If G˜ denotes the unitization of G then by b), FˇσG˜ is an E-C*-algebra and Fσ G is a closed ideal of it, so the assertion follows from Proposition 1.2.4 d),e).

            d) follows from c).

            PROPOSITION 1.2.6

            • a) If F,G are E-modules and φ : F ⟶ G is an E-linear C*-homomorphism then the map

              φˇ:FˇGˇ,(α,x)(α,φx)
              is an involutive unital algebra homomorphism, injective or surjective if φ is so. If F = G and if φ is the identity map then φˇ is also the identity map.

            • b) Let F1, F2, F3 be E-modules and let φ : F1F2 and ψ : F2F3 be E-linear C*-homomorphisms. Then ψοφˇ=ψˇοφˇ.

            PROPOSITION 1.2.7 Let G be an E-module, F an E-submodule of G which is at the same time an ideal of G, and φ : G ⟶ G/F the quotient map.

            • a) G/F has a natural structure of E-module and φ is E-linear.

            • b) If G is adapted then G/F is also adapted. Moreover if ψ:GˇGˇ/F denotes the quotient map (where F is identified to {(0, x) |xF}) then there is an E-C*-isomorphism θ:G/FˇGˇ/F such that ψ=θοφˇ.

            a) is easy to see.

            b) Let (α,z)G/Fˇ and let x,yφ1(z). Then ψ(α, x) = ψ(α, y) and we put θ(α, z) ≔ ψ(α, x). It is straightforward to show that θ is an isomorphism of involutive algebras. By pulling back the norm of Gˇ/F with respect to θ we see that G/F is adapted.

            LEMMA 1.2.8 Let {(Fi)iI, (φij)i,jI)} be an inductive system in the category of C*-algebras, {F,(φi)iI} its inductive limit, G a C*-algebra, for every iI, ψi : Fi ⟶ G a C*-homomorphism such that ψj ο φji = ψi for all i,jI, ij, and ψ : F ⟶ G the resulting C*-homomorphism. If Ker ψiKer φi for every iI then ψ is injective.

            Let iI. Since Ker φiKer ψi is obvious, we have Ker φi = Ker ψi. Let ρ : FiFi/Ker ψi be the quotient map and

            φi:Fi/KerψiF,  ψi:Fi/KerψiG
            the injective C*-homomorphisms with
            φi=φiορ,  ψi=ψiορ.

            Then

            ψiορ=ψi=ψοφi=ψοφiορ.

            For xFi, since ψi′ and φi′ are norm-preserving,

            ρx=ψiρx=ψφiρxφiρx=ρx,
            ψφix=ψφiρx=φiρx=φix.

            Thus ψ preserves the norms on ∪iIφi(Fi). Since this set is dense in F, ψ is injective.

            PROPOSITION 1.2.9 Let {(Fi)iI,(φij)i,jI} be an inductive system in the category ME and let (F,(φi)iI) be its inductive limit in the category of E-modules (Proposition 1.2.4 c)).

            • a) F is adapted.

            • b) Let (G,(ψi)iI) be the inductive limit in the category E1 of the inductive system {(Fˇi)iI,(φˇij)i,jI} (Proposition 1.2.6 a),b)) and let ψ:GFˇ be the unital C*-homomorphism such that ψοψi=φˇi for every iI. Then ψ is an E-C*-isomorphism.

            a) Put

            F0{(α,x)Fˇ|αE,xiIφi(Fi)},
            p:F0+,(α,x)inf{(α,xi)|iI,xiFi,φixi=x}.
            F0 is an involutive unital subalgebra of Fˇ. p is a norm and by Proposition 1.2.4 c),
            q(α,x)lim(α,y)F0yxp(α,y)
            exists and
            αq(α,x)α+x,  x2q(α,x)
            for every (α,x)Fˇ.

            Let (α, x) ∈ F0. Let further iI, xi, yiFi with φixi = x, φiyi = α*x + x*α + x*x. Then

            (0,φi(α*xi+xi*α+xi*xiyi))=φiˇ((α,xi)*(α,xi)(α*α,yi))=0
            so
            infijφji(α*xi+xi*α+xi*xiyi)=0.

            For ε > 0 there is a jI, ij, with

            φji(α*xi+xi*α+xi*xiyi)<ϵ.

            We get

            p(α,x)2(α,φjixi)2=(α,φjixi)*(α,φjixi)=
            =(α*α,α*φjixi+(φjixi*)α+φji(xi*xi))=
            =(α*α,φji(α*xi+xi*α+xi*xi))
            (α*α,φjiyi)+(0,φji(α*xi+xi*α+xi*xiyi))<(α*α,φjiyi)+ϵ.

            By taking the infimum on the right side it follows, since ε is arbitrary,

            p(α,x)2p(α*α,α*x+x*α+x*x)=p((α,x)*(α,x))
            and this shows that p is a C*-norm. It is easy to see that q is a C*-norms. By the above inequalities, Fˇ endowed with the norm q is complete, i.e. Fˇ is a C*-algebra and F is adapted.

            b) Let iI and let (α,x)Kerφˇi. Then

            0=φˇi(α,x)=(α,φix)
            so
            α=0,  φix=0,  infjI,jiφjix=0,
            φˇji(0,x)=(0,φjix)=φjix,
            ψi(α,x)=infjI,jiφˇji(0,x)=0,  (α,x)Kerψi.

            By Lemma 1.2.8, ψ is injective.

            Let (β,y)Fˇ and let ε > 0. There are iI and xFi with ‖φixy‖ < ε. Then

            ψψi(β,x)=φˇi(β,x)=(β,φix),
            ψψi(β,x)(β,y)=φˇi(β,x)(β,y)=φixy<ε.

            Thus ψ(G) is dense in Fˇ and ψ is surjective. Hence ψ is a C*-isomorphism.

            COROLLARY 1.2.10 We put ΦE(F)Fˇ for every E-module F and similarly ΦE(φ)φˇ for every E-linear C*-homomorphism φ.

            • a) ΦE is a covariant functor from the category ME in the category E1.

            • b) The categories E1 and ME possess inductive limits and the functor ΦE is continuous with respect to the inductive limits.

            a) follows from Proposition 1.2.6.

            b) follows from Proposition 1.2.9.

            Remark. The category ℭE does not possess inductive limits in general. This happens for instance if φij = 0 for all i, jI.

            1.3. Some topologies

            T is only a set in this section

            The purely algebraic projective representation of a group produces only an involutive algebra. In order to obtain a C*-algebra we need to take the closure with respect to a certain topology. For this purpose we shall define some different topologies, but it will be shown that all these topologies conduct to the same construction. The use of more topologies simplifies the manipulations.

            We introduce the following notation in order to unify the cases of C*-algebras and (resp. W*-algebras).

            DEFINITION 1.3.1

            ˜:(resp.˜W),
            ˜      (resp.˜̅),
            ˜      (resp.˜E¨).
            If T is a Hausdorff topology on LE(H) then for every GLE(H), GT denotes the set G endowed with the relative topology T and G¯T denotes the closure of G in LE(H)T. Moreover ΣT denotes the sum with respect to T.

            LEMMA 1.3.2 For xE, by the above identification of E with LE(Ĕ),

            x˜1K:HH,ξ(xξt)tT
            is well-defined and belongs to LE(H).

            • a) The map

              φ:ELE(H),xx˜1K
              is an injective unital C*-homomorphism.

            • b) Assume E is a W*-algebra. Then for every (a,ξ,η)E¨×H×H, the family (ξtaηt*)tT is summable in E¨E and for every xE,

              φx,(a,ξ,n˜)=x,tTEξtaηt*.
              Thus φ is a W*-homomorphism ([1] Theorem 5.6.3.5 d)) with
              φ¨(a,ξ,η˜)=tTEξtaηt*,
              where φ¨ denotes the pretranspose of φ.

            • c) If we consider E as a canonical unital C**-subalgebra of LE(H) by using the embedding of a) then LE(H) is an E-C**-algebra.

            a) follows from [6] page 37 (resp. [3] Proposition 1.4).

            b) We have

            x̅1K,(a,ξ,η˜)=(x̅1K)ξ|η,a=tTE¨ηt*xξt,a=
            =tTηt*xξt,a=tTx,ξt,aηt*.

            Thus the family (ξtaηt*)tT is summable in E¨E and

            φx,(a,ξ,η˜)=x,tTEξtaηt*.

            If φ:LE(H)E denotes the transpose of φ then

            φ(a,ξ,η˜)=tTEξtaηt*E¨.

            By continuity φ(LE(H)..)E¨ and φ is a unital W*-homomorphism.

            c) Let xEc and ξ,ηLE(H). By [1] Proposition 5.6.3.17 d),

            (x˜1K)ξ|η=tT˜ηt*((x˜1K)ξ)t=tT˜ηt*xξt=
            =tT˜xηt*ξt=xtT˜ηt*ξt=xξ|η.

            Thus for uLE(H),

            u(x˜1K)ξ|η=(x˜1K)ξ|u*η=xξ|u*η=xuξ|η,
            u(x˜1K)=(x˜1K)u,
            and so x˜1KLE(H)c.

            DEFINITION 1.3.3 We put for all ξ, ηH (resp. and aE¨+)

            Pξ,η:LE(H)+,XXξ|η,
            (resp.Pξ,η,a:LE(H)+,X|Xξ|η,a|),
            Pξ:LE(H)+,XXξ=Xξ|Xξ1/2,
            (resp.Pξ,a:LE(H)+,XXξ|Xξ,a1/2),
            qξ:LE(H)+,Xpξ(X*),
            (resp.qξ,a:LE(H)+,Xpξ,a(X*)).
            and denote, respectively, by T1,T2,T3 the topologies on LE(H) generated by the set of seminorms
            {pξ,η|ξ,ηH},  (resp.{pξ,η,a|ξ,ηH,aE¨+}),
            {pξ|ξH},  (resp.{pξ,a|ξH,aE¨+}),
            {pξ|ξH}{qξ|ξH},
            (resp.{pξ,a|ξH,aE¨+}{qξ,a|ξH,aE¨+}).

            Moreover ‖⋅‖ denotes the norm topology on LE(H).

            Of course T2T3. In the C*-case, T2 is the topology of pointwise convergence. If E is finite-dimensional then the C*-case and the W*-case coincide.

            PROPOSITION 1.3.4 Let XLE(H) and ξ, η ∈ H (resp. and aE¨).

            • a) pξ,η(X) = pη,ξ(X*)  (resp. pξ,η,|a|(X) = pη,ξ,|a|(X*)).

            • b) pξ,η(X) ≤ pξ(X) ‖η‖.

            • c) If E is a W*-algebra and a = x|a| is the polar representation of a then

              pξx,η,|a|(X)=|X,(a,ξ,η˜)|pξx,|a|(X)η|η,|a|1/2.

            • d) If Y,ZLE(H) then

              pξ,η(YXZ)=pZξ,Y*η(X)  (resppξ,η,|a|(YXZ)=pZξ,Y*η,|a|(X)),
              pξ(YXZ)YpZξ(X)  (resp.pξ,|a|(YXZ)YpZξ,|a|(X)).

            a) From

            Xξ|η=ξ|X*η=X*η|ξ*
            it follows
            pξ,η(X)=Xξ|η=X*η|ξ=pη,ξ(X*),
            (resp.pξ,η,|a|(X)=|X*η|ξ,|a||=pη,ξ,|a|(X*)).

            b) pξ,η(X)=Xξ|ηpξ(X)η.

            c) We have

            pξx,η,|a|(X)=|X(ξx)|η,|a||=|Xξ|ηx,|a||=
            =|Xξ|η,x|a||=|Xξ|η,a|=|X,(a,ξ,η˜)|.

            By Schwarz’ inequality ([1] Proposition 2.3.3.9),

            |X(ξx)|η,|a||2X(ξx)|X(ξx),|a|η|η,|a|,
            so
            pξx,η,|a|(X)pξx,|a|(X)η|η,|a|1/2.

            d) The first equation follows from

            pξ,η(YXZ)=YXZξ|η=XZξ|Y*η=pZξ,Y*η(X)
            (resp.pξ,η,|a|(YXZ)=|YXZξ|η,|a||=
            =|XZξ|Y*η,|a||=pZξ,Y*η,|a|(X))
            and the second from
            pξ(YXZ)=YXZξYXZξ=YpZξ(X)
            (resp.pξ,|a|(YXZ)=YXZξ|YXZξ,|a|1/2
            YXZξ|XZξ,|a|1/2=YpZξ,|a|(X)).

            LEMMA 1.3.5 Let n ∈ ℕ and (xi)in a family in E. Then

            (inxi)*(inxi)ninxi*xi.

            We prove the relation by induction with respect to n. By [1] Corollary 4.2.2.4 and by the hypothesis of the induction,

            (inxi)*(inxi)=(xn*+in1xi*)(xn+in1xi)==xn*xn+in1(xn*xi+xi*xn)+(in1xi)*(in1xi)xn*xn+in1(xn*xn+xi*xi)+(n1)in1xi*xi=ninxi*xi.

            LEMMA 1.3.6 Let n ∈ ℕ, x ∈ En,n, and for every j ∈ ℕn put

            ηj:(δji1E)ininĔ.
            Then
            xnsupjnxηj.

            For ξ(inĔ)#, by Lemma 1.3.5,

            xξ|xξ=in(xξ)i|(xξ)i=in(jnxijξj)*(jnxijξj)ninjn(xijξj)*(xijξj)=ninjnξj*xij*xijξj==njnξj*(inxij*xij)ξj.

            For i, j ∈ ℕn,

            (xηj)i=knxikηjk=xij,xηj|xηj=in(xηj)i*(xηj)i=inxij*xij,
            so
            xξ|xξnjnξj*xηj|xηjξjnjnxnj2ξj*ξjnsupjnxηj2jnξj*ξjnsupjnxηj21E,x2nsupjnxηj2.

            COROLLARY 1.3.7

            • a) The map

              LE(H)T1LE(H)T1,XX*
              is continuous. In particular ReLE(H) is a closed set of LE(H)T1.

            • b) T1T2T3 norm topology.

            • c) If E is a W*-algebra then the identity map

              LE(H)HLE(H)T1
              is continuous so
              LE(H)T1#=LE(H)H#
              is compact.

            • d) For Y,ZLE(H) and k ∈ {1,2}, the map

              LE(H)TkLE(H)Tk,XYXZ
              is continuous.

            • e) LE(H)T3 is complete in the C*-case.

            • f) If T is finite then T2 is the norm topology in the C*-case.

            • g) KE(H) is dense in LE(H)T3.

            a) follows from Proposition 1.3.4 a).

            b) T1T2 follows from Proposition 1.3.4 b),c). T2T3 norm topology is trivial.

            c) follows from Proposition 1.3.4 c) (and [1] Theorem 5.6.3.5 a)).

            d) follows from Proposition 1.3.4 d).

            e) Let F be a Cauchy filter on LE(H)T3. Put

            Y:HH,ξlimX,F(Xξ),
            Z:HH,ξlimX,F(X*ξ),
            where the limits are considered in the norm topology of H. For ξ, ηH,
            Yξ|η=limX,FXξ|η=limX,Fξ|X*η=ξ|Zη,
            so Y,ZLE(H) and Z = Y *. Thus F converges to Y in LE(H)T3 and LE(H)T3 is complete.

            f) follows from b) and Lemma 1.3.6.

            g) Let XLE(H) and ξ ∈ H. For every SPf(T) put

            PSsSes·|esPrKE(H)
            and let FT be the upper section filter or Pf(T). Then PSXKE(H) for every SPf(T) and
            limS,FTPSXξ=Xξ
            in H (resp. in HH¨) ([1] Proposition 5.6.4.1 e) (resp. [1] Proposition 5.6.4.6 c))). Thus
            limS,FTPSX=X
            with respect to the topology T2. Since the same holds for X*, it follows that X belongs to the closure of KE(H) in LE(H)T3.

            Remark. The inclusions in b) can be strict as it is known from the case E ≔ 𝕂.

            LEMMA 1.3.8 Let G be a W*-algebra and F a C*-subalgebra of G. Then the following are equivalent.

            • a) F generates G as a W*-algebra.

            • b) F# is dense in GG¨#.

            • c) F is dense in GG¨.

            ab follows from [1] Corollary 6.3.8.7.

            bc is trivial.

            ca follows from [1] Corollary 4.4.4.12 a).

            PROPOSITION 1.3.9 Let G be a W*-algebra, F a C*-subalgebra of G generating it as W*-algebra, I a set, and

            LiIFˇ,  MiIWGˇ.

            • a) M is the extension of L to a selfdual Hilbert right G-module ([2] Proposition 1.3 f)) and L# is dense in MM¨#.

            • b) If we denote for every XLF(L) by X̅LG(M) its unique extension ([3] Proposition 1.4 a)) then the map

              LF(L)LG(M),XX̅
              is an injective C*-homomorphism and its image is dense in LG(M)M.

            • c) The map

              LF(L)T2#LG(M)T1#,XX̅
              is continuous.

            a) By Lemma 1.3.8 a ⇒ b, F# is dense in GG¨# so Fˇ# is dense in GˇGˇ¨# and Gˇ is the extension of Fˇ to a selfdual Hilbert right G-module ([3] Corollary 1.5 a2a1). By [3] Proposition 1.8, M is the extension of L to a selfdual Hilbert right G-module. By [3] Corollary 1.5 a1a2, L# is dense in MM¨#.

            b) By a) and [3] Proposition 1.4 e), the map

            LF(L)LG(M),XX̅
            is an injective C*-homomorphism. By [3] Proposition 1.9 b), its image is dense in LG(M)M.

            c) Denote by N the vector subspace of M generated by

            {(a,ξ,η˜)|(a,ξ,η)G¨×L×L}.

            By a) and [3] Proposition 1.9 a), N is dense in M so by Corollary 1.3.7 c),

            LG(M)T1#=LG(M)N#.

            For (a,ξ,η)G¨+×L×L and XLF(L), by Proposition 1.3.4 c),

            pξ,η,a(X̅)=|X̅ξ|η,a|=
            =|Xξ|η,a|pξx,|a|(X)η|η,|a|12,
            where a = x|a| is the polar representation of a, so the map
            LF(L)T2#LG(M)T1#,XX̅
            is continuous.

            LEMMA 1.3.10 Let n,ξinĔ, and

            x[ξiδj,1]i,jnEn,n.
            Thenx‖ = ‖ξ‖.

            For ηinĔ and i ∈ ℕn,

            (xη)i=jnxijηj=jnξiδj,1ηj=ξiη1,xη|xη=in(xη)i|(xη)i=inξiη1|ξiη1=inη1*ξ1*ξiη1==η1*(inξi*ξi)η1=η1*ξ|ξη1ξ2η1*η1,xη2ξ2η12ξ2η2,xξ.
            On the other hand if we put ζ(δi,11E)in then for i ∈ ℕn,
            (xζ)i=jnxijζj=jnξiδj,11E=ξi,xζ|xζ=in(xζ)i*(xζ)i=inξi*ξi=ξ|ξ,xxζ=ξ,x=ξ.
            LEMMA 1.3.11 Let F,G be unital C**-algebras, φ : F ⟶ G a surjective C**-homomorphism, I a set,
            LiI˜FˇFˇ˜l2(I),MiI˜GˇGˇ˜l2(I),
            and for every ξL put ξ˜(φξi)iI.

            • a) If ξ, η ∈ L and x ∈ F then

              ξ˜M,ξ˜ξ,(ξx)˜=(ξ˜)φx,ξ˜|η˜=φξ|η.

            • b) For every ηM there is a ξL with ξ˜=η,ξ=η.

            • c) In the W*-case the map

              LL¨MM¨,ξξ˜
              is continuous.

            a) For JPf(I),

            iJφξi|φηi=iJ(φηi)*(φξi)=φiJηi*ξi.

            It follows ξ˜M,ξ˜ξ,ξ˜|η˜=φξ|η. Moreover for iI,

            (ξx˜)i=φ(ξx)i=φ(ξix)=(φξi)(φx)=ξ˜i(φx),ξx˜=ξ˜(φx).

            b)

            Case 1 {i ∈ I | ηi ≠ 0} is finite

            For simplicity we assume {iI|ηi0}=n for some n ∈ ℕ. We put

            θ:Fn,nGn,n,[xij]i,jn[φxij]i,jn.
            θ is obviously a surjective C*-homomorphism. So if we put
            y[ηiδj,1]i,jnGn,n,
            then there is an xFn,n with θ x = y, ‖x‖ = ‖y‖ ([5] Theorem 10.1.7). If we put
            ξ:IFˇ,i{xi1ifin0ifiI\n
            and x[xijδj1]i,jnFn,n then
            θz=[φ(xijδj1)]i,jn=[yijδj1]i,jn=y
            and by [1] Theorem 5.6.6.1 a), ‖z‖ ≤ ‖x‖. We get for i ∈ ℕn,
            ξ˜i=φξi=φxi1=yi1=ηi.

            By a) and Lemma 1.3.10,

            ξ=zx=y=η=ξ˜ξ,  ξ=η.

            Case 2 η arbitrary in the W*-case

            We may assume ‖η‖ = 1. We put for every JPf(I),

            ηJ:IG,i{ηiifiJ0ifiIJ.

            By Case 1, for every JPf(I) there is a ξJL with ξ˜J=ηJ and ‖ξJ‖ = ‖ηJ‖ ≤ 1. Let F be an ultrafilter on Pf(I) finer than the upper section filter of Pf(I). By [1] Proposition 5.6.3.3 ab,

            ξlimJ,FξJ
            exists in LL¨#. For iI,
            ξ˜i=φξi=φlimJ,F(ξJ)i=limJ,Fφ(ξJ)i=ηi
            so ξ˜=η. By a), 1=η=ξ˜ξ1, so ‖ξ‖ = ‖η‖.

            Case 3 η arbitrary in the C*-case

            We put for every JPf(I) and every ζM,

            ζJ:IG,i{ζiifiJ0ifiIJ.

            Moreover we denote by FI the upper section filter of Pf(I), set

            M0{ζM|{iI|ζi0}is finite},
            and denote by M the vector subspace of KG(M) generated by the set
            {ζ1·|ζ2|ζ1,ζ2M0}.

            Let G be the vector subspace of KF(L) generated by the set

            {α·|β|α,βL}.
            G is an involutive subalgebra of KF(L). Let (αq)qQ, (βq)qQ be finite families in L such that
            qQαq·|βq=0.

            Let further α ′, β ′ ∈ M0. By Case 1, there are α, βL with α˜=α,β˜=β and we get by a),

            qQα˜qβ|β˜q|α=qQα˜q|αβ|β˜q=
            =qQα˜q|α˜β˜|β˜q=φ(qQαq|αβ|βq)=
            =φ((qQαq·|βq)β|α)=0.

            It follows ([1] Proposition 5.6.4.1 e))

            qQα˜q·|β˜q=0.

            Thus the linear map

            ψ:GKG(M),qQαq·|βqqQα˜q·|β˜q
            is well-defined and it is easy to see (by a)) that ψ is an involutive algebra homomorphism.

            Step 1 ‖ψ‖ ≤ 1; we extend ψ by continuity to a map ψ:KF(L)KG(M)

            Let

            uqQαq·|βqG
            and let ζM0#. By Case 1, there is an αL# with α˜=ζ. By a),
            (ψu)ζ=qQα˜qα˜|β˜q=qQα˜qφα|βq=qQαqα|βq˜=uα˜,
            (ψu)ζ=uα˜uαu.

            Since M0 is dense in M ([1] Proposition 5.6.4.1 e)), it follows

            ψuu,  ψ1.

            Step 2 M is dense in KG(M)

            Let α, βM. By [1] Proposition 5.6.4.1 e),

            α=limJ,FIαJ,  β=limJ,FIβJ
            so by [1] Proposition 5.6.5.2 a),
            α·|β=limJ,FIαJ·|βJ,
            which proves the assertion.

            Step 3 ψ is a surjective C*-homomorphism

            By Step 1, ψ is a C*-homomorphism. Since its image contains M (by Case 1) it is surjective by Step 2.

            Step 4 The assertion

            Let jI. By Step 3 and [5] Theorem 10.1.7 (and [1] Proposition 5.6.5.2 a)), there is a uKF(L) with

            ψu=η·|1Gej,  u=η·|1Gej=η.
            From
            ψ(u((1Fej)·|1Fej))=(η·|1Gej)((1Gej)·|1Gej)=
            =η·|1Gej,
            η=η·|1Geju((1Fej)·|1Fej)
            u(1Fej)·|1Fej=u=η,
            u((1Fej)·|1Fej)=η
            we see that we may assume
            u=u((1Fej)·|1Fej).
            Then
            u=(u(1Fej))·|1Fej.

            If we put ξu(1Fej) ∈ L then u = ξ 〈 ⋅ |1Fej,〉 ‖η‖ = ‖u‖ = ‖ξ‖,

            η·|1Gej=ψu=ξ˜·|1Gej),
            η=η1Gej|1Gej=ξ˜1Gej|1Gej=ξ˜.

            c) Let (a,η0)G¨×M. By b), there is a ξ0L with ξ˜0=η0. By a), for ξL,

            ξ˜,(a,η0)˜=ξ˜|η0,a=ξ˜|ξ˜0,a=
            =φξ|ξ0,a=ξ|ξ0,φ¨a=ξ,(φ¨a,ξ0˜).

            We put

            θ:LM,ξξ˜
            and denote by θ ′ : M′ ⟶ L′ its transpose. By the above, θ(a,η0)˜L¨. Since θ ′ is continuous, θ(M¨)L¨ and this proves the assertion.

            PROPOSITION 1.3.12 We use the notation of Lemma 1.3.11.

            • a) If XLF(L) and ξL with ξ˜=0 then Xξ˜=0; we define

              X˜:MM,ηXξ˜,
              where ξL with ξ˜=η (Lemma 1.3.11 b)).

            • b) For every XLF(L), X˜ belongs to LG(M) and the map

              LF(L)LG(M),XX˜
              is a surjective C**-homomorphism continuous with respect to the topologies Tk with k ∈ {1,2,3}.

            • c) For ξ, ηL,

              η·|ξ˜=η˜·|ξ˜
              and
              KG(M)={X˜|XKF(L)}.

            a) For iI, φξi=ξ˜i=0 so by Lemma 1.3.11 a),

            X(eiξi)˜=(Xei)ξi˜=(Xei)˜φξi=0.

            By [1] Proposition 5.6.4.1 e) (resp. [1] Proposition 5.6.4.6 c) and [1] Proposition 5.6.3.4 c)),

            Xξ=X(iIeiξi)=iIX(eiξi)
            (resp.Xξ=X(iIL¨eiξi)=iIL¨X(eiξi))

            so by Lemma 1.3.11 a) (resp. c)),

            Xξ˜=iIX(eiξi)˜=iIX(eiξi)˜=0
            (resp.Xξ˜=iIL¨X(eiξi)˜=iIM¨X(eiξi)˜=0).

            b) For X,YLF(L) and ξ, ηL, by Lemma 1.3.11 a),

            X˜ξ˜|η˜=Xξ˜|η˜=φXξ|η=
            =φξ|X*η=ξ˜|X*η˜=ξ˜|X*˜η˜,
            X˜Y˜ξ˜=X˜Yξ˜=X(Yξ)˜=(XY)ξ˜=XY˜ξ˜.

            By Lemma 1.3.11 b), X˜LG(M), (X˜)*=X˜*, and X˜Y˜=XY˜, i.e. the map is a C*-homomorphism.

            For XLF(L) and ξ, ηL (resp. and aM¨+), by Lemma 1.3.11 a),

            pξ˜,η˜(X˜)=X˜ξ˜|η˜=Xξ˜|η˜=φXξ|ηpξ,η(X)
            (resp.pξ˜,η˜,a(X)=|X˜ξ˜|η˜,a|=|φXξ|η,a|=
            =|Xξ|η,φ¨a|=pξ,η,φ¨a(X)),
            so by Lemma 1.3.11 b), the map is continuous with respect to the topology T1. The proof for the other topologies is similar.

            c) For ζL, by Lemma 1.3.11 a),

            η·|ξ˜ζ˜=(η·|ξ)ζ˜=ηζ|ξ˜=
            =η˜φζ|ξ=η˜ζ˜|ξ˜=(η˜·|ξ˜)ζ˜
            so by Lemma 1.3.11 b),
            η·|ξ˜=η˜·|ξ˜.
            The last assertion follows now from b).

            SCHUR PRODUCTS

            Throughout Schur Products we fix f(T,E)

            2.1. The representations

            We present here the projective representation of the groups and its main properties.

            DEFINITION 2.1.1 We put for every tT and ξ ∈ H,

            ut:ĔH,ζζet,Vtξ:TĔ,sf(t,t1s)ξ(t1s).

            If we want to emphasize the role of f then we put Vtf instead of Vt. For xE,

            (x˜1K)Vtξ:TĔ,sf(t,t1s)xξ(t1s).

            PROPOSITION 2.1.2 Let s, tT, xE, ζĔ, and ξH.

            • a) VtξH.

            • b) VsVt=(f(s,t)˜1k)Vst.

            • c) Vt(ζes) = (f(t, s)ζ) ⊗ ets.

            • d) Vt(x˜1K)=(x˜1K)Vt.

            • e) VtUnLE(H),Vt*=(f˜(t)˜1K)Vt1.

            • f) (x˜1K)Vt(ζes)=(f(t,s)xζ)ets.

            • g) If T is infinite and F denotes the filter on T of cofinite subsets, i.e.

            F{S|SP(T),TSPf(T)},
            then
            limt,FVt=0
            in LE(H)T1.

            a) For RPf(T),

            rR(Vtξ)r|(Vtξ)r=rRf(t,t1r)ξt1r|f(t,t1r)ξt1r==rRξt1r|ξt1r=rRξr|ξrξ|ξ
            so VtξH.

            b) For rT,

            (VsVtξ)r=f(s,s1r)ξs1r=f(s,s1r)f(t,t1s1r)ξt1s1r==f(s,t)f(st,t1s1r)ξt1s1r=f(s,t)(Vstξ)r=((f(s,t)˜1K)Vstξ)r
            so
            VsVt=(f(s,t)˜1K)Vst.

            c) For rT,

            (Vt(ζes))r=f(t,t1r)(ζes)t1r==δs,t1rf(t,t1r)ζ=δr,tsf(t,s)ζ=((f(t,s)ζ)ets)r
            so
            Vt(ζes)=(f(t,s)ζ)ets.

            d) We have

            (Vt(x˜1K)ξ)s=f(t,t1s)((x˜1K)ξ)t1s=f(t,t1s)xξt1s=((x˜1K)Vtξ)s
            so
            Vt(x˜1K)=(x˜1K)Vt.

            e) For ηH, by Proposition 1.1.2 a),b),

            Vtξ|η=sT˜(Vtξ)s|ηs=sT˜f(t,t1s)ξt1s|ηs==rT˜f(t,r)ξr|ηtrrT˜ξr|f˜(t)f(t1,tr)ηtr==rT˜ξr|(((f˜(t)˜1K)Vt1)η)r=ξ|((f˜(t)˜1K))Vt1)η
            so VtLE(H) with Vt*=(f˜(t)˜1K)Vt1. By b) and d),
            Vt*Vt=(f˜(t)˜1K)Vt1Vt=(f˜(t)˜1K)(f(t1,t)˜1K)Vt1t=idH,VtVt*=Vt(f˜(t)˜1K)Vt1=(f˜(t)˜1K)VtVt1==(f˜(t)˜1K)(f(t,t1)˜1K)Vtt1=idH.

            f) follows from c).

            g) Let us consider first the C*-case. Let ξ, ηH, tT, and ε > 0. There is an SPf(T) such that ║ηeT\S║ < ε. By e),

            |Vtξ|ηeTS|VtξηeTSεξ
            so
            pξ,η(Vt)=|Vtξ|η||Vtξ|ηeS|+|Vtξ|ηeTS|<|Vtξ|ηeS|+ε.

            From

            Vtξ|ηeS=sSηs*f(t,t1s)ξt1s
            it follows
            limt,FVtξ|ηeS=0,limt,Fpξ,η(Vt)=0.

            The W*-case can be proved similarly.

            Remark. By e), T1 cannot be replaced by T2 in g).

            PROPOSITION 2.1.3 Let s, tT.

            • a) utLE(Ĕ,H),ut*=·|1Eet.

            • b) us*ut=δs,t1E.

            • c) usut*=1E˜(·|etes).

            • d) rTT2urur*=idH.

            a) For ζĔ and ξH,

            utζ|ξ=ζet|ξ=sT˜ξs*(ζet)s=ξt*ζ=ζ|ξt
            so
            utLE(Ĕ,H),ut*ξ=ξt=ξ|1Eet.

            b) For ζĔ, by a),

            us*utζ=us*(ζet)=ζet|1Ees=δs,tζ
            so
            us*ut=δs,t1E.

            c) For ζĔ and rT, by a),

            usut*(ζer)=usδr,tζ=δr,t(ζes)==ζer|etes=(1E˜(·|etes))(ζer),
            so (by a) and [1] Proposition 5.6.4.1 e) (resp. and [1] Proposition 5.6.4.6 c), [1] Proposition 5.6.3.4 c))) usut*=1E˜(·|etes).

            d) For ξH (resp. and aE¨+) and SPf(T), by c),

            pξ(tSutut*idH)=tTSξ|ξ1/2(resp.pξ,a(tSutut*idH)==tS(utut*idH)ξ|tS(utut*idH)ξ,a1/2==(tTSξ|ξ,a)1/2)
            and the assertion follows.

            PROPOSITION 2.1.4 Let s, tT and xE.

            • a) Vs ut = ust f(s, t).

            • b) us*Vt=f(t,t1s)ut1s*.

            • c) (x˜1K)ut=utx.

            • d) xut*=ut*(x˜1K).

            a) For ζĔ, by Proposition 2.1.2 c),

            Vsutζ=Vs(ζet)=(f(s,t)ζ)est=ustf(s,t)ζ
            so Vs ut = ust f(s, t).

            b) For ζĔ and rT, by Proposition 2.1.2 c) and Proposition 2.1.3 a),

            us*Vt(ζer)=us*((f(t,r)ζ)etr)=δs,trf(t,r)ζ=
            =δt1s,rf(t,t1s)ζ=f(t,t1s)ut1s*(ζer)
            so
            us*Vt=f(t,t1s)ut1s*.

            c) For ζĔ,

            (x˜1K)utζ=(x˜1K)(ζet)=(xζ)et=utxζ
            so (x˜1K)ut=utx.

            d) follows from c).

            DEFINITION 2.1.5 We put for all s, tT (Proposition 2.1.3 a))

            φs,t:LE(H)LE(Ĕ)E,Xus*Xut
            and set Xtφt, 1 X for every XLE(H).

            PROPOSITION 2.1.6 Let s, tT.

            • a) φs, t is linear with ║φs, t = 1.

            • b) For XLE(H) and x,yĔ,

              (φs,tX)x|y=X(xet)|yes

            • c) The map

              φs,t:LE(H)T1E(resp.EE¨)
              is continuous.

            • d) φt, t is involutive and completely positive.

            • e) For rT and xE,

              φs,t((x˜1K)Vr)=δs,rtf(r,t)x.

            • f) If (xr)rTE(T) and

              XrT(xr˜1K)Vr
              then
              φs,tX=f(st1,t)xst1,Xt=xt.

            • g) For XLE(H) and x, yE,

              φs,t((x˜1K)X(y˜1K))=x(φs,tX)y,
              ((x˜1K)X(y˜1K))t=xXty.

            a) follows from Proposition 2.1.3 a),b).

            b) We have

            (φs,tX)x|y=us*Xutx|y=Xutx|usy=X(xet)|yes.

            c)

            The C*-case

            By b), for XLE(H),

            φs,tX=(φs,tX)1E|1E=
            =X(1Eet)|1Ees=p1Eet,1Ees(X).
            The W*-case

            Let aE¨ and let a = x|a| be its polar representation. By b), for XLE(H),

            |φs,tX,a|=|(φs,tX)1E|1E,x|a||=|(φs,tX)x|1E,|a||=
            =|X(xet)|1Ees,|a||=pxet,1Ees,|a|(X).

            d) For XLE(H),

            (φt,tX)*=(ut*Xut)*=ut*X*ut=φt,t(X*)
            so φt, t is involutive. For n ∈ ℕ, X((LE(H))n,n)+, and ζĔn,
            injn((φt,tXij)ζj)|ζj=i,jnut*Xijutζj|ζi==i,jnXijutζj|utζi0
            ([1] Theorem 5.6.6.1 f) and [1] Theorem 5.6.1.11 c1c2) so φt, t is completely positive ([1] Theorem 5.6.6.1 f) and [1] Theorem 5.6.1.11 c2c1).

            e) By Proposition 2.1.4 a),d) and Proposition 2.1.3 b),

            φs,t((x˜1K)Vr)=us*(x˜1K)Vrut=xus*Vrut=xus*urtf(r,t)=δs,rtf(r,t)x.

            f) By e) (and Proposition 1.1.2 a)),

            φs,tX=rTφs,t((xr˜1K)Vr)=rTδs,rtf(r,t)xr=f(st1,t)xst1,
            Xt=φt,1X=f(t,1)xt=xt.

            g) By Proposition 2.1.4 c),d),

            φs,t((x˜1K)X(y˜1K))=us*(x˜1K)X(y˜1K)ut=
            =xus*Xuty=x(φs,tX)y.

            DEFINITION 2.1.7 We put

            R(f){tT(xt˜1K)Vt|(xt)tTE(T)},
            S(f)R(f)̅T3,S·(f)R(f)̅·
            and call S(f) the Schur product associated to f. Moreover we put SC(f)S(f) in the C*-case and SW(f)S(f) in the W*-case. If F is a subset of E then we put
            S(f,F){XS(f)|tTXtF}
            and use similar notation for the other S.

            By Proposition 2.1.2 b),d),e), R(f) is an involutive unital E-subalgebra of LE(H) (with V1 as unit). In particular S·(f) is an E-C*-subalgebra of LE(H). If T is finite then R(f)=S(f). By Corollary 1.3.7 e), SC(f)T3 is complete.

            PROPOSITION 2.1.8 For XR(f)¯T1 and s, tT,

            φs,tX=f(st1,t)Xst1.

            Let F be a filter on R(f) converging to X in the T1-topology. By Proposition 2.1.6 c),f) (and Corollary 1.3.7 d)),

            φs,tX=limY,Fφs,tY=limY,Ff(st1,t)Yst1=f(st1,t)limY,FYst1=
            =f(st1,t)limY,Fφst1,1Y=f(st1,t)φst1,1X=f(st1,t)Xst1.

            THEOREM 2.1.9 Let XR(f)¯T1.

            • a) If (xt)tT is a family in E such that

              X=tTT1(xt˜1K)Vt
              then Xt = xt for every tT. In particular, if T is finite then the map
              ETS(f),xtT(xt1K)Vt
              is bijective and E-linear (Proposition 2.1.2 d)).

            • b) We have

              X=tTT3(Xt˜1K)VtS(f).

            • c) (X*)t=f˜(t)(Xt1)* for every tT and

              X*=tTT3((Xt)*˜1K)Vt*R(f)̅T3.

            • d) S(f)=R(f)¯T1=R(f)¯T2.

            • e) For ξH and tT,

              (Xξ)t=sT˜f(s,s1t)Xsξs1t.

            • f) If T is finite and if we identify LE(H) with ET, T then X is identified with the matrix

              [f(st1,t)Xst1]s,tT,
              and for every rT, Vr is identified with the matrix
              [f(st1,t)δs,rt]s,tT.

            • g) If X,YS(f) and tT then XYS(f) and

              (XY)t=sT˜f(s,s1t)XsYs1t,
              (X*Y)t=sT˜f(s,t)*Xs*Yst,  (XY*)t=sT˜f(t,s)*XtsYs*,
              (X*Y)1=sT˜Xs*Ys,  (XY*)1=sT˜XsYs*.

            • h) The map

              ES(f),xx˜1K
              is an injective unital C**-homomorphism and so S(f) is an E-C**-subalgebra of LE(H) and ReS(f) is closed in S(f)T1. In the W*-case, SW(f) is the W*-subalgebra of LE(H) generated by R(f) and R(f)# is dense in SW(f)T1#=SW(f)H#, which is compact.

            • i) If E is a W*-algebra then SC(f) may be identified canonically with a unital C*-subalgebra of SW(f) by using the map of Proposition 1.3.9. b). By this identification SC(f) generates SW(f) as W*-algebra.

            • j) If F is a closed ideal of E (resp. of EE¨) then S(f,F) is a closed ideal of S(f) (resp. of S(f)S(f)).

            • k) If F is a unital C**-subalgebra of E such that f(s, t) ∈ F for all s, tT then S(f,F) is a unital C**-subalgebra of S(f) and the map

              S(f,F)S(g),XtTT3(Xt˜1K)Vtg
              is an injective C**-homomorphism, where
              g:T×TUnFc,(s,t)f(s,t).
              This map induces a C*-isomorphism S·(f,F)S·(g).

            • l) (X,Y)S(f)°+(X1,Y1)E+°.

            a) By Proposition 2.1.6 c),e),

            Xt=φt,1X=sT˜φt,1((xs˜1K)Vs)=sT˜δt,sf(s,1)xs=xt.
            b&c&d
            Step1X=tTT2(Xt˜1K)Vt

            By Proposition 2.1.3 d), Corollary 1.3.7 d), Proposition 2.1.8, and Proposition 2.1.4 b),d),

            X=(sTT2usus*)X(tTT2utut*)=sTT2tTT2usus*Xutut*=
            =sTT2tTT2us(φs,tX)ut*=sTT2tTT2usf(st1,t)Xst1ut*=
            =sTT2rTT2usXrf(r,r1s)ur1s*=sTT2rTT2usXrus*Vr=
            =sTT2rTT2usus*(Xr˜1K)Vr=sTT2usus*(tTT2(Xt˜1K)Vt)=tTT2(Xt˜1K)Vt.

            Step 2 b&c&d

            By Step 1, Corollary 1.3.7 a), and Proposition 2.1.2 d),e) (and Proposition 1.1.2. a)),

            X*=(sTT1(Xs˜1K)Vs)*=sTT1(Xs*˜1K)Vs*=
            =sTT1(Xs*˜1K)(f˜(s)˜1K)Vs1=rTT1((f˜(r)Xr1*)˜1K)VrR(f)̅T1.

            By a),

            (X*)t=f˜(t)(Xt1)*.

            By Step 1 and Proposition 2.1.2 e) (and Proposition 1.1.2 a)),

            X*=tTT2((X*)t˜1K)Vt=tTT2((Xt1)*˜1K)(f˜(t)˜1K)Vt=
            =tTT2((Xt1)*˜1K)Vt1*=tTT2((Xt)*˜1K)Vt*.

            Together with Step 1 this proves

            X=tTT3(Xt˜1K)VtS(f),X*=tTT3((Xt)*˜1K)Vt*S(f).

            In particular S(f)=T1R(f)=T2R(f).

            e) By b) and Corollary 1.3.7 b), in the C*-case,

            (Xξ)t=(sTT1(Xs˜1K)Vs)ξ|1Eet=sT(Xs˜1K)Vsξ|1Eet=
            =sTXsf(s,s1t)ξs1t=sTf(s,s1t)Xsξs1t.

            The proof is similar in the W*-case.

            f) For ξH and sT, by e),

            (Xξ)s=tTf(t,t1s)Xtξt1s=rTf(sr1,r)Xsr1ξr.

            g) By b), Corollary 1.3.7 b),d), and Proposition 2.1.2 b),d),

            XY=(sTT2(Xs˜1K)Vs)(tTT2(Xt˜1K)Vt)=
            =sTT2tTT2(Xs˜1K)Vs(Yt˜1K)Vt=sTT2tTT2(Xs˜1K)(Yt˜1K)VsVt=
            =sTT2tTT2(Xs˜1K)(Yt˜1K)(f(s,t)˜1K)Vst=
            =sTT2rTT2((f(s,s1r)XsYs1r)˜1K)Vr.

            Since by d),

            rTT2((f(s,s1r)XsYs1r)˜1K)VrS(f)
            for every sT we get XYS(f), again by d). By Corollary 1.3.7 b) and Proposition 2.1.6 c),e),
            (XY)t=φt,1(XY)=sT˜rT˜φt,1((f(s,s1r)XsYs1r)˜1K)Vr=
            =sT˜rT˜δt,rf(r,1)f(s,s1r)XsYs1r=sT˜f(s,s1t)XsYs1t.

            By the above, c), and Proposition 1.1.2 b),

            (X*Y)t=sT˜f(s,s1t)(X*)sYs1t=sT˜f(s,s1t)f˜(s)(Xs1)*Ys1t=
            =sT˜f(s1,t)*(Xs1)*Ys1t=sT˜f(s,t)*Xs*Yst,
            (XY*)t=sT˜f(s,s1t)Xs(Y*)s1t=sT˜f(s,s1t)Xsf˜(s1t)(Yt1s)*=
            =sT˜f(t,t1s)*Xs(Yt1s)*=sT˜f(t,s)*XtsYs*.

            It follows by Proposition 1.1.2 a),

            (X*Y)1=sT˜Xs*Ys,  (XY*)1=sT˜XsYs*.

            h) By c) and g), S(f) is an involutive unital subalgebra of LE(H). Being closed (resp. closed in LE(H)H (d) and Corollary 1.3.7 c))) it is a C**-subalgebra of LE(H) (resp. generated by R(f) [1] Theorem 5.6.3.5 b) and [1] Corollary 4.4.4.12 a) and by [1] Corollary 6.3.8.7 R(f)# is dense in SW(f)T1#, which is compact by Corollary 1.3.7 c)). The assertion concerning E follows from Proposition 2.1.2 d) and Lemma 1.3.2 c). By Corollary 1.3.7 a), ReS(f) is a closed set of S(f)T1.

            i) The assertion follows from h), Proposition 1.3.9 b), and Lemma 1.3.8 c) ⇒ a).

            j) For XS(f,F), YS(f), and tT, by g), (XY)t,(YX)tS(f,F) so S(f,F) is an ideal of S(f). The closure properties follow from Proposition 2.1.6 c).

            k) By c) and g), S(f,F) is a unital involutive subalgebra of S(f) and by Proposition 2.1.6 c), S(f,F) is a C**-subalgebra of S(f). The last assertion follows from the fact that the image of the map contains R(g).

            l) There are U,VS(f) with

            (X,Y)=(U,V)*(U,V)=(U*,V*)(U,V)=(U*U+V*V,U*VV*U).

            For tT,

            0(Ut,Vt)*(Ut,Vt)=(Ut*,Vt*)(Ut,Vt)=(Ut*Ut+Vt*Vt,Ut*VtVt*Ut).

            By g),

            X1=(U*U+V*V)1=tT˜(Ut*Ut+Vt*Vt),
            Y1=(U*VV*U)1=tT˜(Ut*VtVt*Ut)
            so
            (X1,Y1)=tT˜(Ut*Ut+Vt*Vt,Ut*VtVt*Ut)E+.

            Remark. It may happen that by the identification of i), SC(f)SW(f) (Remark of Proposition 2.1.23).

            COROLLARY 2.1.10

            • a) If (xt)tT is a family in E such that (║xt║)tT is summable then

              ((xt˜1K)Vt)tT

            • b) is norm summable in LE(H) and

              tT(xt˜1K)VttTxt.

            • c) The set

              A{XS(f)|tTXt<}
              is a dense involutive unital subalgebra of S·(f) with
              tT(X*)t=tTXt,
              tT(XY)t(tTXt)(tTYt)
              for all X,YA.

            • d) A endowed with the norm

              A+,XtTXt
              is an involutive Banach algebra and S·(f) is its C*-hull.

            a) For SPf(T), by Proposition 2.1.2 e),

            tS(xt˜1K)VttSxt˜1KVt=tSxt
            and the assertion follows.

            b) By Theorem 2.1.9 c), X*S(f) and

            (X*)t=(Xt1)*=Xt1
            for all tT so
            tT(X*)t=tTXt1=tTXt.

            By Theorem 2.1.9 g), XYS(f) and

            (XY)t=sT˜f(s,s1t)XsYs1tsTXsYs1t
            for every tT so
            tT(XY)ttTsTXsYs1t=sTXs(tTYs1t)=
            =sTXs(tTYt)=(tTXt)(tTYt).

            c) is easy to see.

            Remark. There may exist XS·(f) for which ((Xt˜1K)Vt)tT is not norm summable, as it is known from the theory of trigonometric series (see Proposition 819). In particular the inclusion AS·(f) may be strict.

            COROLLARY 2.1.11 Let F be a unital C**-algebra and τ : EF a positive continuous (resp. W*-continuous) unital trace.

            • a) τ ο φ1,1 is a positive continuous (resp. W*-continuous) unital trace.

            • b) If τ is faithful then τ ο φ1,1 is faithful and V1 is finite.

            • c) In the W*-case, SW(f) is finite iff E is finite.

            a) Let X,YS(f). By Theorem 2.1.9 g) (and Proposition 1.1.2 a)),

            τφ1,1(XY)=τ(tT˜f(t,t1)XtYt1)=τ(tT˜f(t,t1)Xt1Yt)=
            =tT˜τ(f(t,t1)Xt1Yt)=tT˜τ(f(t,t1)YtXt1)=τ(tT˜f(t,t1)YtXt1)=
            =τφ1,1(YX).

            Thus τ ο φ1,1 is a trace which is obviously positive, continuous (resp. W*-continuous), and unital (Proposition 2.1.6 c),d)).

            b) By Theorem 2.1.9 g), φ1,1 is faithful, so τ ο φ is also faithful. Let XS(f) with X*X = V1. By a),

            τφ1,1(XX*)=τοφ1,1(X*X)=τφ1,1V1=1F
            so
            τφ1,1(V1XX*)=1F1F=0,  V1=XX*,
            and V1 is finite.

            c) By b), if E is finite then SW(f) is also finite. The reverse implication follows from the fact that E ⊗̅ 1K is a unital W*-subalgebra of SW(f) (Theorem 2.1.9 h)).

            COROLLARY 2.1.12 Assume T finite and for every x′ ∈ (E′)T put

            x˜':S(f)𝕂,XtTXt,x't.
            • a) x˜S(f) and

              suptTxtx˜tTxt
              for every x′ ∈ (E′)T and the map
              φ:(E)TS(f),xx˜
              is an isomorphism of involutive vector spaces such that
              φ(xx)=(x1K)(φx),φ(xx)=(φx)(x1K)
              ([1] Proposition 2.2.7.2) for every xE and x′ ∈ (E′)T.

            • b) If E is a W*-algebra then the map

            ψ:(E¨)TS(f)^..,(at)tT(a˜t)tT
            is an isomorphism of involutive vector spaces such that
            ψ(xa)=(x1K)(ψa),  ψ(ax)=(ψa)(x1K)
            for every xE and a(E¨)T.

            COROLLARY 2.1.13 Assume T finite and let M be a Hilbert right S(f)module. M endowed with the right multiplication

            M×EM,(ξ,x)ξ(x˜1K)
            and with the inner-product
            M×ME,(ξ,η)ξ|η1
            is a Hilbert right E-module denoted by M˜, LS(f)(M) is a unital C*-subalgebra of LE(M˜), and M is selfdual if M˜ is so.

            By Proposition 2.1.6 d),g) and Theorem 2.1.9 g),l), for X,YS(f) and xE,

            φ1,1(X(x˜1K))=(φ1,1X)x,  X0φ1,1X0,
            (X,Y)S(f)°+(φ1,1X,φ1,1Y)E+,inf{φ1,1X|XS(f)+,X=1}>0
            and the assertion follows from Proposition 2.1.6 a),c),d) and [1] Proposition 5.6.2.5 a),c),d).

            COROLLARY 2.1.14 Let n ∈ ℕ and let φ:S(f)En,n be an E-C*-homomorphism. Then (φ Vt)i, jEc for all tT and all i, j ∈ ℕn.

            For xE, by Proposition 2.1.2 d) and Theorem 2.1.9 h),

            x(φVt)=φ(x˜1K)(φVt)=φ((x˜1K)Vt)=
            =φ(Vt(x˜1K))=(φVt)φ(x˜1K)=(φVt)x
            so (φ Vt)i, jEc.

            COROLLARY 2.1.15 Let S be a group and g(S,S(f)). If we put

            h:(T×S)×(T×S)UnS(f)c,((t1,s1),(t2,s2))(f(t1,t2)˜1K)g(s1,s2)
            then hF(T×S,S(f)).

            The assertion follows from Theorem 2.1.9 h).

            COROLLARY 2.1.16 Let XS(f)(resp.XS·(f)).

            • a) For every ST,

              sST3(Xs˜1K)VsS(f)  (resp.sS·(Xs˜1K)VsS·(f))
              and
              γsup{tS(Xt˜1K)Vt|SPf(T)}<.

            • b) We put for every αl(T)

              αX:TE,tαtXt.
              Then αXS(f)(resp.αXS·(f)) for every αl(T) and the map
              l(T)S(f)(resp.S·(f)),ααX
              is norm-continuous.

            • c) Assume E is a W*-algebra and let l(T, E) be the C*-direct product of the family (E)tT, which is a W*-algebra ([1] Proposition 4.4.4.21 a)). We put for every α ∈ l(T, E),

              αX:TE,tαtXt.
              Then αXSW(f) for every αl(T, E) and the map
              l(T,E)SW(f),ααX
              is continuous and W*-continuous.

            a) In the C*-case the family ((Xs ⊗ 1K)Vs)sS is summable since SC(f)T3 is complete. By Banach-Steinhaus Theorem, γ is finite. In the W*-case the summability follows now from Corollary 1.3.7 b),c) and Theorem 2.1.9 b).

            b) Let G be the vector subspace {α ∈ l(T)|α(T) is finite} of l(T). By a), the map

            GS(f)(resp.S·(f)),ααX
            is well-defined, linear, and continuous. The assertion follows by continuity.

            c) Let xE, ST, and αxeS. For ξ, ηH and aE¨, by a) and Lemma 1.3.2 b) (and Theorem 2.1.9 b)),

            αX,(a,ξ,η)˜=αXξ|η,a=tTE¨ηt*x((eSX)ξ)t,a=
            =tTx,((eSX)ξ)taηt*=x,tTE((eSX)ξ)taηt*.

            Let G be the involutive subalgebra {αl(T, E)|α(T) is finite} of l(T, E) and let G¯ be its norm-closure in l(T, E), which is a C*-subalgebra of l(T, E). By [1] Proposition 4.4.4.21 a), G is dense in l(T,E)F¨, where Fl(T, E).

            Let αl(T, E)# and let F be a filter on G# converging to α in l(T,E)F¨ ([1] Corollary 6.3.8.7). By the above (and by Theorem 2.1.9 h)),

            limβ,FβX=αX
            in SW(f)SW(f).. and so αXSW(f). The assertion follows.

            COROLLARY 2.1.17 Let S be a subgroup of T. Put

            fSf|(S×S),KSl2(S),G{XS(f)|tTSXt=0}.

            • a) fS(S,E).

            • b) G is an E-C**-subalgebra of S(f).

            • c) For every XG, the family ((Xs˜1KS)VsfS)sS is summable in LE(KS)T3 and the map

              φ:GS(fS),XsST3(Xs˜1KS)VsfS
              is an injective E-C**-homomorphism.

            • d) If XGS·(f) then φXS·(fS) and the map

              GS·(f)S·(fS),XφX
              is an E-C*-isomorphism.

            • e) If S is finite then the map

              GS(fS),XtS(Xt1KS)VtfS
              is an E-C*-isomorphism.

            a) is obvious.

            b) By Theorem 2.1.9 c),g), G is an involutive unital subalgebra of S(f) and by Proposition 2.1.6 a) (resp. Proposition 2.1.6 c) and Corollary 1.3.7 c)) and Theorem 2.1.9 h), it is an E-C**-subalgebra of S(f).

            c) follows from Theorem 2.1.9 b) and Corollary 2.1.16 a).

            d) follows from c).

            e) is contained in d).

            DEFINITION 2.1.18 We denote by 𝔖T the set of finite subgroups of T and call T locally finite if 𝔖T is upward directed and

            S𝔖TS=T.

            T is locally finite iff the subgroups of T generated by finite subsets of T are finite.

            COROLLARY 2.1.19 Assume T locally finite. We put fSf | (S × S) for every S𝔖T and identify S(fS) with {XS(f)|tTSXt=0} (Corollary 2.1.17 e)).

            • a) For every XS·(f) and ε > 0 there is an S𝔖T such that

              tR(Xt1K)VtX<ε
              for every R𝔖T with SR.

            • b) S·(f) is the norm closure of s𝔖TS(fS) and so it is canonically isomorphic to the inductive limit of the inductive system {S(fS)|S𝔖T} and for every S𝔖T the inclusion map S(fS)S·(f)a is the associated canonical morphism.

            a) There is a YR(f) with XY<ε2. Let S𝔖T with YS(fS). By Corollary 2.1.17 b), for R𝔖T with SR,

            tR((XtYt)˜1K)VtXY<ε2
            so
            tR(Xt˜1K)VtXtR((XtYt)˜1K)Vt+YX<ε2+ε2=ε.

            b) follows from a).

            Remark. The C*-algebras of the form S·(f) with T locally finite can be seen as a kind of AF-E-C*-algebras.

            PROPOSITION 2.1.20 The following are equivalent for all tT with t2 = 1 and αUn E.

            • a) 12(V1+(α˜1K)Vt)PrS(f).

            • b) α2=f˜(t).

            By Proposition 2.1.2 b),d),e),

            (Vt)*=(f˜(t)˜1K)Vt,  (Vt)2=(f˜(t)*˜1K)V1
            so
            12(V1+(α˜1K)Vt)*=12(V1+((α*f˜(t))˜1K)Vt),
            (12(V1+(α˜1K)Vt))2=14((1E+α2f˜(t)*)˜1K)V1+12(α˜1K)Vt.

            Thus a) is equivalent to α*f˜(t)=α and a2f˜(t)*=1E, which is equivalent to b).

            COROLLARY 2.1.21 Let tT such that t2 = 1 and f˜(t)=1E. Then

            12(V1±Vt)PrS(f),(V1+Vt)(V1Vt)=0.

            The assertion follows from Proposition 2.1.20.

            COROLLARY 2.1.22 Let α, βUn E, s, tT with s2 = t2 = 1, st = ts,

            γ12(α*βf(s,st)*+β*αf(t,st)*),γ12(αβ*f(st,t)*+βα*f(st,s)*),
            and
            X12((α˜1K)Vs+(β˜1K)Vt).

            • a) f(s,st)f(t,st)=f(st,t)f(st,s)=f˜(st)*.

            • b) f(st, t) f(s, st) = f(st, s) f(t, st).

            • c) X*X=12(V1+(γ˜1K)Vst),XX*=12(V1+(γ˜1K)Vst).

            • d) The following are equivalent.

              • d1)X*XPrS(f).

              • d2)XX*PrS(f).

              • d3*βf(t, st) = β*αf(s, st).

              • d4*βf(st, t) = β*αf(st, s).

            a) and b) follow from the equation of Schur functions (Definition 703) and Proposition 1.1.2 a).

            c) By Proposition 2.1.2 b),e) and Proposition 1.1.2 b),

            X*=12(((α*f˜(s))˜1K)Vs+((β*f˜(t))˜1K)Vt),
            X*X=12V1+14((α*βf˜(s)f(s,t)+β*αf˜(t)f(t,s))˜1K)Vst=
            =12V1+14((α*βf(s,st)*+β*αf(t,st)*)˜1K)Vst=12(V1+(γ˜1K)Vst),
            XX*=12V1+14((αβ*f˜(t)f(s,t)+βα*f˜(s)f(t,s))˜1K)Vst=
            =12V1+14((αβ*f(st,t)*+βα*f(st,s)*)˜1K)Vst=12(V1+(γ˜1K)Vst).
            d1d2 is known.

            d1d3. By a),

            γ2f˜(st)=14(α*βα*βf(s,st)*2+β*αβ*αf(t,st)*2+2f(s,st)*f(t,st)*)
            f(s,st)*f(t,st)*=14(α*βf(s,st)*β*αf(t,st)*)2.

            By Proposition 2.1.20 d1) is equivalent to γ2=f˜(st) so, by the above, since α*βf(s, st)*β*αf(t, st)* is normal, it is equivalent to

            α*βf(s,st)*=β*αf(t,st)*or toβ*αf(s,st)=α*βf(t,st).
            d3d4 follows from b).

            PROPOSITION 2.1.23 Let XS(f).

            • a) tT˜Xt*Xt=(X*X)1,tT˜(XtXt*)=(XX*)1.

            • b) (Xt)tT,(Xt*)tT˜tTĔ,

              (Xt)tTX,(Xt*)tTX.

            • c) If T is finite and f is constant then there is an XS(f) with

              XCardT(Xt)tT,XCardT(Xt*)tT.

            • d) If T is infinite and locally finite and f is constant then the map

              S(f)tT˜Ĕ,X(Xt)tT
              is not surjective.

            a) follows from Theorem 2.1.9 g).

            b) By a),

            (Xt)tT,(Xt*)tTtT˜Ĕ
            and by Proposition 2.1.6 a),
            (Xt)tT2=φ1,1(X*X)X*X=X2,
            (Xt*)tT2=φ1,1(XX*)XX*=X2.

            c) Let nCard T and for every tT put Xt ≔ 1E, ξt ≔ 1E. Then

            (Xt)tT2=(Xt*)tT2=n,(ξt)tT2=n.

            For tT, by Theorem 2.1.9 e),

            (Xξ)t=sTf(s,s1t)Xsξs1t=n1E
            so
            Xξ|Xξ=n31E,nX2=X2ξ2Xξ2=n3,
            X2n(Xt)tT2,Xn(Xt)tT.

            d) follows from c), Theorem 2.1.9 a), and the Principle of Inverse Operator.

            Remark. If E is a W*-algebra then it may exist a family (xt)tT in E such that the family ((xt˜1K)Vt)tT is summable in E(H)T2 in the W*-case but not in the C*-case as the following example shows. Take T, f constant, El(), and xt ≔ (δt, s)sTE for every tT. By Proposition 2.1.23 b), ((xt ⊗ 1K)Vt)tT is not summable in E(H)T2 in the C*-case. In the W*-case for ξ ∈ H and s, tT,

            ((xt̅1K)Vtξ)s|((xt̅1K)Vtξ)s=et|ξst|2,
            (xt̅1K)Vtξ|(xt̅1K)Vtξ=etξ2.

            Thus

            XtTT2(xt̅1K)VtSW(f).

            Using the identification of Theorem 2.1.9 i), we get XSW(f)SC(f).

            COROLLARY 2.1.24 Let XS(f).

            • a) X{x˜1K|xE}c iff XtEc for all tT.

            • b) X∈{Vt|tT}c iff

              Xs1ts=f(s,s1ts)*f(t,s)Xt=f(s1,ts)f(t,s)f˜(s)Xt
              for all s, tT.

            • c) XS(f)c iff for all s, tT

              XtEc,Xs1ts=f(s,s1ts)*f(t,s)Xt=f(s1,ts)f(t,s)f˜(s)Xt.
              In particular if f(s, t) = f(t, s) for all s, tT then XS(f)c iff XtEc for all tT.

            • d) φ1,1(S(f)c)=Ec.

            • e) If the conjugacy class of tT (i.e. the set {s−1ts|sT}) is infinite and X ∈{Vt|tT}c then Xt = 0.

            • f) If the conjugacy class of every tT \{1} is infinite then

              {Vt|tT}c={x˜1K|xE},S(f)c={x˜1K|xEc}.
              Thus if E is a factor then S(f) is also a factor.

            • g) The following are equivalent:

              1. g1)S(f) is commutative.

              2. g2)T and E are commutative and f(s, t) = f(t, s) for all s, tT.

            For s, tT, xE, and Y(x˜1K)Vs, by Theorem 2.1.9 g),

            (XY)t=rT˜f(r,r1t)XrYr1t=rT˜f(r,r1t)Xrδs,r1tx=f(ts1,s)Xts1x,
            (YX)t=rT˜f(r,r1t)YrXr1t=rT˜f(r,r1t)δr,sxXr1t=f(s,s1t)xXs1t.

            a) follows from the above by putting s ≔ 1 (Proposition 1.1.2 a)).

            b) follows from the above by putting x ≔ 1E and trs (Proposition 1.1.2).

            c) follows from a), b), and Corollary 1.3.7 d). The last assertion follows using Proposition 1.1.5 a).

            d) follows from c) (and Proposition 1.1.2 a)).

            e) follows from b) and Proposition 2.1.23 b).

            f) follows from c), e), and Proposition 2.1.2 d).

            g1g2. By a), E is commutative. By Proposition 2.1.2 b),

            f(s,t)Vst=VsVt=VtVs=f(t,s)VtVs=f(t,s)Vts
            and so by Theorem 2.1.9 a), st = ts and f(s, t) = f(t, s).

            g2g1 follows from c).

            COROLLARY 2.1.25 If 𝕂 = ℝ then the following are equivalent:

            • a) S(f)c=S(f)=ReS(f).

            • b) T is commutative, Ec = E = Re E, and

              f(s,t)=f(t,s),f˜(t)=1E,t2=1
              for all s, tT.

            ab. By Corollary 2.1.24 g1g2, T is commutative, E = Ec, and f(s, t) = f(t, s) for all s, tT. Since E is isomorphic with a C*-subalgebra of S(f) (Theorem 2.1.9 h)), E = Re E. By Proposition 2.1.2 e),

            Vt=Vt*=(f˜(t)˜1K)Vt1
            so by Theorem 2.1.9 a), t=t1,f˜(t)=1E, so t2 = 1.

            ba. By Corollary 2.1.24 g2g1, S(f)c=S(f). For XS(f) and tT, by Theorem 2.1.9 c),

            (X*)t=f˜(t)(Xt1)*=(Xt)*=Xt
            so X* = X (Theorem 2.1.9 a)).

            PROPOSITION 2.1.26 Let (Ei)iI be a family of unital C**-algebras such that E is the C*-direct product of this family. For every iI, we identify Ei with the corresponding closed ideal of E (resp. of EE¨) and put

            fi:T×TUnEic,(s,t)f(s,t)i.

            • a) For every iI, fi(T,Ei). We put (by Theorem 2.1.9 b))

              φi:S(f)S(fi),XtTT2((Xt)i˜1K)Vtfi.
              φi is a surjective C**-homomorphism.

            • b) In the C*-case, if T is finite then R(f)=S(f)=SC(f) is isomorphic to the C*-direct product of the family

              (R(fi)=S(fi)=SC(fi))iI.

            • c) In the C*-case, if I is finite then SC(f) (resp. S(f)) is isomorphic to iISC(fi) (resp. iIS(fi)).

            • d) In the W*-case, SW(f) is isomorphic to the C*-direct product of the family (SW(fi))iI.

            Remark. The C*-isomorphisms of b) and c) cease to be surjective in general if T and I are both infinite. Take T ≔ (ℤ2), I ≔ ℕ, Ei ≔ 𝕂 for every iI, and El (i.e. E is the C*-direct product of the family (Ei)iI). For every n ∈ ℕ put tn(δm,n)mT. Assume there is an XSC(f) (resp. XS(f)) with ψX=(Vtifi)iI (resp. φX=(Vtifi)iI), where ψ and φ are the maps of b) and c), respectively. Then (Xtn)i=δi,n for all i, n ∈ ℕ and this implies (Xt)tTtTĔ, which contradicts Proposition 2.1.23 b).

            PROPOSITION 2.1.27 Let S be a finite group, K′ ≔ l2(S), K″ ≔ l2(S × T), and g(S,S(f)) such that g(s1, s2)∈Un Ec (where Un Ec is identified with (UnEc)˜1KUnS(f)c) for all s1, s2S and put

            h:(S×T)×(S×T)UnEc,((s1,t1),(s2,t2))g(s1,s2)f(t1,t2).

            • a) h(S×T,E); for every XS(g) put

              φXsStTT3((Xs)t˜1K)V(s,t)hS(h).

            • b) φ:S(g)S(h) is an E-C*-isomorphism.

            a) is obvious.

            b) For X,YS(g) and (s, t)∈S × T, by Theorem 2.1.9 c),g) and Proposition 2.1.6 g),

            (φX*)(s,t)=((X*)s)t=g˜(s)((Xs1)*)t=
            =g˜(s)f˜(t)((Xs1)t1)*=h˜(s,t)(X(s,t)1)*=((φX)*)(s,t),
            (φ(XY))(s,t)=((XY)s)t=rSg(r,r1s)(XrYr1s)t=
            =rSg(r,r1s)qT˜f(q,q1t)(Xr)q(Yr1s)q1t=
            =(r,q)S×T˜h((r,q),(r,q)1(s,t))X(r,q)Y(r,q)1(s,t)=((φX)(φY))(s,t),
            so φ is a C*-homomorphism. If φ X = 0 then X(s, t) = 0 for all (s, t)∈S × T, so X = 0 and φ is injective. Let ZS(h). For every sS put
            XstTT3(X(s,t)˜1K)VtfS(f),
            XsS(Xs1K)VsgS(g).

            Then φ X = Z and φ is surjective.

            PROPOSITION 2.1.28 If T is infinite and XS(f){0} then X(H#) is not precompact.

            Let tT with Xt ≠ 0. There is an xE+ (resp. xE¨+) with Xt*Xt,x>0. We put t1 ≔ 1 and construct a sequence (tn)n ∈ ℕ recursively in T such that for all m, n ∈ ℕ, m < n,

            |f(t,tm)*f(ttmtn1,tn)Xt*Xttmtn1,x|<12Xt*Xt,x.

            Let n ∈ ℕ \ {1} and assume the sequence was constructed up to n − 1. Since (Proposition 2.1.23 a))

            sTXttms1*Xttms1,x<
            for all m ∈ ℕn − 1 there is a tnT with
            Xttmtn1*Xttmtn1,x<14Xt*Xt,x
            for all m ∈ ℕn − 1. By Schwarz’ inequality ([1] Proposition 2.3.4.6 c)) for m ∈ ℕn − 1,
            |f(t,tm)*f(ttmtn1,tn)Xt*Xttmtn1,x|2
            Xt*Xt,xXttmtn1*Xttmtn1,x<14Xt*Xt,x2.

            This finishes the recursive construction.

            For r, sT, by Theorem 2.1.9 e),

            (X(1Eer))s=qT˜f(q,q1s)Xqδr,q1s=f(sr1,r)Xsr1,
            X(1Eer)|Xtes=f(sr1,r)Xt*Xsr1.

            For m, n ∈ ℕ, m < n, it follows

            X(1Eetm)|Xtettm=f(t,tm)Xt*Xt,
            X(1Eetm)|Xtettm,xf(t,tm)*=Xt*Xt,x,
            X(1Eetn)|Xtettm=f(ttmtn1,tn)Xt*Xttmtn1,
            |X(1Eetn)|Xtettm,xf(t,tm)*|=
            |f(t,tm)*f(ttmtn1,tn)Xt*Xttmtn1,x|<12Xt*Xt,x,
            xX(1Eetm)X(1Eetn)Xt
            |X(1Eetm)X(1Eetn)|Xtettm,xf(t,tm)*|
            |X(1Eetm)|Xtettm,xf(t,tm)*|
            |X(1Eetn)|Xtettm,xf(t,tm)*|>
            >Xt*Xt,x12Xt*Xt,x=12XT*XT,x.

            Thus the sequence (X(1Eetn))n has no Cauchy subsequence and therefore X(H#) is not precompact.

            PROPOSITION 2.1.29 Assume T finite and let Ω be a compact space, ω0 ∈ Ω,

            g:T×TUnC(Ω,E),(s,t)f(s,t)1Ω,
            A{XS(g)|tT,t1Xt(ω0)=0},
            B{YC(Ω,S(f))|tT,t1Y(ω0)t=0}.

            Then g(T,C(Ω,E)) and we define for every XA and YB,

            φX:ΩS(f),ωtT(Xt(ω)1K)Vtf,
            ψYtT(Y(ο)t1K)Vtg.
            Then A (resp. B) is a unital C*-subalgebra of S(g) (resp. of C(Ω,S(f)))
            φ:AB,    ψ:BA
            are C*-isomorphisms, and φ = ψ−1.

            It is easy to see that A (resp. B) is a unital C*-subalgebra of S(g) (resp. of C(Ω,S(f))) and that φ and ψ are well-defined. For X, X′ ∈A, tT, and ω ∈ Ω, by Theorem 2.1.9 c),g) and Proposition 2.1.2 e),

            (((φX)(φX))(ω))t=sTf(s,s1t)((φX)(ω))s((φX)(ω))s1t=
            =sTf(s,s1t)Xs(ω)Xs1t(ω)=sT(f(s,s1t)XsXs1t)(ω)=
            =(XX)t(ω)=(φ(XX)(ω))t,
            (φX*)(ω)=sT(((X*)s(ω))1K)Vsf=sT((f˜(s)((Xs1)*(ω)))1K)Vsf=
            =sT((Xs1)(ω)*1K)(Vs1f)*=sT(Xs(ω)*1K)(Vsf)*=(φX)*(ω)
            so φ is a C*-homomorphism and we have
            (ψφX)t=(φX)t=Xt.

            Moreover for YB,

            (φψY)t(ω)=((ψY)(ω))t=Yt(ω)
            which proves the assertion.

            2.2. Variation of the parameters

            In this section we examine the changes produced by the replacement of the groups and of the Schur functions.

            DEFINITION 2.2.1 We put for every λ ∈ Λ (T, E) (Definition 1.1.3)

            Uλ:HH,ξ(λ(t)ξt)tT.
            It is easy to see that Uλ is well-defined, UλUnE(H), and the map
            Λ(T,E)UnE(H),λUλ
            is an injective group homomorphism with Uλ*=Uλ* (Proposition 1.1.4 c)). Moreover
            UλUμλμ
            for all λ, μ ∈ Λ (T, E).

            PROPOSITION 2.2.2 Let f,g(T,E) and λ ∈ Λ (T, E).

            • a) The following are equivalent:

              • a1) g = fδλ.

              • a2) There is a (unique) E-C*-isomorphism

                φ:S(f)S(g)
                continuous with respect to the T2-topologies such that for all tT and xE,
                φVtf=(λ(t)*˜1K)Vtg
                (we call such an isomorphism an S-isomorphism and denote it by S)

            • b) If the above equivalent assertions are fulfilled then for XS(f) and tT,

              φX=Uλ*XUλ,(φX)t=λ(t)*Xt.

            • c) There is a natural bijection

              {S(f)|f(T,E)}/S(T,E)/{δλ|λΛ(T,E)}.

            By Proposition 1.1.4 c), δλ(T,E) for every λ ∈ Λ (T, E).

            a1a2& b. For s, tT and ζĔ, by Proposition 2.1.2 c),

            Uλ*VtfUλ(ζes)=Uλ*Vtf((λ(s)ζ)es)=Uλ*((f(t,s)λ(s)ζ)ets)=
            =(λ(ts)*f(t,s)λ(s)ζ)ets=(λ(t)*g(t,s)ζ)ets=(λ(t)*˜1K)Vtg(ζes)
            so (by Proposition 2.1.2 e))
            Uλ*VtfUλ=(λ(t)*˜1K)Vtg.
            Thus the map
            φ:S(f)S(g),XUλ*XUλ
            is well-defined. It is obvious that it has the properties described in a2). The uniqueness follows from Theorem 2.1.9 b).

            We have

            φ((Xt˜1K)Vtf)=(Xt˜1K)(λ(t)*˜1K)Vtg=((λ(t)*Xt)˜1K)Vtg
            so (φX)t = λ(t)*Xt.

            a2a1. Put hfδλ. By the above, for tT,

            (λ(t)*˜1K)Vtg=φVtf=(λ(t)*˜1K)Vth
            so Vtg=Vth and this implies g = h.

            c) follows from a).

            Remark. Not every E-C*-isomorphism S(f)S(g) is an S isomorphism (see Remark of Proposition 3.2.3).

            COROLLARY 2.2.3 Let

            Λ0(T,E){λΛ(T,E)|λis a group homomorphism}
            and for every λ ∈ Λ0(T, E) put
            φλ:S(f)S(f),XUλ*XUλ.

            Then the map λ ⟼ φλ is an injective group homomorphism.

            By Proposition 1.1.4 c), Λ0(T, E) is the kernel of the map

            Λ(T,E)(T,E),λδλ
            so by Proposition 2.2.2, φλ is well-defined. Thus only the injectivity of the map has to be proved. For tT and ζĔ, by Proposition 2.1.2 c),
            Uλ*VtUλ(ζe1)=Uλ*Vt(ζe1)=Uλ*(ζet)=
            =(λ(t)*ζ)et=(λ(t)*˜1K)Vt(ζe1).

            So if φλ is the identity map then λ(t) = 1E for every tT.

            PROPOSITION 2.2.4 Let F be a unital C**-algebra, φ : E ⟶ F a surjective C**-homomorphism, gοf(T,F), and LtT˜Fˇ. We put for all ξH, ηL, and XE(H),

            ξ˜(φξi)iIL,  X˜ηXζ˜L,
            where ζH with ζ˜=η (Lemma 1.3.11 a),b) and Proposition 1.3.12 a)). Then
            X˜=tTT3((φXt)˜1K)VtgS(g)
            for every XS(f) and the map
            φ˜:S(f)S(g),XX˜
            is a surjective C**-homomorphism, continuous with respect to the topologies Tk, k∈{1, 2, 3} such that
            Kerφ˜={XS(f)|tTXtKerφ}.

            For s, tT and ξH,

            ((Xt˜1K)Vtf˜ξ˜)s=((Xt˜1K)Vtfξ˜)s=φ((Xt˜1K)Vtfξ)s=
            =φ(f(t,t1s)Xtξt1s)=g(t,t1s)(φXt)ξ˜t1s=(((φXt)˜1K)Vtgξ˜)s
            so by Lemma 1.3.11 b),
            (Xt˜1K)Vtf˜=((φXt)˜1K)Vtg.

            By Theorem 2.1.9 b),

            X=tTT3(Xt˜1K)Vtf
            so by the above and by Proposition 1.3.12 b),
            X˜=tTT3((φXt)˜1K)VtgS(g).

            By Proposition 1.3.12 b), φ˜ is a surjective C**-homomorphism, continuous with respect to the topologies Tk(k{1,2,3}). The last assertion is easy to see.

            COROLLARY 2.2.5 Let F be a unital C*-algebra, φ : E ⟶ F a unital C*-homomorphism such that φ(Un Ec) ⊂ Fc, gφοf(T,F), and LtTFˇ. Then the map

            φ˜:S(f)S(g),XtT((φXt)1L)Vtg
            is C*-homomorphism.

            Put GE/Ker φ and denote by φ1: EG the quotient map and by φ2: GF the corresponding injective C*-homomorphism. By Proposition 2.2.4, the corresponding map

            φ˜1:S(f)S(φ1οf)
            is a C*-homomorphism and by Theorem 2.1.9 k), the corresponding map
            φ˜2:S(φ1οf)S(g)
            is also a C*-homomorphism. The assertion follows from φ˜=φ˜2οφ˜1.

            PROPOSITION 2.2.6 Let T′ be a group, K′ ≔ l2(T′), HĔ˜K, ψ : T ⟶ T′ a surjective group homomorphism such that

            suptTCardψ1(t),
            and f(T,E) such that f′ ο (ψ × ψ) = f. If we put
            Xt''tψ1(t')Xt
            for every XS(f) and t′Tthen the family ((Xt˜1K)Vtf)tT is summable in E(H)T2 for every XS(f) and the map
            ψ˜:S(f)S(f),XXtTT1(Xt˜1K)Vtf
            is a surjective E-C**-homomorphism.

            We may drop the hypothesis that ψ is surjective if we replace S by S.

            Let XS(f). By Corollary 2.1.16 a), since ψ is surjective and

            suptTCardψ1(t),
            it follows that the family ((Xt˜1K)Vtf)tT is summable in E(H)T2 and therefore XS(f).

            Let X,YS(f). By Theorem 2.1.9 c),g), for t′ ∈ T′,

            (X*)t=f˜(t)(Xt1)*=f˜(t)(tψ1(t1)Xt)*=f˜(t)sψ1(t)(Xs1)*==sψ1(t)f˜(s)(Xs1)*=sψ1(t)(X*)s=(X*)t'',(XY)t=sT˜f(s,s1t)XsYs1t==sT˜f(s,s1t)(sψ1(s)Xs)(rψ1(s1t)Yr)==sT˜f(s,s1t)(sψ1(s)tψ1(t)XsYs1t)==sT˜(sψ1(s)tψ1(t)f(s,s1t)XsYs1t)==tψ1(t)sT˜f(s,s1t)XsYs1t=tψ1(t)(XY)t=(XY)t.
            Thus ψ is a C*-homomorphism. The other assertions are easy to see.

            The last assertion follows from Corollary 2.1.17 d).

            COROLLARY 2.2.7 If we use the notation of Proposition 2.2.6 and Corollary 2.2.5 and define φ˜ and ψ˜ in an obvious way then φ˜οψ˜=ψ˜οφ˜.

            For XS(f) and tT,

            (φ˜ψ˜X)t=φ((ψ˜X)t)=φtψ1(t)Xt=tψ1(t)φXt,(ψ˜φ˜X)t=tψ1(t)(φ˜X)t=tψ1(t)φXt,
            so
            φ˜οψ˜=ψ˜οφ˜.

            PROPOSITION 2.2.8 Let F be a unital C*-subalgebra of E such that f(s, t)∈F for all s, tT. We denote by ψ : F ⟶ E the inclusion map and put

            fF:T×TUnFc,(s,t)f(s,t),
            HFtTFˇFˇK,
            ψ˜:HFH,ξ(ψξt)tT.
            Moreover we denote for all s, tT by utF,VtF, and φs,tF the corresponding operators associated with F (fF(T,F)). Let XSC(f) such that X(ψ˜ξ)ψ˜(HF) for every ξ ∈ HF and put
            XF:HFHF,ξξ,
            where ξ′ ∈ HF with ψ˜ξ=X(ψ˜ξ), and XtF(u1F)*XFutFF (by the canonical identification of F with F(Fˇ)) for every tT.

            • a) ξ,ηHFψ˜ξ|ψ˜η=ψξ|η.

            • b) ψ˜ is linear and continuous with ψ˜=1.

            • c) XF is linear and continuous withXF‖ = ‖X‖.

            • d) For s, tT,

              ψφs,tFXF=φs,tX,  ψXtF=Xt,  φs,tFXF=fF(st1,t)Xst1F.

            • e) XFS(fF).

            • f) ξHFX(ψ˜ξ)=tT(Xt1K)Vt(ψ˜ξ).

            a&b&c are easy to see.

            d) By a) and Proposition 2.1.6 b),

            φs,tFXF=XF(1Fet)|1Fes,
            ψφs,tFXF=ψXF(1Fet)|1Fes=
            =ψ˜(XF(1Fet))|ψ˜(1Fes)=X(1Eet)|1Ees=φs,tX.

            In particular

            ψXtF=ψφ1,tFXF=φ1,tX=Xt
            and by Proposition 2.1.8,
            ψφs,tFXF=φs,tX=f(st1,t)Xst1=ψ(fF(st1,t)Xst1F),
            φs,tFXF=fF(st1,t)Xst1F.

            e) By c) and Proposition 2.1.3 d), for ξHF,

            tTutF(utF)*ξ=ξ,
            XFξ=XFtTutF(utF)*ξ=tTXFutF(utF)*ξ,
            XFξ=sTusF(usF)*XFξ=sTtTusF((usF)*XFutF)(utF)*ξ.

            By d) and Proposition 2.1.4 b),d),

            XFξ=sTtTusFfF(st1,t)Xst1F(utF)*ξ=sTtTusFXst1F(usF)*Vst1Fξ=
            =sTrTusFXrF(usF)*VrFξ=sTrTusF(usF)*(XrF1F)VrFξ=
            =sTusF(usF)*tT(XtF1K)VtFξ=tT(XtF1K)VtFξ
            by Proposition 2.1.3 d), again. Thus
            XF=tTT2(XtF1K)VtFSC(fF).

            f) For s, tT, by d),

            (ψ˜((XtF1K)VtFξ))s=ψ((XtF1K)VtFξ)s=ψ(fF(t,t1s)XtFξt1s)=
            =f(t,t1s)Xt(ψ˜ξ)t1s=((Xt1K)Vtψ˜ξ)s,
            ψ˜((XtF1K)VtFξ)=(Xt1K)Vtψ˜ξ
            so by b) and e),
            X(ψ˜ξ)=ψ˜(XFξ)=ψ˜(tT(XtF1K)VtFξ)=
            =tTψ˜((XtF1K)VtFξ)=tT(Xt1K)Vt(ψ˜ξ).

            PROPOSITION 2.2.9 Let F be a W*-algebra such that E is a unital C*-subalgebra of F generating it as W*-algebra, φ : E ⟶ F the inclusion map, and ξ˜(φξt)tTL for every ξ ∈ H, where

            LtTWFˇFˇ̅K.

            • a) φ(Un Ec) ⊂ Un Fc and gφοf(T,F).

            • b) If

              ψ:E(H)F(L),XX̅
              is the injective C*-homomorphism defined in Proposition 1.3.9 b), then ψ(SC(f))SW(g), ψ(SC(f)) generates SW(g) as W*-algebra, and for every XSC(f) and tT we have (X̅)t=φXt.

            • c) The following are equivalent for every YSW(g):

              • c1) Yψ(SC(f)).

              • c2) ξHYξ˜H.

                If these conditions are fulfilled then

              • c3) (Yt)tTH.

              • c4) (Yt*)tTH.

              • c5) ξHYξ˜=tT(Yt̅1K)Vtgξ˜H.

            a) follows from the density of φ(E) in FF¨ (Lemma 1.3.8 ac).

            b) For xE, tT, and ξ ∈ H,

            (((φx)̅1K)Vtgξ˜)s=g(t,t1s)(φx)ξ˜t1s=
            =φ(f(t,t1s)xξt1s)=φ((x1K)Vtξs)
            so
            ((φx)̅1K)Vtg=(x1K)Vtf̅.

            Let now XS(f). By Theorem 2.1.9 b),

            X=tTT2(Xt1K)Vtf
            so by the above and by Proposition 1.3.9 c) (and Theorem 2.1.9 d)),
            X̅=tTT1(Xt1K)Vtf̅=tTT1((φXt)̅1K)VtgSW(g)
            so ψ(SC(f))SW(f). By Theorem 2.1.9 a), (X¯)t=φXt for every tT.

            Since φ (E) is dense in FF¨ (Lemma 1.3.8 a) ⇒ c)) it follows that

            R(g)φ(R(f))̅T1
            so ψ(S(f)) is dense in S(g)S(g) and therefore generates S(g) as W*-algebra (Lemma 1.3.8 ca).

            c1c2 follows from the definition of ψ.

            c2c1 follows from Proposition 2.2.8 e).

            c2c3&c4 follows from Proposition 2.1.23 b).

            c2c5 follows from Proposition 2.2.8 f).

            LEMMA 2.2.10 Let E, F be W*-algebras, GE̅F, and

            LtTWGˇGˇ̅K

            • a) If zG# then z ⊗̅ 1K belongs to the closure of

              {w̅1K|wEF,w1}
              in G(L)L.

            • b) For every yF, the map

              EE¨#GG¨,xxy
              is continuous.

            a) By [1] Corollary 6.3.8.7, there is a filter F on {wEF|w1} converging to z in GG¨#. By Lemma 1.3.2 b), for (a,ξ,η)G¨×L×L,

            z̅1K,(a,ξ,η˜)=z,tTGξtaηt*=
            =limw,Fw,tTGξtaηt*=limw,Fw̅1K,(a,ξ,η˜)
            which proves the assertion.

            b) Let (ai, bi)iI be a finite family in E¨×F¨. For xE,

            xy,iIaibi=iIx,aiy,bi=x,iIy,biai.

            Since {xy | xE#} is a bounded set of G, the above identity proves the continuity.

            PROPOSITION 2.2.11 Let F be a unital C**-algebra, S a group, and g(S,F). We denote byσ the spatial tensor product and put

            GEσF  (resp.GE̅F),
            LsS˜FˇFˇ˜l2(S),M(t,s)T×S˜GˇGˇ˜l2(T×S),
            h:(T×S)×(T×S)UnGc,((t1,s1),(t2,s2))f(t1,t2)g(s1,s2).
            • a) h(T×S,G),  MH˜L,

              E(H)σF(L)G(M)intheC*-case,
              E(H)̅F(L)G(M)intheW*-case.

            • b) For tT, sS, xE, yF,

              ((x˜1l2(T))Vtf)((y˜1l2(S))Vsg)=((xy)˜1l2(T×S))V(t,s)h.

            • c) In the C*-case, S(f)σS(g)S(h) and SC(f)σSC(g)SC(h).

            • d) In the W*-case, if zG# and (t, s)∈T × S then (z̅1l2(T×S))V(t,s)h belongs to the closure of {(w̅1l2(T×S))V(t,s)h|w(EF)#} in G(M)M

            • e) In the W*-case, SW(f)̅SW(g)SW(h).

            a) h(T×S,G) is obvious.

            Let us treat the C*-case first. For ξ, ξ′H and η, η′L,

            ξη|ξη=ξ|ξη|η=(tTξt*ξt)(sSηs*ηs)==(t,s)T×S((ξt*ξt)(ηs*ηs))=(t,s)T×S(ξt*ηs*)(ξtηs)==(t,s)T×S(ξtηs)*(ξtηs),
            so the linear map
            HLM,ξη(ξtηs)(t,s)T×S
            preserves the scalar products and it may be extended to a linear map φ : HLM preserving the scalar products.

            Let zG, (t, s)∈T × S, and ε > 0. There is a finite family (xi, yi)iI in E × F such that

            iIxiyiz<ε.
            Then
            iI(xiet)(yies)ze(t,s)<ε
            so ze(t,s)φ(HL)̅=φ(HL). It follows that φ is surjective and so HLM.

            The proof for the inclusion E(H)σF(L)G(M) can be found in [6] page 37.

            Let us now discus the W*-case. Ĕ̅FˇGˇ follows from [2] Proposition 1.3 e), MH̅L follows from [3] Corollary 2.2, and E(H)̅F(L)G(M) follows from [2] Theorem 2.4 d) or [3] Theorem 2.4.

            b) For t1, t2T, s1, s2S, ξĔ, and ηFˇ, by Proposition 2.1.2 f) and [3] Corollary 2.11,

            (((x˜1l2(T))Vt1f)˜((y˜1l2(S))Vs1g))((ξet2)(ηes2))=
            =(((x˜1l2(T))Vt1f)(ξet2))˜(((y˜1l2(S))Vs1g)(ηes2)),
            ((((xy)˜1l2(T×S)))V(t1,s1)h)((ξη)e(t2,s2))=
            =(h((t1,s1),(t2,s2))(xy)(ξη))e(t1t2,s1s2)=
            =((f(t1,t2)xξ)(g(s1,s2)yη))et1t2es1s2=
            =(((x˜1l2(T))Vt1f)(ξet2))˜(((y˜1l2(S))Vs1g)(ηes2)).

            We put

            u((x˜1l2(T))Vtf)˜((y˜1l2(S))Vsg)((xy)˜1l2(T×S))Vt,shG(M).

            By the above, u(ζer) = 0 for all ζĔFˇ and rT × S.

            Let us consider the C*-case first. Since ĔFˇ is dense in Gˇ, we get u(zer) = 0 for all zGˇ and rT × S. For ζM, by [1] Proposition 5.6.4.1 e),

            uζ=u(rT×S(ζrer))=rT×Su(ζrer)=0,
            which proves the assertion in this case.

            Let us consider now the W*-case. Let zG# and rT × S and let F be a filter on (EF)# converging to z in GG¨ ([1] Corollary 6.3.8.7). For ηM, aG¨, and rT × S,

            zer,(a,η)˜=zer|η,a=ηr*z,a=z,aηr*=
            =limw,Fw,aηr*=limw,Fwer,(a,η)˜,
            limw,Fwer=zer
            in MM¨. Since u:MM¨MM¨ is continuous ([1] Proposition 5.6.3.4 c)), we get by the above u(zer) = 0. For ζM it follows by [1] Proposition 5.6.4.6 c),
            uζ=u(rT×SM¨(ζrer))=rT×SM¨u(ζrer)=0
            which proves the assertion in the W*-case.

            c) By b), R(f)R(g)R(h) so by a),

            S(f)S(g)S(h),  SC(f)SC(g)SC(h),
            S(f)σS(g)S(h),  SC(f)σSC(g)SC(h).

            Let zG#, (t, s)∈T × S, and ε > 0. There is a finite family (xi, yi)iI in E × F such that

            iI(xiyi)<1,iI(xiyi)z<ε.

            By b),

            iI(((xi1l2(T))Vtf)((yi1l2(S))Vsg))(z1l2(T×S))V(t,s)h<ε
            and so by a),
            R(h)R(f)R(g)̅R(f)R(g)̅T2,
            S(h)S(f)σS(g),  SC(h)SC(f)σSC(g).

            d) By a) and Lemma 2.2.10 a), there is a filter F on

            {w̅1l2(T×S)|w(EF)#}
            converging to z̅1l2(T×S) in G(M)M. For ξ, ηM and aG¨,
            (z̅1l2(T×S))V(t,s)h,(a,ξ,η)˜=z̅1l2(T×S),V(t,s)h(a,ξ,η)˜=
            =limw,Fw̅1l2(T×S)V(t,s)h,(a,ξ,η)˜=limw,F(w̅1l2(T×S))V(t,s)h,(a,ξ,η)˜,
            which proves the assertion.

            e) By Theorem 2.1.9 h),

            (R(f)̅H)#=SW(f)#E(H),  (R(g)̅L)#=SW(g)#F(L).

            By b), R(f)R(g)R(h), so by Lemma 2.2.10 b),

            SW(f)#R(g)#SW(h)#,  SW(f)#SW(g)#SW(h)#.
            SW(f)SW(g)SW(h)

            By [3] Proposition 2.5,

            SW(f)̅SW(g)SW(f)SW(g)̅MSW(h).

            For xE, yF, and (t, s)∈T × S, by b),

            ((xy)̅1l2(T×S))V(t,s)h=((x̅1l2(T))Vtf)̅((y̅1l2(S))Vsg)SW(f)̅SW(g).

            Let zG#. By d), there is a filter F on

            {(w̅1l2(T×S))V(t,s)h|w(EF)#}
            converging to (z̅1l2(T×S))V(t,s)h in G(M)M, so by the above
            (z̅1l2(T×S))V(t,s)hSW(f)̅SW(g).

            We get

            R(h)SW(f)̅SW(g),  SW(h)SW(f)̅SW(g),
            SW(h)=SW(f)̅SW(g).
            COROLLARY 2.2.12 Let n ∈ ℕ and
            g:T×TUn(En,n)c,(s,t)[δi,jf(s,t)]i,jn.

            • a) (S(f))n,nS(g),(S(f))n,nS(g).

            • b) Let us denote by ρ:S(g)(S(f))n,n the isomorphism of a). For XS(g), tT, and i,jn,

              ((ρX)i,j)t=(Xt)i,j.

            a) Take F ≔ 𝕂n, n and S ≔ {1} in Proposition 2.2.11. Then GEn, n and

            g:T×TUnGc,(s,t)f(s,t)1F.

            By Proposition 2.2.11 c),e),

            S(g)S(f)𝕂n,n(S(f))n,n
            S(g)S(f)𝕂n,n(S(f))n,n.

            b) By Theorem 2.1.9 b),

            X=sTT3(Xs˜1K)Vsg
            so
            (ρX)i,j=stT3((Xs)i,j˜1K)Vsf,
            ((ρX)i,j)t=(Xt)i,j
            by Theorem 2.1.9 a).

            COROLLARY 2.2.13 Let n ∈ ℕ. If 𝕂 = ℂ (resp. if n = 4m for some m ∈ ℕ) then there is an f(n×n,E) (resp. f((2)2m,E)) such that

            R(f)=S(f)En,n.
            By [1] Proposition 7.1.4.9 b),d) (resp. [1] Theorem 7.2.2.7 i),k)) there is a g(n×n,C) (resp. gF((n)2m,𝕂)) such that
            S(g)Cn,n(resp.S(g)𝕂n,n).
            If we put
            f:(n×n)×(n×n)UnEc,(s,t)g(s,t)1E
            (resp.f:(2)2m×(2)2mUnEc,(s,t)g(s,t)1E)
            then by Proposition 2.2.11 a),e), f(n×n,E) (resp. f((2)2m,E)) and
            S(f)S(g)E𝕂n,nEEn,n.
            COROLLARY 2.2.14 Let F be a unital C**-algebra, GE˜F, and
            h:T×TUnGc,(s,t)f(s,t)1F.
            Then h(T,G) and
            S(h)S(f)F,  S(h)S(f)˜F.
            COROLLARY 2.2.15 If E is a W*-algebra then the following are equivalent:
            • a) E is semifinite.

            • b) SW(f) is semifinite.

            ab. Assume first that there are a finite W*-algebra F and a Hilbert space L such that EF̅(L). Put

            g:T×TUnFc,(s,t)f(s,t).
            By Corollary 2.2.14,
            SW(f)SW(g)̅(L).
            By Corollary 2.1.11 c), SW(g) is finite and so SW(f) is semifinite.

            The general case follows from the fact that E is the C*-direct product of W*-algebras of the above form ([8] Proposition V.1.40).

            ba. E is isomorphic to a W*-subalgebra of SW(f) (Theorem 2.1.9 h)) and the assertion follows from [8] Theorem V.2.15.

            PROPOSITION 2.2.16 Let S, T be finite groups and g(S,S(f)) and put Ll2(S), Ml2(S × T), and

            h:(S×T)×(S×T)UnS(f)c,((s1,t1),(s2,t2))f(t1,t2)g(s1,s2).
            Then h(S×T,S(f)) and the map
            φ:S(g)S(h),X(s,t)S×T((Xs)t1M)V(s,t)h
            is an S(f)-C*-isomorphism.

            For X,YS(g), ZS(f), and (s, t)∈S × T, by Theorem 2.1.9 c), g),

            (φ(X*))(s,t)=((X*)s)t=(g˜(s)(Xs1)*)t=((g˜(s)*Xs1)*)t=
            =f˜(t)((g˜(s)*Xs1)t1)*=f˜(t)g˜(s)((Xs1)t1)*=
            =h˜(s,t)((φX)(s1,t1))*=h˜(s,t)((φX)(s,t)1)*=((φX)*)(s,t),
            ((φX)(φY))(s,t)=(r,u)S×Th((r,u),(r,u)1(s,t))(φX)(r,u)(φY)(r,u)1(s,t)=
            =(r,u)S×Tg(r,r1s)f(u,u1t)(Xr)u(Yr1s)u1t=rSg(r,r1s)(XrYr1s)t=
            =(rSg(r,r1s)XrYr1s)t=((XY)s)t=(φ(XY))(s,t),
            (φ(ZX))(s,t)=((ZX)s)t=((ZX)s)t=(ZXs)t=Z(Xs)t=Z(φX)(s,t)
            so
            φ(X*)=(φX)*,  φ(XY)=(φX)(φY),  φ(ZX)=Zφ(X)
            and φ is an S(f)-C*-homomorphism.

            If XS(g) with φ X = 0 then for (s, t)∈S × T,

            (Xs)t=(φX)(s,t)=0,  Xs=0,  X=0
            so φ is injective.

            Let xE and (s, t)∈S × T. Put

            Z(x1K)VtfS(f),  X(Z1L)VsgS(g).
            Then for (r, u)∈S × T,
            (φX)(r,u)=(Xr)u=δr,sZu=δr,sδu,tx
            so
            φX=(x1M)V(s,t)h
            and φ is surjective.

            PROPOSITION 2.2.17 Let S be a finite subgroup of T and gf|(S × S). We identify S(g) with the E-C**-subalgebra {ZS(f)|tTSZt=0} of S(f) (Corollary 2.1.17 e)). Let XS(f)S(g)c, P+X*X, and PXX* and assume P±PrS(f).

            • a) P±S(g)c.

            • b) The map

              φ±:S(g)P±S(f)P±,YP±YP±
              is a unital C**-homomorphism.

            • c) For every Zφ+(S(g)), XZX*φ(S(g)) and the map

              ψ:φ+(S(g))φ(S(g)),ZXZX*
              is a C*-isomorphism with inverse
              φ(S(g))φ+(S(g)),ZX*ZX
              such that φ = ψ ο φ+.

            • d) If pPrS(g) then

              (X(φ+p))*(X(φ+p))=φ+p,  (X((φ+p))(X(φ+p))*=φp.

            • e) If φ+ is injective then φ is also injective, the map

              EP±S(f)P±,xP±(x˜1K)P±
              is an injective unital C**-homomorphism, P±S(f)P± is an E-C**-algebra, φ±(S(g)) is an E-C**-subalgebra of it, and φ± and ψ are E-C**-homo-morphisms.

            • f) The above results still hold for an arbitrary subgroup S of T if we replace S by S.

            a) follows from the hypothesis on X.

            b) follows from a).

            c) Let YS(g) with Z = P+Y P+. By the hypotheses of the Proposition,

            XZX*=XP+YP+X*=XX*XYX*XX*=
            =XX*YXX*XX*=PYPφ(S(g))
            and ψ is a C*-homomorphism. The other assertions follow from
            X*(XZX*)X=P+ZP+=P+YP+.

            d) By b) and c),

            (X(φ+p))*(X(φ+p))=(φ+p)X*X(φ+p)=(φ+p)P+(φ+p)=φ+p,
            (X(φ+p))(X(φ+p))*=X(φ+p)(φ+p)*X*=X(φ+p)X*=ψφ+p=φp.

            e) follows from b), c), and Lemma 1.3.2.

            f) follows from Corollary 2.1.17 d).

            Remark. Even if φ± is injective P±S(f)P± is not an E-C*-subalgebra of S(f).

            THEOREM 2.2.18 Let S be a finite subgroup of T, Ll2(S), gf|(S × S), ω:2×2T an injective group homomorphism such that Sω(2×2)={1},

            aω(1,0),bω(0,1),cω(1,1),α1f(a,a),α2f(b,b),
            β1, β2Un Ec such that α1β12+α2β22=0,
            γ12(α1*β1*β2α2*β1β2*)=α1*β1*β2=α2*β1β2*,
            X12((β1˜1K)Vaf+(β2˜1K)Vbf),  P+X*X,PXX*.
            We assume f(s, c) = f(c, s) and cs = sc for every sS, and f(a, b) = −f(b, a) = 1E. Moreover we consider S(g) as an E-C**-subalgebra of S(f) (Corollary 2.1.17 e)).

            • a) We have

              f(a,c)=f(c,a)=α1,f(b,c)=f(c,b)=α2,f(c,c)=α1α2,
              γ2=α1*α2*,      VcfS(g)c.

            • b) We have

              P±=12(V1f±(γ˜1K)Vcf)S(g)cPrS(f),P++P=V1f,P+P=0,
              X2=0,XP+=X,PX=X,P+X=XP=0,X+X*UnS(f),
              YS(g)XYX=0.

            • c) The map

              EP±S(f)P±,x(x˜1K)P±
              is a unital injective C**-homomorphism; we shall consider P±S(f)P± as an E-C**-algebra using this map.

            • d) The maps

              φ+:S(g)P+S(f)P+,YP+YP+,
              φ:S(g)PS(f)P,YXYX*
              are orthogonal injective E-C**-homomorphisms and φ+ + φ is an injective E-C*-homomorphism. If Y1,Y2UnS(g) (resp. Y1,Y2PrS(g)) then φ+Y1+φY2UnS(f) (resp. φ+Y1+φY2PrS(f)). Moreover the map
              ψ:S(f)S(f),Z(X+X*)Z(X+X*)
              is an E-C**-isomorphism such that
              ψ1=ψ,  ψ(P+S(f)P+)=PS(f)P,  ψοφ+=φ.
              If 𝕂 = ℂ then X + X* is homotopic to V1f in UnS(f) and ψ is homotopic to the identity map of S(f). Using this homotopy we find that φ+Y is homotopic in the above sense to φY for every YS(g) and φ+Y1 + φY2, φY1 + φ+Y2, φ+(Y1Y2) + P, and φ+(Y2Y1 + P are homotopic in the above sense for all Y1,Y2S(g).

            • e) Let sS such that sa = as. Then

              sb=bs,  f(sc,c)f(s,c)=α1α2,
              f(sa,c)f(c,sa)*=1E,  f(a,s)f(s,a)*=f(b,s)f(s,b)*.

            • f) If sa = as for every sS then the map

              S×(2×2)T,(s,r)s(ωr)
              is an injective group homomorphism.

            • h) If T is generated by Sω(2×2) and sa = as for every sS then φ+ and ψ are E-C*-isomorphisms with inverse

              P±S(f)P±S(g),Z2sS(Zs˜1L)Vsg,
              where
              ψ:S(g)PS(f)P,YPYP.

            • h) If sa = as and f(a, s) = f(s, a) for every sS then XS(g)c, φY = PY for every YS(g), and there is a unique S(g)-C**-homomorphism ϕ:S(g)2,2S(f) such that

              ϕ[00(α1β12)1L0]=X.
              ϕ is injective and
              ϕ[V1g000]=P+,  ϕ[000V1g]=P.

            • i) If sa = as and f(a, s) = f(s, a) for all sS and if T is generated by Sω(2×2) then ϕ is an S(g)-C*-isomorphism and

              ϕ1V1f=[1E1L001E1L],ϕ1Vcf=[γ*1L00γ*1L],
              ϕ1Vaf=[0β1*1L(β2γ*)1L0],
              ϕ1Vbf=[0β2*1L(β1γ*)1L0],
              ϕ1P+=[V1g000],  ϕ1P=[000V1g],
              and for every sS
              ϕ1Vsf=[Vsg00Vsg].

            • j) The above results still hold for an arbitrary subgroup S of T if we replace S with S.

            a) By the equation of the Schur functions,

            f(a,a)=f(a,c)f(a,b),f(a,b)f(c,a)=f(a,c)f(b,a),f(a,b)f(c,b)=f(b,b),
            f(b,a)f(c,b)=f(b,c)f(a,b),  f(a,b)f(c,c)=f(a,a)f(b,c)
            and so
            α1=f(a,c),  f(c,a)=f(a,c)=α1,  f(c,b)=α2,
            α2=f(c,b)=f(b,c),  f(c,c)=α1f(b,c)=α1α2.

            For sS, by Proposition 2.1.2 b),

            VcfVsf=(f(c,s)˜1K)Vcsf=(f(s,c)˜1K)Vscf=VsfVcf
            and so VcfS(g)c (by Proposition 2.1.2 d)).

            b) By Proposition 2.1.2 b),d),e) (and Corollary 2.1.22 c)),

            X*=12(((α1*β1*)˜1K)Vaf+((α2*β2*)˜1K)Vbf),
            P+=14(2V1f+((α1*β1*β2)˜1K)Vcf((α2*β2*β1)˜1K)Vcf)=12(V1f+(γ˜1K)Vcf),
            P=14(2V1f+((β1α2*β2*)˜1K)Vcf((β2α1*β1*)˜1K)Vcf)=12(V1f(γ˜1K)Vcf).
            By a),
            P±*=12(V1f±(γ*˜1K)((α1*α2*)˜1K)Vcf)=P±,
            P±2=14(V1f±2(γ˜1K)Vcf+(γ2˜1K)((α1α2)˜1K)V1f)=
            =12(V1f±(γ˜1K)Vcf)=P±,
            so, by a) again, P±S(g)cPrS(f). By Proposition 2.1.2 b),d),
            X2=14(((β12α1+β22α2)˜1K)V1f+((β1β2)˜1K)(VafVbf+VbfVaf))=0,
            (X+X*)2=X2+XX*+X*X+X*2=P++P=V1f.

            For the last relation we remark that by the above,

            XYX=X(P++P)YX=XP+YX=XYP+X=0.

            c) follows from b) and Lemma 1.3.2.

            d) By b) and c), the map φ± is an E-C**-homomorphism. Let YS(g) with φ±Y = 0. By b), Y=Y(γ˜1K)Vcf so by Proposition 2.1.2 b),d) and Theorem 2.1.9 b),

            sS(Ys˜1K)Vsf=Y(γ˜1K)Vcf=sS((Ysγf(s,c))˜1K)Vscf,
            which implies Ys = 0 for every sS (Theorem 2.1.9 a)). Thus φ± is injective. It follows that φ+ + φ is also injective.

            Assume first Y1,Y2UnS(g). By b),

            (φ+Y1+φY2)*(φ+Y1+φY2)=(φ+Y1*+φY2*)(φ+Y1+φY2)=
            =φ+(Y1*Y1)+φ(Y2*Y2)=P++P=V1f.

            Similarly (φ+Y1+φY2)(φ+Y1+φY2)*=V1f. The case Y1,Y2PrS(g) is easy to see.

            By b), ψ is an E-C**-isomorphism with

            ψ1=ψ,  ψP+=(X+X*)X*X(X+X*)=XX*XX*=P.

            Moreover for YS(g),

            ψφ+Y=(X+X*)P+YP+(X+X*)=XYX*=φY.

            Assume now 𝕂 = ℂ. By b), X+X*UnS(f). Being selfadjoint its spectrum is contained in {−1, +1} and so it is homotopic to V1f in UnS(f).

            e) We have sb = sac = asc = acs = bs. By a),

            f(s,c)f(sc,c)=f(s,1)f(c,c)=α1α2,
            f(s,a)f(sa,c)=f(s,b)f(a,c)=α1f(s,b),
            f(c,as)f(a,s)=f(c,a)f(b,s)=α1f(b,s),
            f(c,bs)f(b,s)=f(c,b)f(a,s)=α2f(a,s),
            f(s,c)f(sc,b)=f(s,a)f(c,b)=α2f(s,a),
            f(c,s)f(cs,b)=f(c,sb)f(s,b)
            so
            f(sa,c)f(c,as)*=f(s,b)f(s,a)*f(b,s)*f(a,s)=
            =f(c,s)f(cs,b)f(c,sb)*α2f(s,c)*f(sc,b)*α2*f(c,bs)=1E.

            From

            f(s,c)f(sc,a)=f(s,b)f(c,a),  f(c,a)f(b,s)=f(c,as)f(a,s),
            f(c,s)f(cs,a)=f(c,sa)f(s,a)
            we get
            f(a,s)f(s,a)*=f(b,s)f(s,b)*.

            f) Since S and ω(ℤ2 × ℤ2) commute, the map is a group homomorphism. If s(ωr) = 1 for (s,r)S×(2×2) then ωr=s1Sω(2×2), which implies s = 1 and r = (0, 0). Thus this group homomorphism is injective.

            g) By e) and the hypothesis of f), for every tT there are uniquely sS and d∈{1, a, b, c} with t = sd. Let ZP±S(f)P±. By b) and Theorem 2.1.9 b) (and Corollary 1.3.7 d)),

            Z=±(γ˜1K)ZVcf=±(γ˜1K)VcfZ
            By Proposition 2.1.2 b),
            ZVcf=sS((Zsf(s,c))˜1K)Vscf+sS((Zsaf(sa,c))˜1K)Vsbf++sS((Zsbf(sb,c))˜1K)Vsaf+sS((Zscf(sc,c))˜1K)Vsf,VcfZ=sS((f(c,s))Zs˜1K)Vscf+sS((f(c,sa)Zsa)˜1K)Vsbf++sS((f(c,sb)Zsb)˜1K)Vsaf+sS((f(c,sc)Zsc)˜1K)Vsf
            and so by Theorem 2.1.9 a),
            Zs=±γf(sc,c)Zsc=±γf(c,sc)Zsc,
            Zsc=±γf(s,c)Zs=±γf(c,s)Zs,
            Zsa=±γf(sb,c)Zsb=±γf(c,sb)Zsb,
            Zsb=±γf(sa,c)Zsa=±γf(c,sa)Zsa.
            By e), Zsa = Zsb = 0 for every sS. We get (by a), d), and Proposition 2.1.2 b))
            φ±(2sS(Zs˜1L)Vsg)=sS(Zs˜1K)Vsf±(γ˜1K)VcfsS(Zs˜1K)Vsf==sS(Zs˜1K)Vsf±sS((γf(c,s)Zs)˜1K)Vscf==sS(Zs˜1K)Vsf+sS(Zsc˜1K)Vscf=Z.
            Thus φ± is an E-C*-isomorphism with the mentioned inverse.

            h) is a long calculation using e).

            i) follows from h).

            j) follows from Corollary 2.1.17 d).

            Remark. An example in which the above hypotheses are fulfilled is given in Theorem 4.1.7.

            2.3. The functor S

            Throughout this section we assume T finite

            In this section we present the construction in the frame of category theory. Some of the results still hold for T locally finite.

            DEFINITION 2.3.1 The above construction of S(f) can be done for an arbitrary E-module F, in which case we shall denote the result by S(F). Moreover we shall write VtF instead of Vtf in this case.

            If F is an E-module then S(F) is canonically an E-module. If in addition F is adapted then S(F) is adapted and isomorphic to S(Fˇ,F). If F is an E-C*-algebra then S(F) is also an E-C*-algebra.

            PROPOSITION 2.3.2 If F, G are E-modules and φ : FG is an E-linear C*-homomorphism then the map

            S(φ):S(F)S(G),XtS((φXt)1K)VtG
            is an E-linear C*-homomorphism, injective or surjective if φ is so.

            The assertion follows from Theorem 2.1.9 a),c),g).

            COROLLARY 2.3.3 Let F1, F2, F3 be E-modules and let φ : F1F2, ψ : F2F3 be E-linear C*-homomorphisms.

            • a) S(ψ)οS(φ)=S(ψοφ).

            • b) If the sequence

              0F1φF2ψF3
              is exact then the sequence
              0S(F1)S(φ)S(F2)S(ψ)S(F3)
              is also exact.

            • c) The covariant functor S:MEME is exact.

            a) is obvious.

            b) Let YKerS(ψ). For every tT, YtKer ψ = Im φ . If we identify F1 with Im φ then YtF1. It follows YImS(φ), KerS(ψ)=ImS(φ).

            c) follows from b) and Proposition 2.3.2.

            COROLLARY 2.3.4 Let F be an adapted E-module and put

            ι:FFˇ,x(0,x)
            π:FˇE,(α,x)α,
            λ:EFˇ,α(α,0).

            Then the sequence

            0S(F)S(ι)S(Fˇ)S(π)S(λ)S(E)0
            is split exact.

            PROPOSITION 2.3.5 The covariant functor S:MEME (resp. S:E1E1) (Proposition 2.3.2, Corollary 2.3.3 a)) is continuous with respect to the inductive limits (Proposition 36 a),b)).

            Let {(Fi)iI, (φ ij)i, jI} be an inductive system in the category ME (resp. E1) and let {F, (φi)iI} be its limit in the category ME (resp. E1). Then {(S(Fi))iI,(S(φij)i,jI)} is an inductive system in the category ME (resp. E1). Let {G, (ψi)iI} be its limit in this category and let ψ:GS(F) be the E-linear C*-homomorphism such that ψοψi=S(φi) for every iI. In the E1 case, for α ∈ E and iI,

            ψ(α1K)=ψοψi(α1K)=(S(φi))(α1K)=α1K
            so that ψ is an E-C*-homomorphism.

            Let iI and let XKerS(φi). Then φiXt = 0 for every tT. Since T is finite, for every ε > 0 there is a jI, ji, with

            φjiXt<εCardT
            for every tT. Then
            (S(φji))X=tT((φjiXt)1K)VtFj<ε.

            It follows

            ψiX=infjI,ji(S(φji))X=0,
            ψiX=0,  XKerψi,  KerS(φi)Kerψi.

            By Lemma 1.2.8, ψ is injective. Since

            iIImS(φi)Imψ,
            Imψ is dense in S(F). Thus ψ is surjective and so an E-C*-isomorphism.

            PROPOSITION 2.3.6 Let θ : FG be a surjective morphism in the category E1. We use the notation of Theorem 2.2.18 and mark with an exponent if this notation is used with respect to F or to G. For every YUnS(gG), there is a ZS(gF) such that

            Z*Z=P+F,    S(θ)Z=φ+GY.

            By Proposition 2.3.2 c), S(θ) is surjective and so there is a Z0S(gF) with ‖Z0‖ = 1 and S(θ)Z0=Y. Put

            ZP+FZ0+XF(1Z0*Z0)12.

            By Theorem 2.2.18 b),

            Z*Z=P+FZ0*Z0+(1Z0*Z0)12(XF)*XF(1Z0*Z0)12=
            =P+FZ0*Z0+P+F(1Z0*Z0)=P+F.

            Since

            S(θ)(1Z0*Z0)=1Y*Y=0

            We get

            S(θ)(1Z0*Z0)12=0,    S(θ)Z=P+GY=φ+GY.

            PROPOSITION 2.3.7 Let F be an adapted E-module and Ω a locally compact space. We define for XS(C0(Ω,F)) (see Corollary 1.2.5 d)) and YC0(Ω,S(F)),

            φX:ΩS(F),ωtT(Xt(ω)1K)VtF,
            ψYtT(Y(ο)t1K)VtC0(Ω,F).
            Then
            φ:S(C0(Ω,F))C0(Ω,S(F)),
            ψ:C0(Ω,S(F))S(C0(Ω,F))
            are E-linear C*-isomorphisms and φ = ψ−1.

            Let ω0 ∈ Ω and assume F is an E-C*-algebra. Then the above maps φ and ψ induce the following E-C*-isomorphisms

            S({XC0(Ω,F)|X(ω0)E}){YC0(Ω,S(F))|Y(ω0)S(E)}.

            Let X,XS(C0(Ω,F)) and Y,YC0(Ω,S(F)). By Proposition 2.1.23 b) and Corollary 2.1.10 a),

            φXC0(Ω,S(F)),  ψYS(C0(Ω,F))
            and it is easy to see that φ and ψ are E-linear. By Theorem 2.1.9 c),g), for tT and ω ∈ Ω,
            ((φX)*(ω))t=f˜(t)(((φX)(ω)t1))*=
            =f˜(t)Xt1(ω)*=(X*(ω))t=((φX*)(ω))t,
            (((φX)(φX))(ω))t=sTf(s,s1t)((φX)(ω))s((φX)(ω))s1t=
            =sTf(s,s1t)Xs(ω)Xs1t(ω)=(sTf(s,s1t)XsXs1t)(ω)=
            =(XX)t(ω)=((φ(XX))(ω))t,
            so
            (φX)*=φX*,  (φX)(φX)=φ(XX)
            and φ is a C*-homomorphism. Similarly
            (ψY*)t(ω)=(Y*(ω))t=f˜(t)(Y(ω)t1)*=f˜(t)((ψY)t1(ω))*=((ψY)*)t(ω),
            ((ψY)(ψY))t(ω)=(sTf(s,s1t)(ψY)s(ψY)s1t)(ω)=
            =sTf(s,s1t)(ψY)s(ω)(ψY)s1t(ω)=sTf(s,s1t)Y(ω)sY(ω)s1t=
            =(Y(ω)Y(ω))t=(ψ(YY)t)(ω)
            so
            ψY*=(ψY)*,  (ψY)(ψY)=ψ(YY)
            and ψ is a C*-homomorphism. Moreover
            (ψφX)t(ω)=((φX)(ω))t=Xt(ω),  ((φψY)(ω))t=(ψY)t(ω)=(Y(ω))t,
            so ψφ X = X and φ ψY = Y which proves the assertion.

            The last assertion is easy to see.

            PROPOSITION 2.3.8 Let F be an adapted E-module,

            0FιFˇπE0,
            0S(F)ι0S(F)ˇπ0E0
            the associated exact sequences (Proposition 1.2.4 h)), and
            j:ES(E),α(α1K)V1E,
            φ:S(F)ˇS(Fˇ),(α,X)S(ι)X+(α1K)V1Fˇ.

            Then φ is an injective E-C*-homomorphism and S(π)οφ=jοπ0.

            PROPOSITION 2.3.9 If E is commutative and F is an E-module then the map

            φ:S(E)FS(F),XxtT((Xtx)1K)VtF
            is a surjective C*-homomorphism. If in addition E = 𝕂 then φ is a C*-isomorphism with inverse
            ψ:S(F)S(E)F,YtT(VtEYt).

            It is obvious that φ is surjective. For X,YS(E) and x, yF, by Theorem 2.1.9 c),g) and Proposition 2.1.2 b),d),e),

            φ((Xx)*)=φ(X*x*)=tT(((X*)tx*)1K)VtF=
            =tT((f˜(t)(Xt1)*x*)1K)VtF=tT(((Xt1)*x*)1K)(Vt1F)*=
            =tT((x*(Xt)*)1K)(VtF)*=(φ(Xx))*,
            φ(Xx)φ(Yy)=s,tT((XsxYty)1K)VsFVtF=
            =s,tT((f(s,t)XsxYty)1K)VstF=rTsT((f(s,s1r)XsYs1rxy)1K)VrF=
            =rT(((XY)rxy)1K)VrF=φ((Xx)(Yy))
            so φ is a C*-homomorphism.

            Assume now E = 𝕂 and let XS(E) and xF. Then

            ψφ(Xx)=ψtT((Xtx)1K)VtF=tTVtE(Xtx)=
            =(tTXtVtE)x=Xx
            which proves the last assertion (by using the first assertion).

            EXAMPLES

            We draw the reader's attention to the fact that in additive groups the neutral element is denoted by 0 and not by 1.

            3.1. T ≔ ℤ2

            PROPOSITION 3.1.1

            • a) The map

              ψ:F(2,E)UnEc,ff(1,1)
              is a group isomorphism.

            • b) ψ({δλ|λΛ(2,E)})={x2|xUnEc}.

            • c) If there is an xEc with x2 = f(1,1) (in which case xUn Ec) then the map

              φ:S(f)E×E,X(X0+xX1,X0xX1)
              is an E-C*-isomorphism.

            • d) If 𝕂 = ℂ and if A is a connected and simply connected compact space or a totally disconnected compact space then for every xUnC(A) there is a yC(A,) with x = ey.

            • e) Assume 𝕂 = ℝ.

              • e1) There are uniquely p, qPr Ec with

                p+q=1E,pf(1,1)=p,qf(1,1)=q.

              • e2) The map

                φ:S(f)(pE)×(pE)×qE,XX˜,
                where qE denotes the complexification of the C*-algebra qE and
                X˜(p(X0+X1),p(X0X1),(qX0,qX1))
                for every XS(f), is an E-C*-isomorphism. In particular if f(1,1) = −1E then S(f) is isomorphic to the complexification of E.

            • f) Assume 𝕂 = ℂ, let σ(Ec) be the spectrum of Ec, and let f11^ be the function of C(σ(Ec),) corresponding to f11 by the Gelfand transform. Then

              {eiθ|θ,e2iθf11^(σ(Ec))}
              is the spectrum of V1.

            a) follows from Proposition 1.1.2 a) (and Proposition 1.1.4 a)).

            b) follows from Definition 1.1.3.

            c) For X,YS(f), by Theorem 2.1.9 c),g) (and Proposition 1.1.2 a)),

            (X*)0=(X0)*,(X*)1=(x*)2(X1)*,
            (XY)0=X0Y0+x2X1Y1,(XY)1=X0Y1+X1Y0,
            so
            φ(X*)=((X0)*+x(x*)2(X1)*,(X0)*x(x*)2(X1)*)=
            =((X0)*+x*(X1)*,(X0)*x*(X1)*)=(φX)*,
            (φX)(φY)=((X0+xX1)(Y0+xY1),(X0xX1)(Y0xY1))=
            =(X0Y0+xX0Y1+xX1Y0+x2X1Y1,X0Y0xX0Y1xX1Y0+x2X1Y1)=
            =((XY)0+x(XY)1,(XY)0x(XY)1=φ(XY)
            i.e. φ is an E-C*-homomorphism. φ is obviously injective.

            Let (y, z) ∈ E × E. If we take XS(f) with

            X012(y+z),X112x*(yz)
            then φX = (y, z), i.e. φ is surjective.

            d) is known.

            e1) follows by using the spectrum of Ec.

            e2) Put

            ψ:S(f)qE,X(qX0,qX1).
            For X,YS(f), by Theorem 2.1.9 c),g),
            ψ(X*)=(q(X*)0,q(X*)1)=(q(X0)*,qf(1,1)*(X1)*)=
            =((qX0)*,(qX1)*)=(ψX)*,
            (ψX)(ψY)=(qX0,qX1)(qY0,qY1)=
            =(q(X0Y0X1Y1),(q(X0Y1+X1Y0)))=ψ(XY)
            so ψ is an E-C*-homomorphism. Thus by c), φ is an E-C*-homomorphism. The bijectivity of φ is easy to see.

            f) By Proposition 2.1.2 e), V1 is unitary so its spectrum is contained in { eiθ | θ ∈ ℝ }. For θ ∈ ℝ and XS(f),

            (eiθV0V1)X=X(eiθV1)=
            =((eiθX0)1K)V0+((eiθX1)1K)V1(X01K)V1((f11X1)1K)V1=
            =((eiθX0f11X1)1K)V0+((eiθX1X0)1K)V1.
            Thus X is the inverse of eiθV0V1 iff X0 = eiθX1 and eiθX0f11X1 = 1E, i.e. (e2iθf11)X1 = 1E. Therefore eiθV0V1 is invertible iff e2iθf11^ does not vanish on σ(Ec).

            COROLLARY 3.1.2 Assume 𝕂 ≔ ℝ and let S be a group, F a unital C*-algebra, gF(S,F), and

            h:(S×2)×(S×2)UnFc,((s1,t1),(s2,t2)){g(s1,s2)if(t1,t2)=(1,1)g(s1,s2)if(t1,t2)(1,1).

            a) hF(S×2,F).

            b) S(h)S(g),S(h)S·(g)..

            Put E ≔ ℝ in the above Proposition and define fF(2,) by f(1,1) = −1 (Proposition 3.1.1 a)). By this Proposition e2), S(f). Thus by Proposition 2.2.11 c),e),

            S(h)S(g)S(f)S(g),S·(h)S·(g)S·(f)S·(g).

            DEFINITION 3.1.3 We put

            𝕋{z||z|=1}.

            EXAMPLE 3.1.4 Let EC(𝕋,) and fF(2,E) with

            f(1,1):𝕋Un,zz.
            If we put
            X˜:𝕋,zX0(z2)+zX1(z2)
            for every XS(f) then the map
            φ:S(f)E,XX˜
            is an isomorphism of C*-algebras (but not an E-C*-isomorphism).

            For X,YS(f), by Theorem 2.1.9 c),g),

            (X*)0=(X0)*,(X*)1=f(1,1)̅(X1)*,
            (XY)0=X0Y0+f(1,1)X1Y1,(XY)1=X0Y1+X1Y0
            so for z𝕋,
            X˜*(z)=X0*(z2)+zz̅2X1*(z2)=X0(z2)+zX1(z2)̅=X˜*(z),
            (X˜(z))(Y˜(z))=(X0(z2)+zX1(z2))(Y0(z2)+zY1(z2))=
            =X0(z2)Y0(z2)+zX0(z2)Y1(z2)+zX1(z2)Y0(z2)+z2X1(z2)Y1(z2)=
            =(XY)0(z2)+z(XY)1(z2)=XY˜(z),
            X*˜=X˜*,  X˜Y˜=XY˜,
            i.e. φ is a C*-homomorphism. If φX = 0 then for z𝕋,
            X0(z2)+zX1(z2)=0
            so, successively,
            X0(z2)zX1(z2)=0,X0(z2)=X1(z2)=0,X0=X1=0,X=0
            and φ is injective.

            Put

            G{kckzk|(ck)k()}E.
            Let
            xkckzkG
            and take XS(f) with
            X0kc2kzk,X1kc2k+1zk.
            Then
            X˜=kc2kz2k+zkc2k+1z2k=x
            so Gφ(S(f)). Since G is dense in E, φ(S(f))=E and φ is surjective.

            DEFINITION 3.1.5 For every xC(𝕋,) which does not take the value 0 we put

            w(x)x12πixdzz=12πi[logx(eiθ)]θ=0θ=2π.

            If A is a connected compact space and γ is a cycle in A (i.e. a continuous map of 𝕋 in A), which is homologous to 0 (or more generally, if a multiple of γ is homologous to 0), then for every xC(A,Un) we have w(xγ) = 0. If A is a compact space and xC(A,Un) such that w(xγ) = 0 for every cycle γ in A then there is a yC(A,) with x = ey.

            EXAMPLE 3.1.6 Let EC(𝕋,), fF(2,E), and nw(f(1, 1)).

            • a) If n is even then there is an xUn E with winding number equal to n2 such that the map

              S(f)E×E,X(X0+xX1,X0xX1)
              is an E-C*-isomorphism.

            • b) If n is odd then S(f) is isomorphic to E.

            • c) The group F(2,E)/Λ(2,E) is isomorphic to 2 and

              Card({S(g)|gF(2,E)}/S)=2.

            • d) There is a complex unital C*-algebra E and a family (fβ)β𝔓() in F(2,E) such that for distinct β,γ𝔓(), S(fβ)S(fγ).

            Put

            α:𝕋Un,zz.
            Since w(f(1, 1)αn) = 0, there is a yUn E with w(y) = 0 and f(1, 1)αn = y2.

            a) If we put xyαn2 then w(x)=n2 and f(1,1) = x2 and the assertion follows from Proposition 3.1.1 c).

            b) We put xyαn12. Then f(1, 1) = αx2. Take gF(2,E) with g(1,1) = α and λ ∈ Λ (ℤ2, E) with (δλ)(1,1) = x2 (Proposition 3.1.1 a),b)). Then f = gδλ. By Example 3.1.4, S(g) is isomorphic to E and by Proposition 2.2.2 a1a2, S(f) is also isomorphic to E.

            c) follows from Proposition 3.1.1 b) and Proposition 2.2.2 a),c).

            d) Denote by E the C*-direct product of the sequence (C(𝕋,n,n))n and for every β ∈ {0, 1} define fβF(2,E) by

            fβ(1,1):UnEc,nαβ(n)1n,n.
            By a) and b), for distinct β, γ ∈{0, 1}, S(fβ)S(fγ) (Proposition 2.1.26 a)).

            EXAMPLE 3.1.7 Let I, J be finite disjoint sets and for all iIJ and jJ put AiBj𝕋. We define the compact spaces A and B in the following way. For A we take first the disjoint union of the spaces Ai for all iIJ and identify then the points 1 ∈ Ai for all iIJ. For B we take first the disjoint union of all the spaces Ai for all iIJ and of the spaces Bj for all jJ and identify first the points 1 ∈ Ai for all iIJ and identify then also the points −1 ∈ Ai for all iI and 1 ∈ Bj for all jJ.

            Let EC(A,) and fF(2,E) with

            f(1,1):AUn,z{zifzAiwithiI1ifzAiwithiJ.
            For every XS(f) define X˜C(B,) by
            X˜:B,z{X0(z2)+zX1(z2)ifzAiwithiIX0(z)+X1(z)ifzAiwithiJX0(z)X1(z)ifzBjwithjJ.
            Then the map
            φ:S(f)C(B,),XX˜
            is an isomorphism of C*-algebras.

            Let X,YS(f). By Theorem 2.1.9 c),g),

            (X*)0=(X0)*,(X*)1=f(1,1)̅(X1)*,(XY)0=X0Y0+f(1,1)X1Y1,(XY)1=X0Y1+X1Y0.
            For zAi with iI,
            X*˜(z)=(X*)0(z2)+z(X*)1(z2)=X0(z2)̅+zz̅2X1(z2)̅=
            =X0(z2)+zX1(z2)̅=(X˜)*(z),
            X˜(z)Y˜(z)=(X0(z2)+zX1(z2))(Y0(z2)+zY1(z2))=
            =X0(z2)Y0(z2)+zX0(z2)Y1(z2)+zX1(z2)Y0(z2)+z2X1(z2)Y1(z2)=
            =(XY)0(z2)+z(XY)1(z2)=XY˜(z).
            For zAj or zBj with jJ,
            X*˜(z)=(X*)0(z)±(X*)1(z)=X0(z)̅±X1(z)̅=(X˜)*(z),
            X˜(z)Y˜(z)=(X0(z)±X1(z))(Y0(z)±Y1(z))=
            =X0(z)Y0(z)±X0(z)Y1(z)±X1(z)Y0(z)+X1(z)Y1(z)=
            =(XY)0(z)±(XY)1(z)=XY˜(z).
            Thus φ is a C*-homomorphism. Assume X˜=0. For zAi with iI,
            X0(z2)+zX1(z2)=0
            so, successively,
            X0(z2)zX1(z2)=0,X0(z2)=X1(z2)=0,X(z)=0.
            For zAj with jJ,
            {X0(z)+X1(z)=0X0(z)X1(z)=0,
            so
            X0(z)=X1(z)=0,X(z)=0.
            Thus φ is injective.

            Let xC(B,) such that for every iI there is a family (ci,k)k() with

            x(z)=kci,kzk
            for all zAi. Define X0, X1E in the following way. If zAi with iI we put
            X0(z)kci,2kzk,X1(z)kci,2k+1zk.
            If zAj with jJ then we put z′ ≔ zBj,
            X0(z)12(x(z)+x(z)),X1(z)12(x(z)x(z)).
            It is easy to see that X0 and X1 are well defined. Then
            X˜(z)=kci,2kz2k+zkci,2k+1z2k=x(z)
            for all zAi with iI and X˜(z)=x(z) for all zAjBj with jJ. Since the elements x of the above form are dense in C(B,), φ is surjective.

            EXAMPLE 3.1.8 Let EC(𝕋2,) and f,gF(2,E) with

            {f(1,1):𝕋2Un,(z1,z2)z1g(1,1):𝕋2Un,(z1,z2)z2.
            Then the maps
            {S(f)E,XX0(z12,z2)+z1X1(z12,z2)S(g)E,XX0(z1,z22)+z2X1(z1,z22)
            are isomorphisms of C*-algebras.

            Remark. S(f) and S(g) are isomorphic but not E-C*-isomorphic.

            EXAMPLE 3.1.9 Let EC(𝕋2,) and fF(2,E) with

            f(1,1):𝕋2Un,(z1,z2)z1z2.
            If we put
            X˜:𝕋2,(z1,z2)X0(z12,z22)+z1z2X1(z12,z22)
            for every XS(f) then the map
            φ:S(f)E,XX˜
            is an injective unital C*-homomorphism with
            φ(S(f))=G{xE|(z1,z2)𝕋2x(z1,z2)=x(z1,z2)}.
            In particular S(f) is isomorphic to E.

            Let X,YS(f). By Theorem 2.1.9 c),g),

            (X*)0=(X0)*,(X*)1=f(1,1)̅(X1)*,
            (XY)0=X0Y0+f(1,1)X1Y1,(XY)1=X0Y1+X1Y0
            so for (z1, z2) ∈ 𝕋2,
            X*˜(z1,z2)=X0*(z12,z22)+z1z2z̅12z̅22X1*(z12,z22)=
            =X0(z12,z22)+z1z2X1(z12,z22)̅=X˜(z1,z2)̅,
            (X˜(z1,z2))(Y˜(z1,z2))=
            =(X0(z12,z22)+z1z2X1(z12,z22))(Y0(z12,z22)+z1z2Y1(z12,z22))=
            =X0(z12,z22)Y0(z12,z22)+z1z2X0(z12,z22)Y1(z12,z22)+
            +z1z2X1(z12,z22)Y0(z12,z22)+z12z22X1(z12,z22)Y1(z12,z22)=
            =(XY)0(z12,z22)+z1z2(XY)1(z12,z22)=XY˜(z1,z2),
            i.e. φ is a unital C*-homomorphism. If X˜=0 then for (z1, z2) ∈ 𝕋2,
            X0(z12,z22)+z1z2X1(z12,z22)=0
            so, successively,
            X0(z12,z22)z1z2X1(z12,z22)=0,X0(z12,z22)=X1(z12,z22)=0,
            X0=X1=0,X=0
            and φ is injective.

            The inclusion S(f)G is obvious. Let (aj,k)j,k, (bj,k)j,k(×) and

            x=j,kaj,kz12jz22k+j,kbj,kz12j+1z22k+1G.
            Define
            X0j,kaj,kz1jz2k,X1j,kbj,kz1jz2k.
            Then X˜=x. Since the elements of the above form are dense in G, φ(S(f))=G.

            If we consider the equivalence relation ~ on 𝕋2 defined by

            (z1,z2)~(w1,w2):z1=w1,z2=w2
            then the quotient space 𝕋2 / ∼ is homeomorphic to 𝕋2. Thus S(f) is isomorphic to E.

            EXAMPLE 3.1.10 Let EC(𝕋2,).

            • a) For xUn E and z𝕋, w(x(·, z)) and w(x(z, ·)) do not depend on z, where w denotes the winding number (Definition 3.1.5).

            • b) If xUn E and if

              w(x(·,1))=w(x(1,·))=0
              then there is a yUn E with x = y2.

            • c) Let fF(2,E) and put

              α:𝕋𝕋2,z(z,1),β:𝕋𝕋2,z(1,z),
              mw(f(1,1)α),nw(f(1,1)β).
              • c1) If m + n is odd then S(f) is isomorphic to E.

              • c2) If m and n are even then S(f) is isomorphic to E × E.

              • c3) If m and n are odd then S(f) is isomorphic to E.

            • d) The group F(2,E)/Λ(2,E) is isomorphic to 2 × 2 and

              Card({S(f)|fF(2,E)}/S)=4.

            a) follows by continuity.

            b) follows from a).

            c) Let gF(2,E) with

            g(1,1):𝕋2Un,(z1,z2)z1mz2n.
            Then
            w(g(1,1)α)=m,w(g(1,1)β)=n.
            By b), there is an xUn E with f(1,1) = x2g(1,1). By Proposition 3.1.1 b) and Proposition 2.2.2 a1a2, S(f)S(g).

            c1) Assume m even and put

            y:𝕋2Un,(z1,z2)z1m2z2n12.
            If hF(2,E) with
            h(1,1):𝕋2Un,(z1,z2)z2
            then g(1,1) = y2h(1,1). By Proposition 3.1.1 b) and Proposition 2.2.2 a1a2, fF(2,C(𝕋n,)) and by Example 3.1.8 a1a2, S(h)E. Thus S(f)E.

            c2) If we put

            y:𝕋2Un,(z1,z2)z1m2z2n2
            then g(1,1) = y2 and the assertion follows from Proposition 3.1.1 c).

            c3) We put

            y:𝕋2Un,(z1,z2)z1m12z2n12
            and take hF(2,E) with
            h(1,1):𝕋2Un,(z1,z2)z1z2
            then g(1,1) = y2h(1,1) so by Proposition 3.1.1 b) and Proposition 2.2.2 a1a2, S(g)S(h). By Example 3.1.9 S(h)E, so S(f)E.

            • d) follows from b), Proposition 3.1.1 b), and Proposition 2.2.2 a),c).

            Remark. In a similar way it is possible to show that for every n ∈ ℕ, F(2,𝕋n)/Λ(2,𝕋n) is isomorphic to (2)n and

            Card({S(f)|fF(2,𝕋n)}/S)=2n.

            EXAMPLE 3.1.11 Let I, J, K be finite pairwise disjoint sets and for every iIJK and kK put AiBk𝕋2. We define the compact spaces A and B in the following way. For A we take first the disjoint union of the spaces Ai with iIJK and then identify the points (1, 1) ∈ Ai for all iIJK. For B we take first the disjoint union of the spaces Ai with iIJK and of the spaces Bk with kK. Then we identify the points (1,1) ∈ Ai for all iIJK and then we identify for every jJ the points (z1, z2) ∈ Aj with the points (−z1, −z2) ∈ Aj and finally we identify the points (−1, 1) ∈ Ai for all iIJ with the points (1, 1) ∈ Bk for all kK.

            Let EC(A,) and fF(2,A) such that

            f(1,1):AUn,(z1,z2){z1if(z1,z2)AiwithiIz1z2if(z1,z2)AiwithiJ1if(z1,z2)AiwithiK.
            We define for every XS(f) a map X˜:B by
            (z1,z2){X0(z12,z2)+z1X1(z12,z2)if(z1,z2)AiwithiIX0(z12,z22)+z1z2X1(z12,z22)if(z1,z2)AiwithiJX0(z1,z2)+X1(z1,z2)if(z1,z2)AiwithiKX0(z1,z2)X1(z1,z2)if(z1,z2)BkwithkK.
            Then the map
            S(f)
            is an isomorphism of C*-algebras.

            The proof is similar to the proof of Example 3.1.7.

            EXAMPLE 3.1.12 If n ∈ ℕ, EC(𝕋n,), and fF(2,C(𝕋n,)) then S(f) is isomorphic either to C(𝕋n,) or to C(𝕋n,)×C(𝕋n,).

            EXAMPLE 3.1.13 Assume EC(A,), where A denotes Moebius's band (resp. Klein's bottle), i.e. the topological space obtained from [0,2π] × [−π, π] by identifying the points (0, α) and (2π, −α) for all α ∈ [−π, π] (resp. and the points (θ, −π) and (θ, π) for all θ ∈ [0, 2π]). We put B𝕋 × [−𝜫, 𝜫] (resp. B𝕋2) and

            x˜:[0,2π]×[π,π],(θ,α){x(2θ,α)ifθ[0,π]x(2(θπ),α)ifθ[π,2π]
            for every xE.
            • a) x˜ is well-defined and belongs to C(B,) for every xE.

            • b) If f1,1(θ, α) = eiθ for all (θ, α) ∈ [0, 2π] × [−π, π] then the map

              α3=ε2ε4α1α2*α4α6γ2*,α5=α6β1γ2*,α7=α4γ1γ2*,
              is a C*-isomorphism.

            • c) Let xUn E. If w(x(·, 0)) = 0 (where w denotes the winding number) then there is a yE with ey = x.

            • d) Let xUn E and put nw(x(θ, 0)). Then there is a yE with ey = e−inθ x.

            • e) The group F(2,A)/Λ(2,A) is isomorphic to 2.

            • f) If w(f1,1(·,0)) is even (resp. odd) then S(f) is isomorphic to E × E (resp. to C(B,)).

            a) For α ∈ [−π, π],

            x˜(π,α)=x(2π,α)=x(0,α)=x˜(π,α)
            so x˜ is well-defined. Moreover
            x˜(0,α)=x(0,α)=x(2π,α)=x˜(2π,α)
            and in the case of Klein's bottle
            {x˜(θ,π)=x(2θ,π)=x(2θ,π)=x˜(θ,π)ifθ[0,π]x˜(θ,π)=x(2(θπ),π)=x(2(θπ),π)=x˜(θ,π)ifθ[π,2π]
            i.e. x˜C(B,).

            b) For X,YS(f) and (θ, α) ∈ [0,2π] × [−π, π], by Theorem 2.1.9 c),g),

            (φX*)(θ,α)=(X*)0˜(θ,α)+eiθ(X*)1˜(θ,α)=
            =(X0)*˜(θ,α)+eiθ(eiθ(X1)*)˜(θ,α)=
            ={X0(2θ,α)̅+eiθ(e2iθX1(2θ,α)̅)ifθ[0,π]X0(2(θπ),α)̅+eiθ(e2i(θπ)X1(2(θπ),α)̅)ifθ[π,2π]=
            ={X0(2θ,α)+eiθX1(2θ,α)̅ifθ[0,π]X0(2(θπ),α)+eiθX1(2(θπ),α)̅ifθ[π,2π]=φX̅(θ,α),
            (φX)(φY)=(X0˜+eiθX1˜)(Y0˜+eiθY1˜)=X0˜Y0˜+eiθX0˜Y1˜+eiθX1˜Y0˜+e2iθX1˜Y1˜,
            φ(XY)=(XY)0˜+eiθ(XY)1˜=
            =X0˜Y0˜+e2iθX1˜Y1˜+eiθ(X0˜Y1˜+X1˜Y0˜)=(φX)(φY),
            i.e. φ is a C*-homomorphism. If φX = 0 then for α ∈ [−π, π],
            {X0(2θ,α)+eiθX1(2θ,α)=0ifθ[0,π]X0(2(θπ),α)+eiθX1(2(θπ),α)=0ifθ[π,2π]
            so for θ ∈ [0, π], replacing θ by θ + π and α by −α in the second relation,
            X0(2θ,α)eiθX1(2θ,α)=0.
            It follows successively
            X0(2θ,α)=X1(2θ,α)=0,X0=X1=0,X=0.
            Thus φ is injective.

            Let yC(B,). Put

            {X0:[0,2π]×[π,π],(θ,α)12(y(θ2,α)+y(θ2+π,α))X1:[0,2π]×[π,π],(θ,α)12eiθ2(y(θ2,α)y(θ2+π,α)).
            For α ∈ [−π, π],
            {X0(0,α)=12(y(0,α)+y(π,α))X0(2π,α)=12(y(π,α)+y(2π,α))
            {X1(0,α)=12(y(0,α)y(π,α))X1(2π,α)=12(y(π,α)y(2π,α))
            so X0, X1E. Moreover for (θ, α) ∈ [0,2π] × [−π, π],
            X0˜(θ,α)+eiθX1˜(θ,α)=
            ={X0(2θ,α)+eiθX1(2θ,α)ifθ[0,π]X0(2(θπ),α)+eiθX1(2(θπ),α)ifθ[π,2π]=
            ={12(y(θ,α)+y(θ+π,α)+y(θ,α)y(θ+π,α))ifθ[0,π]12(y(θπ,α)+y(θ,α)y(θπ,α)+y(θ,α))ifθ[π,2π]=
            =y(θ,α)
            i.e. φ is surjective.

            c) If A is Moebius's band then the assertion is obvious so assume A is Klein's bottle. The winding numbers of

            {[0,2π],αx(0,α)[0,2π],αx(2π,α)
            are equal by homotopy, but their sum is equal to 0. Thus these winding numbers are equal to 0. The paths θ and α on A generate the homotopy group of A. Thus the winding number of x on any path of A is 0 and the assertion follows.

            d) The winding number of

            [0,2π],θeinθx(θ,0)
            is 0 and the assertion follows from c).

            e) The assertion follows from d) and Proposition 3.1.1 b).

            f) The assertion follows from b), d), Proposition 2.2.2 a1a2, and Proposition 3.1.1 c).

            3.2. T2 × 2

            PROPOSITION 3.2.1 Let E be a unital C*-algebra and let a, b, c be the three elements of (2 × 2) / {(0,0)}. Put

            A{(α,β,γ,ε)(UnEc)4|ε2=1E}
            and for every ϱA and σ(Un Ec)3 denote by fϱ and gσ the functions defined by the following tables:
            fϱabc
            aβγγβ
            bεγεαγα
            cεβεααβ
            gσabc
            aα2αβγ*αγβ*
            bαβγ*β2βγα*
            cαγβ*βγα*γ2
            • a) fϱF(2×2,E) for every ϱ ∈ A and the map

              AF(2×2,E),ϱfϱ
              is bijective.

            • b) gϱ{δλ|λΛ(2×2,E)} for every σ(Un Ec)3 and the map

              (UnEc)3{δλ|λΛ(2×2,E)},σgσ
              is bijective.

            • c) The following are equivalent for all ϱ(α,β,γ,ϵ)A and ϱ(α,β,γ,ϵ)A:

              • c1) S(fϱ)SS(fϱ).

              • c2) ε = ε′ and there are x, y, zUn Ec with

                x2=ββ*γγ*,y2=αα*γγ*,z2=αα*ββ*.

              • c3) ε = ε′ and there are x, yUn Ec with

                x2=ββ*γγ*,y2=αα*γγ*.

            • d) The following are equivalent for all ϱ(α,β,γ,εA) and XS(fϱ):

              • d1) X{Vtfϱ|t2×2}c.

              • d2) t2×2εXt=Xt.

            • e) The following are equivalent for all ϱ(α,β,γ,εA) and XS(fϱ):

              • e1) XS(fϱ)c.

              • e2) t2×2εXt=XtEc.

            • f) For ϱ(α,β,γ,ε)A and X,YS(fϱ),

              (X*)0=X0*,(X*)a=β*γ*Xa*,(X*)b=εα*γ*Xb*,(X*)c=α*β*Xc*,(XY)0=X0Y0+βγXaYa+εαγXbYb+αβXcYc,(XY)a=X0Ya+XaY0+αXbYc+εαXcYb,(XY)b=X0Yb+βXaYc+XbY0+εβXcYa,(XY)c=X0Yc+γXaYb+εγXbYa+XcY0.

            • g) Assume 𝕂 = ℂ, let σ(Ec) be the spectrum of Ec, and for every δEc let δ^ be its Gelfand transform. Then

              σ(Va)={eiθ|θ,e2iθβγ^(σ(Ec))},σ(Vb)={eiθ|θ,e2iθαγ^(σ(Ec))},σ(Vc)={eiθ|θ,e2iθαβ^(σ(Ec))}.

            a) is a long calculation.

            b) is easy to verify.

            c1c2 By Proposition 2.2.2 a2a1 there is a λ ∈ Λ (2 × 2, E) with fϱ=fϱδλ. By b), there is a σ ≔ (x, y, z) ∈ (Un Ec)3 with fϱ=fϱgσ. We get ε = ε′ and

            αα*=x*yz,ββ*=xy*z,γγ*=xyz*.
            It follows xyz = αα′* ββ′* γγ′* so
            x2=ββ*γγ*,y2=αα*γγ*,z2=αα*ββ*.

            c2c3 is trivial.

            c3c2 If we put zxyγ*γ′ then

            z2=ββ*γγ*αα*γγ*γ*2γ2=αα*ββ*.

            c2c1 follows from b) and Proposition 2.2.2 a1a2.

            d) follows from Corollary 2.1.24 b).

            e) follows from Corollary 2.1.24 c).

            f) follows from Theorem 2.1.9 c),g).

            g) follows from f).

            COROLLARY 3.2.2 We use the notation of Proposition 3.2.1 and take ϱ(α,β,γ,ε)A.

            • a) Assume ε = 1E and there are x, yUn E with x2 = βγ, y2 = αγ. Put zxyγ*.

              • a1) x, y, zUn Ec, z2 = αβ.

              • a2) For every λ, μ ∈ {−1, 1} the map

                φλ,μ:S(fϱ)E,XX0+λxXa+μyXb+λμzXc
                is an E-C*-homomorphism.

              • a3) The map

                S(fϱ)E4,X(φ1,1X,φ1,1X,φ1,1X.φ1,1X)
                is an E-C*-isomorphism.

            • b) Assume 𝕂 ≔ ℝ, ε = 1E, and there are x, yUn E with

              x2=βγ,y2=αγ,(resp.y2=αγ).
              Put zxyγ*. Then x, y, zUn Ec, z2 = −αβ (resp. z2 = αβ), and the maps
              S(fϱ)(E)2,X(X0+ixXa+yXb+izXc,X0+ixXayXbizXc)
              S(fϱ)(E)2,X(X0+ixXa+iyXbzXc,X0+ixXaiyXb+zXc)
              are respectively E-C*-isomorphisms (where E denotes the complexification of E).

            • c) Assume 𝕂 ≔ ℝ, ε = −1E, and there are x, yEc with x2 = −βγ, y2 = αγ. Put zxyγ*. Then x, y, zUn Ec, z2 = −αβ, and the map

              S(fϱ)E,XX0+ixXa+jyXb+kzXc,
              where i, j, k are the canonical units of ℍ, is an E-C*-isomorphism.

            • d) If ε = −1E and there is an xUn Ec with x2 = αβ then for every δUn Ec the map

              S(fϱ)E2,2,X[X0+xXcγδ*(βXaxXb)δ(Xa+xβ*Xb)X0xXc]
              is an E-C*-isomorphism.

            The proof is a long calculation using Proposition 3.2.1 f).

            Remarks. d) is contained in Proposition 3.2.3 c). An example with ε = 1E but different from a) is presented in Proposition 3.3.2.

            PROPOSITION 3.2.3 We use the notation of Proposition 3.2.1 and take ϱ(α,β,γ,ε)A.

            • a) Let φ:S(fϱ)E2,2 be an E-C*-isomorphism and put

              [AtBtCtDt]φVt
              for every t2×2\{(0,0)}. Then ε = −1E, At, Bt, Ct, DtEc and At + Dt = 0 for every t2×2\{(0,0)}, and
              Aa*=β*γ*Aa,Ab*=α*γ*Ab,Ac*=α*β*Ac,
              Ba*=β*γ*Ca,Bb*=α*γ*Cb,Bc*=α*β*Cc,
              Aa2+BaCa=βγ,Ab2+BbCb=αγ,Ac2+BcCc=αβ,
              Aa2=βγ(1E|Ba|2),Ab2=αγ(1E|Bb|2),Ac2=αβ(1E|Bc|2),
              2AaAb+BaCb+BbCa=0,2AbAc+BbCc+BcCb=0,
              2AcAa+BcCa+BaCc=0,
              αAa=AbAc+BbCc,αBa=AbBcAcBb,αCa=AcCbAbCc,
              βAb=AaAc+BaCc,βBb=AaBcAcBa,βCb=AcCaAaCc,
              γAc=AaAb+BaCb,γBc=AaBbAbBa,γCc=AbCaAaCb,
              |Aa|+|Ab|+|Ac|=0,|Ba|+|Bb|+|Bc|=3.1E.

            • b) Let (At)tT, (Bt)tT, (Ct)tT, (Dt)tT be families in Ec satisfying the above conditions and put

              XAaXa+AbXb+AcXc,XBaXa+BbXb+BcXc,XCaXa+CbXb+CcXc
              for every XS(fϱ). If ε = −1E then the map
              S(fϱ)E2,2,X[X0+XXXX0X]
              is an E-C*-isomorphism.

            • c) Let ε = −1E and assume there is an xEc with x2 = βγ. Let yUn Ec and put zγ*xy. Then x, y, zUn Ec and the map

              φ:S(fϱ)E2,2,X[X0+xXaα(yXb+zXc)γy*Xb+βz*XcX0xXa]
              is an E -C*-isomorphism such that
              φ(12(V0+(x*1K)Va))=[1000].
              In particular (by the symmetry of a,b,c), if ε = −1E and if there is an xEc with x2 = βγ, or x2 = −αγ, or x2 = αβ then S(fϱ)EE2,2.

            Remark. Take ϱ(1E,1E,1E,1E), ϱ(1E,1E,γ,1E). By c), S(fϱ)ES(fϱ) and by Proposition 3.2.1 c1c2, S(fϱ)SS(fϱ) implies the existence of an xUn Ec with x2 = γ′.

            COROLLARY 3.2.4 We use the notation of Proposition 3.2.3 and take E𝕂, α = 1, and β = γ = ε = −1. Let S be a group, F a unital C*-algebra, gF(S,F), and

            h:((S×(2)2)×(S×(2)2)),UnFc,((s1,t1),(s2,t2))fϱ(t1,t2)g(s1,s2).
            • a) hF(S×(2)2,F).

            • b) S(h)S(g)2,2,S·(h)S·(g)2,2.

            By Proposition 3.2.3 c), S(f)𝕂2,2, so by Proposition 2.2.11 c),e),

            S(h)𝕂2,2S(g)S(g)2,2,S·(h)𝕂2,2S·(g)S·(g)2,2.

            EXAMPLE 3.2.5 Let 𝕂 and EC(𝕋,).

            • a) With the notation of Proposition 3.2.1, if ϱ(α,β,γ,1)A then S(fϱ)EE2,2.

            • b) Card({S(f)|fF(2×2,E)}/S)=16.

            Put

            mw(α),nw(β),pw(γ),
            where w denotes the winding number. By Proposition 2.2.2 a1a2, we may assume α = zm, β = zn, γ = zp.

            a) If n + p is even then the assertion follows from Proposition 3.2.3 c). If n + p is odd then either m + p or m + n is even and the assertion follows again from Proposition 3.2.3 c).

            b) follows from Proposition 2.2.2 a),c).

            Remark. Assume 𝕂 ≔ ℝ and let E be the real C*-algebra C(𝕋,) ([1] Theorem 4.1.1.8 a)), ε = −1E,

            α:𝕋,zz,β:𝕋,zz,γ:𝕋,zz̅,
            and ϱ(α,β,γ,ε). Then by Corollary 3.2.2 c), S(fϱ)E.

            EXAMPLE 3.2.6 We put EC(𝕋2,), γ ≔ 1E,

            α:𝕋2,(z1,z2)z1,β𝕋2IC,(z1,z2)z2,
            and (with the notation of Proposition 3.2.1) ϱ(α,β,γ,1E)A.
            • a) S(fϱ) is not commutative and not E-C*-isomorphic to E2,2.

            • If we put

              x˜:𝕋2,(z1,z2)x(z12,z22)
              for every xE then the map
              S(fϱ)E2,2,X[X˜0+αβX˜cβX˜aαX˜bβX˜a+αX˜bX˜0αβX˜c]
              is a C*-isomorphism.

            • c) E2,2S(fϱ)EE2,2.

            a) By Proposition 3.2.1 d), S(fϱ) is not commutative. Assume S(fϱ)EE2,2 and let us use the notation of Proposition 3.2.3 a).

            Step1{Aa0}{Ab=0}

            Assume {Aa ≠ 0} ∩ {Ab ≠ 0} ≠ ∅. By Proposition 3.2.3 a),

            2AaAb+BaCb+BbCa=0,Ba*=β*Ca,Bb*=α*Cb
            so Ba ≠ 0 and Bb ≠ 0 on this set. We put
            Aa=:|Aa|eiA˜a,Ab=:|Ab|eiA˜b,Ba=:|Ba|eiB˜a,Bb=:|Bb|eiB˜b,
            z1=:eiθ1,z2=:eiθ2,
            with A˜a,A˜b,B˜a,B˜b. By Proposition 3.2.3 a), 2A˜a=θ2, 2A˜b=θ1+π,
            BaCb+BbCa=αγBaBb*+βγBbBa*=|Ba||Bb|(ei(θ2+B˜bB˜a)ei(θ1+B˜aB˜b))=
            =|Ba||Bb|eiθ1+θ22(ei(θ2θ12+B˜bB˜a)ei(θ1θ22+B˜aB˜b))=
            =2|Ba||Bb|sin(θ2θ12+B˜bB˜a)eiθ1+θ2+π2.
            Since 2AaAb = −(BaCb + BbCa) there is a k with
            θ22+θ1+π2=θ1+θ2+π2+(2k+1)π
            which is a contradiction.
            Step2{Aa0}{Ac=0}

            The assertion follows from Step 1 by symmetry.

            Step3{Aa0}{Ab=Ac=0}

            The assertion follows from Steps 1 and 2 and from |Aa| + |Ab| + |Ac| ≠ 0.

            Step 4 The contradiction

            By Step 3 and by the symmetry, the sets {Aa ≠ 0}, {Ab ≠ 0}, and {Ac ≠ 0} are clopen and by |Aa| + |Ab| + |Ac| ≠ 0 their union is equal to 𝕋2. So there is exactly one of these sets equal to 𝕋2 which implies

            Aa2=z2,orAb2=z1orAc2=z1z2
            and no one of these identities can hold.

            b) is a direct verification.

            c) follows from a) and b).

            3.3. T(2)n with n ∈ ℕ

            EXAMPLE 3.3.1 Assume f constant and put

            s|ti=1n(1)s(i)t(i)
            for all s,tT (where 2 is identified with {0,1}) and
            φt:S(f)E2n,XsTt|sXs
            for all tT. Then the map
            φ:S(f)E2n,X(φtX)tT
            is an E-C*-isomorphism.

            For r,s,tT,

            t+t=0,s|t=t|s,r+s|t=r|ts|t,r|s+t=r|sr|t.
            For tT and X,YS(f), by Theorem 2.1.9 c),g),
            φt(X*)=sTt|s(X*)s=sTt|s(Xs)*=(φtX)*,
            (φtX)(φtY)=r,sTt|rt|sXrYs=q,rTt|rt|qrXrYqr==q,rTt|qXrYqr=qTt|q(XY)q=φt(XY)
            so φt and φ are E-C*-homomorphisms.

            We have

            tT0|t=2n.
            We want to prove
            tTs|t=0.
            for all sT, s ≠ 0, by induction with respect to Card{in|s(i)=0}. Let in with s(i) ≠ 0 and put rs + ei,
            T0{tT|t(i)=0},T1{tT|t(i)=1}.
            Then
            tT0s|t=tT0r|t,tT1s|t=tT1r|t.
            But
            tT0r|t=tT1r|t=2n1
            if r = 0. By the hypothesis of the induction
            tT0r|t=tT1r|t=0
            if r ≠ 0 (with n replaced by n\{i}, since r(i) = 0). This finishes the proof by induction.

            For rT and XS(f), by the above,

            tTr|tφtX=s,tTr|tt|sXs=s,tTr+s|tXs=
            =sT{r}tTr+s|tXs+tT0|tXr=2nXr.
            Hence φ is bijective.

            EXAMPLE 3.3.2 Let EC(𝕋n,), denote by z ≔ (z1, z2, ⋯, zn) the points of 𝕋n, and put z2(z12,z22,,zn2) for every z𝕋n. We identify (2)n with 𝔓(n) by using the bijection

            𝔓(n)(2)n,IeI
            and denote by
            IΔJ(IJ)(JI)
            the addition on 𝔓(n) corresponding to this identification. We put λIiIzi for every In and
            f:𝔓(n)×𝔓(n)UnEc,(I,J)λIJ.
            Then fF((2)n,E) and, if we put
            X˜InλI(z)XI(z2)E
            for every XS(f), the map
            φ:S(f)E,XX˜
            is an isomorphism of C*-algebras.

            Let X,YS(f). By Theorem 2.1.9 c),g),

            X*˜=InλI(X*)I(z2)=InλIλI2̅XI*=X˜̅,
            XY˜=InλI(XY)I(z2)=InλIJnf(J,JΔI)2XJYJΔI=
            =J,KnλJΔKλJK2XJYK=J,KnλJλKXJYK=X˜Y˜
            so φ is a C*-homomorphism.

            We put for kn, in, and In,

            ikI{2ik+1ifkI2ikifknI,iI(i1I,i2I,,inI)n
            and
            G{inaiz1i1z2i2znin|(ai)in(n)}.
            Let
            xinaiz1i1z2i2zninG
            and for every In put
            XIinaiIz1i1z2i2znin,XIn(XI1K)VI.
            Then φX = x and so Gφ(S(f)). Since G is dense in E, it follows that φ is surjective.

            We prove that φ is injective by induction with respect to n ∈ ℕ. The case n = 1 was proved in Example 3.1.4. Assume the assertion holds for n − 1. Let XKer φ. Then

            InλI(z)XI(z2)=0.
            By replacing zn by −zn in the above relation, we get
            In1λI(z)XI(z2)nInλI(z)XI(z2)=0
            and so
            In1λI(z)XI(z2)=nInλI(z)XI(z2)=0.
            By the induction hypothesis, we get XI = 0 for all In and so X = 0. Thus φ is injective and a C*-isomorphism.

            EXAMPLE 3.3.3 Let fF((2)3,E), put

            a(0,0,1),b(0,1,0),c(0,1,1),s(1,0,0),
            and denote by g the element of F(2,E) defined by g(1, 1) ≔ f(s, s) Proposition 3.1.1 a).
            • a) There is a family (αi,βi,γi,εi)i7 in (Un Ec)4 such that f is given by the attached table and such that εi2=1E for every i7 and

              ε3=ε1ε2,ε5=ε1ε4,ε6=ε2ε4,ε7=ε1ε2ε4,
              α3=ε2ε4α1α2*α4α6γ2*,α5=α6β1γ2*,α7=α4γ1γ2*,
              β2=β1γ1γ2*,β3=ε2α4*α6β1,β4=ε1ε2ε4α1α2*α4γ1γ2*,
              β5=ε4α1α2*α6,β6=ε4α1α2*α6β1γ2*,β7=ε1ε2ε4α1α2*α6,
              γ3=ε2α4α6*γ1,γ4=ε2ε4α2α4*γ1*γ2,γ5=ε1ε4α2α6*γ1,
              γ6=ε4α2α6*γ2,  γ7=ε1ε2ε4α2α4*β1.
              fabcsa + sb + sc + s
              aβ1γ1γ1β1γ2β2γ3β3
              bε1γ1ε1α1γ1α1γ4γ5β4β5
              cε1β1ε1α1α1β1γ6γ7β7β6
              sε2γ2ε4γ4ε6γ6ε2α2γ2α2α4α6
              a + sε2β2ε5γ5ε7γ7ε2α2α2β2α7α5
              b + sε3γ3ε4γ4ε7γ7ε4α4ε7α7ε3α3γ3α3
              c + sε3β3ε5β5ε6β6ε6β6ε5α5ε3α3α3β3

            • b) If ε1 = −1E, ε2 = ε4, γ1 = 1E, and there is an xEc with x2=α1β1* then there are P±(E˜1K)cPrS(f) with P++P=V1f and (Theorem 895 b))

              P+S(f)P+ES(g)EPS(f)P.

            • c) If ε1 = − 1E, ε2 =ε 4 =γ 1 = 1E, and there is an xEc with x2=α1β1* then S(f)ES(g)2,2.

            • d) Assume ε1 = − 1E, ε2 = ε4 = α1 = β1 = γ1 = 1E, γ2=α2*, and α24=α44=α6=1E and put

              φ±:S(f)E2,2,X[X0+Xc±Xs±Xc+sXaXb±α2*Xa+sα4*Xb+sXa+Xb±α2*Xa+s±α4*Xb+sX0Xc±XsXc+s].
              Then the map
              S(f)E2,2×E2,2,X(φ+X,φX)
              is an E-C*-isomorphism.

            a) is a long calculation.

            b) and c) follow from a) and Theorem 2.2.18 e).

            d) is a long calculation using a).

            3.4. Tn with n ∈ ℕ

            PROPOSITION 3.4.1 Put AUn Ec and for every αAn−1 put

            fα:n×nA,(p,q)(j=pp+q1αj)(k=1q1αk*),
            where n and n are canonically identified and αn ≔ 1E.

            • a) For every fF(n,E) and XS(f), XS(f)c iff XtEc for all tT. In particular, S(f) is commutative if E is commutative.

            • b) fαF(n,E) for every αAn−1 and the map

              An1F(n,E),αfα
              is a group isomorphism.

            • c) The following are equivalent for all α, βAn−1.

              • c1) S(fα)SS(fβ).

              • c2) There is a γA such that

                γn=j=1n1(αjβj*).

              • c3) There is a λΛ(n,E) such that fα = fβδλ.

                If these equivalent conditions are fulfilled then the map

                S(fα)S(fβ),XUλ*XUλ
                is an S -isomorphism and
                λ(1)n=j=1n1(αjβj*)=γn,pnλ(p)=λ(1)pj=1p1(αj*βj).

            • d) Let αAn−1 and put

              β:n1A,j{1j<n1(k=1n1αk*)n1j=n1.
              Then α and β fulfill the equivalent conditions of c).

            • e) There is a natural bijection

              {S(f)|fF(n,E)}/SA/{xn|xA}.
              If EC(𝕋m,) for some m then
              Card({S(f)|fF(n,E)}/S)=mn.

            • f) Let αAn−1, βA such that βn=j=1n1αj,

              F{EIK=ICEIK=IR,
              where E denotes the complexification of E, and
              wk:S(fα)F,Xj=1nβj(l=1j1α̅l)e2πijknXj
              for every kn(=n).
              • fl) If 𝕂 = ℂ then the map

                S(fα)En,X(wkX)kn
                is an E -C*-isomorphism.

              • f2) If 𝕂 = ℝ and n is odd then we may take β ∈ ℝ and the map

                S(fα)E×(E)n12,X(wnX,(wkX)kn12)
                is an E-C*-isomorphism.

              • f3) If 𝕂 = ℝ, n is even, and j=1n1αj=1 then the map

                S(fα)(E)n2,X(wk1X)kn2
                is an E-C*-isomorphism.

              • f4) If 𝕂 = ℝ, n is even, and j=1n1αj=1, and β = 1 then the map

                S(fα)E×E×(E)n21,X(wnX,wn2X,(wkX)kn21)
                is an E-C*-isomorphism.

              • f5) If n is even then there is a γA such that fα(n2,n2)=γ2.

                 

            EXAMPLE 3.4.2 Let EC(𝕋,), rn1, z: 𝕋 the canonical inclusion, and

            f:n×nUnEc,(p,q)z(j=pp+q1rjj=1q1rj),
            where n and n are canonically identified. Then fF(n,E). Let further S be the subgroup of n generated by ρ(j=1n1rj), where ρ:n is the quotient map,
            mCardS,hnm,ωe2πin,
            σ:n,pphj=1n1rjmj=1p1rj,
            and
            φk:S(f)E,Xp=1n(Xpzm)zσ(p)ωpk
            for every kh. Then the map
            φ:S(f)Eh,X(φkX)kh
            is an E-C*-isomorphism.

            The next example shows that the set {S(f)|fF(n,C(𝕋,))} is not reduced by restricting the Schur functions to have the form indicated in Example 3.4.2.

            EXAMPLE 3.4.3 Let EC(𝕋,) and gF(n,E). Put

            φ:[0,2π[,θlogj=1n1(g(j,1))(eiθ),
            where we take a fixed (but arbitrary) branch of log. If we define
            r:n1,j{limθ2πφ(θ)φ(0)ifj=10ifj=1
            then there is a λΛ(n,E) such that g = fδλ, where f is the Schur function defined in Example 3.4.2. In particular S(f)SS(g).

            3.5. T

            EXAMPLE 3.5.1 Let fF(,E).

            • a) S·(f)C(𝕋,E).

            • b) If E is a W*-algebra then

              SW(f)E̅L(μ)L(μ,E),
              where μ denotes the Lebesgue measure on 𝕋.

            By Corollary 1.1.6 c) and Proposition 2.2.2 a1a2, we may assume f constant. By Proposition 2.2.10 c),e), we may assume E. Let α:𝕋 be the inclusion map. Then

            l2(Z)L2(μ),ξnξnαn
            is an isomorphism of Hilbert spaces. If we identify these Hilbert spaces using this isomorphism then V1 becomes the multiplicator operator
            L2(μ)L2(μ),ηαη
            so
            R(f)L(μ),XnXnαn
            is an injective, involutive algebra homomorphism. The assertion follows.

            CLIFFORD ALGEBRAS

            4.1. The general case

            Throughout this section I is a totally ordered set, (Ti)iI is a family of groups, and (fi)iIiIF(Ti,E). We put

            t̅{iI|ti=1i}
            for every tiITi (where 1i denotes the neutral element of Ti) and
            T{tiITi|t̅is finite},  T{tT|t2=1}.
            An associated fF(T,E) will be defined in Proposition 4.1.1 b).

            T is a subgroup of iITi. We canonically associate to every element tT in a bijective way the ”word” ti1ti2tin, where

            {i1,i2,,in}=t̅  and  i1<i2<<in
            and use sometimes this representation instead of t (to 1 ∈ T we associate the ”empty word”).

            PROPOSITION 4.1.1

            • a) Let ti1ti2tin be a finite sequence of letters with tijTij\{1ij} for every j jn and use transpositions of successive letters with distinct indices in order to bring these indices in an increasing order. If τ denotes the number of used transpositions then (−1)τ does not depend on the manner in which this operation was done.

            • b) Let s, tT and let

              si1si2sim,  ti1ti2tin
              be the canonically associated words of s and t, respectively. We put for every kI, s˜ksij if there is a jm with k = ij and s˜k1k if the above condition is not fulfilled and define t˜ in a similar way. Moreover we put (Proposition 1.1.2 a))
              f(s,t)(1)τkIfk(s˜k,t˜k),
              where τ denotes the number of transpositions of successive letters with distinct indices in the finite sequence of letters
              si1si2simti1ti2tin
              in order to bring the indices in an increasing order. Then fF(T,E).

            • c) Let I0 be a subset of I, T0 the subgroup {tT|t̅I0} of T, and f0 the element of F(T0,E) defined in a similar way as f was defined in b). Then f0 = f|(T0 × T0) and the map

              S·(f0)S·(f),tT0·(Xt˜1K)Vtf0tT0·(Xt˜1K)Vtf
              is an injective E -C**-homomorphism with image
              {XS(f)|(tT&Xt=0)tT0}.

            a) We define a new total order relation on the indices of the given word by putting for all j,kn

            ijik:((ij<ik)or(ij=ikandj<k)).
            Let P be a sequence of transpositions of successive letters in order to bring the indices in an increasing form with respect to the new order and let τ′ be the number of used transpositions. Then ττ′ is even and so (−1)τ = (−1)τ. By the theory of permutations (−1)τ does not depend on P, which proves the assertion.

            b) By a), f is well-defined. Let r, s, tT and let

            ri1ri2rim,  si1si2sin,  ti1ti2tip
            be the words canonically associated to r, s, and t, respectively. There are α, β ∈ {−1, +1} such that
            f(r,s)f(rs,t)=αiIf(r˜i,s˜i)f(risi˜,t˜i),
            f(r,st)f(s,t)=βiIfi(r˜i,siti˜)f(s˜i,t˜i).
            Write the finite sequence of letters
            ri1ri2rimsi1si2sinti1ti2tip
            and use transpositions of successive letters with distinct indices in order to bring the indices in an increasing order. We can do this acting first on the letters of r and s only and then in a second step also on the letters of t. Then α = (−1)μ, where μ denotes the number of all performed transpositions. For β we may start first with the letters of s and t and then in a second step also with the letters of r. Then β = (−1)ν, where ν is the number of all effectuated transpositions. By a), α = (−1)μ = (−1)ν = β. The rest of the proof is obvious.

            c) follows from Corollary 2.1.17 d).

            COROLLARY 4.1.2. IfI2 then for all s, tT,

            f(s,t)={f1(s1,t1)ifs2=12f2(s2,t2)ift1=11f1(s1,t1)f2(s2,t2)ifs2=12,t1=11.

            PROPOSITION 4.1.3. Let s, tT.

            • a) f(s,t)=(1)Card(s̅×t̅)Card(s̅t̅)f(t,s).

            • b) st=tsiffVsVt=(1)Card(s̅×t̅)Card(s̅t̅)VtVs.

            • c) Assume s̅t̅. If Cards̅ is even or if Cardt̅ is odd then f(s, t) = f(t, s). If in addition st = ts then VsVt = VtVs.

            • d) If Card I is an odd natural number and T is commutative then VtS(f)c for every tT with t̅=I.

            • e) Assume tT′. IfnCardt̅ and αit̅fi(ti,ti) then

              f(t,t)=(1)n(n1)2α,  f˜(t)=(1)n(n1)2α*,(Vt)2=(1)n(n1)2(α˜1K)V1,  Vt*=(1)n(n1)2(α*˜1K)Vt.

            a) For is̅,

            f(si,t)={(1)Cardt̅f(t,si)ifit̅(1)Cardt̅1f(t,si)ifit̅
            so
            f(s,t)=(1)Card(s̅×t̅)Card(s̅t̅)f(t,s).

            b) By Proposition 2.1.2 b),

            VsVt=(f(s,t)˜1K)Vst,  VtVs=(f(t,s)˜1K)Vts.
            Thus if st = ts then by a),
            VsVt=((f(s,t)f(t,s)*)˜1K)VtVs=(1)Card(s̅×t̅)Card(s̅t̅)VtVs.
            Conversely, if this relation holds then by a),
            Vst=(f(s,t)*˜1K)VsVt=(1)Card(s̅×t̅)Card(s̅t̅)(f(t,s)*˜1K)VsVt==(f(t,s)*˜1K)VtVs=Vts
            and we get st = ts by Theorem 2.1.9 a).

            c) follows from a) and b).

            d) follows from c) (and Proposition 2.1.2 d)).

            e) We have

            f(t,t)=(1)(n1)++2+1α=(1)n(n1)2α.
            By Proposition 2.1.2 b),e),
            (Vt)2=(f(t,t)˜1K)V1=(1)n(n1)2(α˜1K)V1,Vt*=f˜(t)Vt1=f(t,t)*Vt=(1)n(n1)2(α*˜1K)Vt.

            PROPOSITION 4.1.4. Let S be a finite subset of T′ \ {1} such that st = ts and Card(s̅×t̅)Card(s̅t̅) is odd for all distinct s, tS and for every tS let αt, εtUn Ec and XtE be such that

            εt2=1E,  (Vt)2=(αt˜1K)V1,  Xt*=αtXt,
            tS|Xt|2=141E.

            • a)

              P14V1+tS((εtXt)˜1k)VtPrS(f),
              V1P=12V1+tS((εtXt)˜1k)VtPrS(f).

            • b) If sS and βEc such that Xs = 0 and β2 = αs then P is homotopic in PrS(f) to

              12(V1+((β*εs)˜1K)Vs).

            a) By Proposition 4.1.3 b),e),

            P*=12V1+tS((εtXt*αt*)˜1K)Vt=12V1+1S((εtXt)˜1K)Vt=P,
            P2=14V1+tS(Xt2˜1K)(Vt)2+tS((εtXt)˜1K)Vt+
            +s,tSs=t((εsεtXsXt)˜1K)(VsVt+VtVs)=
            =14V1+tS((Xt2αt)˜1K)V1+tS((εtXt)˜1K)Vt=
            =14V1+tS(|Xt|2˜1K)V1+tS((εtXt)˜1K)Vt=P.

            b) Remark first that βUn Ec and put

            Y:[0,1]E+c,u(141Eu2tS|Xt|2)12,
            Z:[0,1]Ec,uβ*εsY(u),
            Q:[0,1]S(f),u12V1+(Z(u)˜1K)Vs+tS\{s}((uεtXt)˜1K)Vt.
            For u ∈ [0, 1],
            αsZ(u)=β2β*εsY(u)=βεsY(u)=Z(u)*,
            |Z(u)|2+tS{s}|uXt|2=141E
            so by a), Q(u)PrS(f). Moreover
            Q(0)=12(V1+((β*εs)˜1K)Vs),  Q(1)=P.

            COROLLARY 4.1.5. Let s,tT′ \ {1}, s≠t, st = ts, αs, αt, εs, εtUn Ec such that

            εs2=εt2=1E,  (Vs)2=(αs2˜1K)V1,  (Vt)2=(αt2˜1K)V1,
            and put
            Ps12(V1+((εsαs*)˜1K)Vs),Pt12(V1+((εtαt*)˜1K)Vt).

            • a) Ps,PtPrS(f); we denote by PsPt the infimum of Ps and Pt in S(f)+ (by b) and c) it exists).

            • b) If VsVtVtVs then PsPt = 0.

            • c) If VsVt = VtVs then PsPt=PsPtPrS(f).

            a) follows from Proposition 2.1.20 b ⇒ a.

            b) By Proposition 4.1.3 b), VsVt = −VtVs. Let XS(f)+ with XPs and XPt. By [1] Proposition 4.2.7.1 dc,

            X=PsX=12X+12((εsαs*)˜1K)VsX,
            X=((εsαs*)˜1K)VsX=((εsεtαs*αt*)˜1K)VsVtX=
            =((εsεtαs*αt*)˜1K)VtVsX=X
            so X = 0 and PsPt = 0.

            c) We have PsPt = PtPs so PsPtPrS(f) and PsPt = PsPt by [1] Corollary 4.2.7.4 ab&d.

            COROLLARY 4.1.6. Let m, n, m+nI, (αi)im(UnEc)m, and for every i m let tiT′ with t̅in{n+i} and titj = tjti for all i,jm. If for every im,

            (Vti)2=(αi21K)V1
            then
            12(V1+1mim(αi*1K)Vti)PrS(f).

            For distinct i,jm,

            Card(t̅i×t̅j)Card(t̅it̅j)=(n+1)2n=n(n+1)+1
            is odd. For every im put Xi12mαi*. Then
            αi2Xi=12mαi=Xi*,  |Xi|2=14m1E,  im|Xi|2=141E
            and the assertion follows from Proposition 4.1.4 a).

            THEOREM 4.1.7. Let n such that 2n is an ordered subset of I, S{tT|t̅2n2}, gf|(S × S), a, bT such that a2 = b2 = 1,

            a̅=2n1,  b̅=2n2{2n},  i2n2ai=bi,
            ω:2×2T the (injective) group homomorphism defined by ω(1, 0) ≔ a, ω(0,1) ≔ b, α1f(a, a), α2f(b, b), β1, β2Un Ec such that α1β12+α2β22=0,
            γ12(α1*β1*β2α2*β1β2*)=α1*β1*β2=α2*β1β2*,
            X12((β1˜1K)Va+(β2˜1K)Vb),  P+X*X,PXX*.
            We consider S(g) as an E -C**-subalgebra of S(f) (Corollary 2.1.17 e)).

            • a) ab = ba, γ2=α1*α2*. We put cab = ω (1,1).

            • b) X,Vc,P±S(g)c.

            • c) We have

              P±=12(V1±(γ˜1K)Vc)PrS(f),  P++P=V1,  P+P=0,
              X2=0,XP+=X,PX=X,P+X=XP=0,X+X*UnS(f).

            • d) The map

              EP±S(f)P±,xP±(x˜1K)P±
              is an injective unital C**-homomorphism. We identify E with its image with respect to this map and consider P±S(f)P± as an E-C**-algebra.

            • e) The map

              φ±:S(g)P±S(f)P±,YP±YP±=P±Y=YP±
              is an injective unital C**-homomorphism. If Y1,Y2UnS(g) then φ+Y1+φY2UnS(f).

            • f) The map

              ψ:S(f)S(f),Z(X+X*)Z(X+X*)
              is an E-C**-isomorphism such that
              ψ1=ψ,ψ(P+S(f)P+)=PS(f)P,ψοφ+=φ,ψοφ=φ+.

              If Y1,Y2S(g) then

              φ+Y1+φY2=(φ+Y1+φV1)ψ(φ+Y2+φV1).

            • g) If pPrS(g) then

              (X(φ+p)*(X(φ+p))=φ+p,  (X(φ+p))(X(φ+p))*=φp.

            • h) Let R be the subgroup {1, a, b, c} of T, hf|(R × R), dT such that d̅=2n2 and di = ai for every i2n2, and

              αf(d,d),  αf2n1(2n1,2n1),  αf2n(2n,2n).
              Then α1=αα,α2=αα,αα=(α*γ*)2,
              habc
              aαα′αα′
              bααα″α″
              cα′α″α′α″
              is the table of h, P±PrS(h), and the map
              φ:S(h)E2,2,Z[Z0+γ*ZcααZaαγ*ZbZa+α*γ*ZbZ0γ*Zc]
              is an E-C**-isomorphism. In particular
              φP+=[1E000],    φP=[0001E]
              and E2,2 is E-C**-isomorphic to an E-C**-subalgebra of S(f).

            • i) Assume I=2n and T2n1=T2n=2. Then TS×2×2,φ± is an E-C*-isomorphism with inverse

              P±S(f)P±S(f0),Z2uT0(Zu1K)Vu,
              and S(f)ES(g)2,2

            a) is easy to see.

            b) follows from Proposition 4.1.3 b).

            c) follows from a) and Theorem 2.2.18 b),h).

            d) follows from Theorem 2.2.18 c).

            e) By b) and c), the map is well-defined. The assertion follows now from Theorem 2.2.18 d),h).

            f) follows from b),c), and Theorem 2.2.18 h).

            g) follows from b) and Proposition 2.2.17 d).

            h) follows from c), d), Proposition 3.2.1 a), Corollary 3.2.2 d), and Proposition 3.2.3 c).

            i) follows from Theorem 2.2.18 f).

            PROPOSITION 4.1.8. We use the notation and the hypotheses of Theorem 4.1.7 and assume I2, T12, and T22m with m.

            • a) a = (1, 0), b = (0, m), c = (1, m), α = 1E, α′ = α 1 = f1(1,1), α″ = α 2 = f2(m, m), and

              P±S(f)P±={(x˜1K)P±|xE}.

            • b) If m = 1 then there are α, β, γ, δUn Ec such that f is given by the following table:

              f(0, 1)(0, 2)(0, 3)(1, 0)(1, 1)(1, 2)(1, 3)
              (0, 1)αβγ−1Eαβγ
              (0, 2)βα*βγα*γ−1Eβα*βγα*γ
              (0, 3)γα*γβ*γ−1Eγα*γβ*γ
              (1, 0)1E1E1Eδδδδ
              (1, 1)αβγδαδβδγδ
              (1, 2)βα*βγα*γδβδα*βγδα*γδ
              (1, 3)γα*γβ*γδγδα*γδβ*γδ
              .

            • c) We assume 𝕂 and m ≔ 1 and put for all j, k ∈ {0, 1}

              φj,k:S(f)E,ZZ0+(1)jZb+ijZ(k,1)ijZ(k,3),
              ϕ:S(f)E4,Z(φ0,0Z,φ0,1Z,φ1,0Z,φ1,1Z).

            If we take α ≔ β ≔ γ ≔ −δ ≔ β1 ≔ β2 ≔ 1E in b) then the map

            S(f)E2,2×E4,Z([Z0+Z(1,2)Z(1,0)ZbZ(1,0)+ZbZ0Z(1,2)],ϕZ)
            is an E-C**-isomorphism.

            a) Use Corollary 4.1.2 and Proposition 2.1.2 b).

            b) Use Proposition 6437 a) and Proposition 4.1.1.

            c) follows from b) and Proposition 3.4.1 f1.

            4.2. A special case

            Throughout this section we denote by S a totally ordered set, put T(2)(S), and fix a map ρ: SUn Ec. We define for every sS, fsF(2,E) by putting fs(1,1) = ρ(s) (Proposition 3.1.1 a)). Moreover we denote by fρ the Schur function f defined in Proposition 4.1.1 b) (with I replaced by S) and put Cl(ρ)S(fρ).

            Remark. If S:2 then T=2×2 so Cl(ρ) is a special case of the example treated in section 3.2. With the notation used in the left table of Proposition 3.2.1 this case appears for a ≔ (1,0) and b ≔ (0.1) exactly when ε = −1E, α = −ρ(b), β = ρ(a), and γ = 1E.

            LEMMA 4.2.1. Pf(S) endowed with the composition law

            Pf(S)×Pf(S)Pf(S),(A,B)AB(A\B)(B\A)
            is a locally finite commutative group (Definition 2.1.18) with 0 as neutral element and the map
            Pf(S)T,AeA
            is a group isomorphism with inverse
            TPf(S),x{sS|x(s)=1}.
            We identify T with Pf(S) by using this isomorphism and write s instead of {s} for every sS. For A, BT,
            fρ(A,B)=(1)τsABρ(s),
            where τ is defined in Proposition 4.1.1 b).

            PROPOSITION 4.2.2. Assume S finite and let F be an E-C*-algebra. Let further (xs)sS be a family in F such that for all distinct s,tS and for every yE,

            xsxt=xtxs,  xs2=ρ(s)1F,  xs*=ρ(s)*xs,  xsy=yxs.
            Then there is a unique E-C*-homomorphism φ:Cl(ρ)F such that φVs = xs for all sS. If the family (sAxs)AS is E-linearly independent (resp. generates F as an E-C*-algebra) then φ is injective (resp. surjective).

            Put

            φVAxs1xs2xsm
            for every A ≔ {s1, s2, ⋯, sm}, where s1 < s2 < ⋯ < sm, and
            φ:Cl(ρ)F,XASXAφVA.
            It is easy to see that (φ Vs)(φ Vt) = φ (VsVt) and y φ Vs = (φ Vs)y for all s, tS and yE (Proposition 2.1.2 b)). Let
            A{s1,s2,,sm}S,B{t1,t2,,tn}S,{r1,r2,,rp}AB,
            where the letters are written in strictly increasing order. Then
            (φVA)(φVB)=xs1xs2xsmxt1xt2xtn=fρ(A,B)xr1xr2xrp=
            =fρ(A,B)φVAB=φ((fρ(A,B)˜1K)VAB)=φ(VAVB),
            (φVA)*=xsm*xs2*xs1*=(1)m(m1)2xs1*xs2*xsm*=
            =(1)m(m1)2imρ(si)*xs1xs2xsm=(1)m(m1)2imρ(si)*φVA=
            =φ((1)m(m1)2((imρ(si)*)˜1K)VA)=φ(VA*)
            by Proposition 4.1.3 e).

            For X,YCl(ρ) (by Theorem 2.1.9 c),g)),

            (φX)(φY)=(ATXAφVA)(BTYBφVB)=A,BTXAYB(φVA)(φVB)=
            =A,BTXAYBφ(VAVB)=A,BTXAYBfρ(A,B)φVAB=
            =A,CTXAYACfρ(A,AC)φVC=CT(ATfρ(A,AC)XAYAC)φVC=
            =CT(XY)CφVC=φ(XY),
            (φX)*=ATXA*(φVA)*=ATXA*φ(VA)*=
            =ATf˜ρ(A)*(X*)Af˜ρ(A)φVA=AT(X*)AφVA=φ(X*)
            (Proposition 4.1.3 e)) i.e. φ is an E-C*-homomorphism. The uniqueness and the last assertions are obvious (by Theorem 2.1.9 a)).

            PROPOSITION 4.2.3. Let m, n{0}, S2n, S2n+m, Kl2(P(S)), (αi)im(UnEc)m,

            ρ:SUnEc,s{ρ(s)ifsSαi2f˜ρ(S)ifs=2n+iwithim,
            and Ai ≔ A ∪ {2n + i} for every AS and im.

            • a) imf˜ρ(Si)=αi*2,(VSiρ)2=(αi21K)V0ρ.

            • b) P12V0ρ+12mim(αi*1K)VSiρPrCl(ρ).

            • c) There is a unique injective E-C*-homomorphism φ:Cl(ρ)PCl(ρ)P such that

              φVsρ=PVsρP=PVsρ=VsρP
              for every sS.

            • d) If m2 then φ is an E-C*-isomorphism.

            a) By Proposition 4.1.3 e),

            f˜ρ(Si)=(1)n(2n+1)sSiρ(s)*=((1)n(2n1)sSρ(s)*)αi*2f˜ρ(S)*=αi*2,
            (VSiρ)2=(αi21K)V0ρ.

            b) follows from a) and Corollary 4.1.6.

            c) By Proposition 4.1.3 c), for sS, VsρVSiρ=VSiρVsρ for every im so VsρP=PVsρ. By b), for distinct s, tS (Proposition 4.1.3 b)),

            (PVsρ)(PVtρ)=PVsρVtρ=PVtρVsρ=(PVtρ)(PVsρ),
            (PVsρ)2=P(Vsρ)2=P(ρ(s)1K)V0ρ=(ρ(s)1K)P,
            (PVsρ)*=P(Vsρ)*=P(ρ(s)*1K)Vsρ=(ρ(s)1K)*PVsρ.
            By Proposition 4.2.2 there is a unique E-C*-homomorphism φ:Cl(ρ)PCl(ρ)P with the given properties.

            Let XCl(ρ) with φX = 0. Then

            0=(AS(XA1K)VAρ)P=
            =12AS(XA1K)VAρ+12mimAS(XA1K)fρ(A,Si)VAΔSiρ
            and this implies XA = 0 for all AS (Theorem 2.1.9 a)). Thus φ is injective.

            d)

            The casem=1
            Let YPCl(ρ)P. Then (by Proposition 2.1.2 b))
            Y=YP=12Y+12AS(α1*1K)VS1ρY,
            Y=AS((α1*fρ(S1,A)YA)1K)VS1Aρ+
            +AS(((α1*fρ(S1,A1)YA1))1K)VSAρ
            so
            {YA=α1*fρ(S1,(SA)1)Y(SA)1YA1=α1*fρ(S1,SA)YSA
            for every AS. If we put
            X2AS(YA1K)VAρCl(ρ)
            then
            φX=12φX+AS((α1*fρ(S1,A)YA)1K)VS1Aρ=
            =AS(YA1K)VAρ+AS((α1*fρ(S1,SA)YSA)1K)VA1ρ=
            =AS(YA1K)VAρ+AS(YA11K)VA1ρ=Y.
            Thus φ is surjective.
            The casem=2

            Let YPCl(ρ)P. Then

            {Y=PY=12Y+122((α1*1K)VS1ρ+(α2*1K)VS2ρ)YY=YP=12Y+122Y((α1*1K)VS1ρ+(α2*1K)VS2ρ),
            2Y=(α1*1K)VS1ρY+(α2*1K)VS2ρY=(α1*1K)YVS1ρ+(α2*1K)YVS2ρ.

            For every BS put

            BaB{2n+1},  BbB{2n+2},  BcB{2n+1,2n+2}.
            Then
            VS1ρY=BS((YBfρ(S1,B))1K)V(SB)aρ+BS((YBafρ(S1,Ba))1K)VSBρ+
            +BS((YBbfρ(S1,Bb))1K)V(SB)cρ+BS((YBcfρ(S1,Bc))1K)V(SB)b,
            VS2ρY=
            =BS((YBfρ(S2,B))1K)V(SB)bρ+BS((YBafρ(S2,Ba))1K)V(SB)cρ+
            +BS((YBbfρ(S2,Bb))1K)VSBρ+BS((YBcfρ(S2,Bc))1K)V(SB)aρ,
            YVS1ρ=BS((YBfρ(B,S1))1K)V(SB)aρ+BS((YBafρ(Ba,S1))1K)VSBρ+
            +BS((YBbfρ(Bb,S1))1K)V(SB)cρ+BS((YBcfρ(Bc,S1))1K)V(SB)bρ,
            YVS2ρ=
            =BS((YBfρ(B,S2))1K)V(SB)bρ+BS((YBafρ(Ba,S2))1K)V(SB)cρ+
            +BS((YBbfρ(Bb,S2))1K)VSBρ+BS((YBcfρ(Bc,S2))1K)V(SB)aρ,
            2Y=BS((α1*YBafρ(S1,Ba)+α2*YBbfρ(S2,Bb))1K)VSBρ+
            +BS((α1*YBfρ(S1,B)+α2*YBcfρ(S2,Bc))1K)V(SB)aρ+
            +BS((α1*YBcfρ(S1,Bc)+α2*YBfρ(S2,B))1K)V(SB)bρ+
            +BS((α1*YBbfρ(S1,Bb)+α2*YBafρ(S2,Ba))1K)V(SB)cρ,
            2Y=BS((α1*YBafρ(Ba,S1)+α2*YBbfρ(Bb,S2))1K)VSBρ+
            +BS((α1*YBfρ(B,S1)+α2*YBcfρ(Bc,S2))1K)V(SB)aρ+
            +BS((α1*YBcfρ(Bc,S1)+α2*YBfρ(B,S2))1K)V(SB)bρ+
            +BS((α1*YBbfρ(Bb,S1)+α2*YBafρ(Ba,S2))1K)V(SB)cρ.
            It follows for BS,
            2YBa=α1*YSBfρ(SB,S1)+α2*Y(SB)cfρ((SB)c,S2),
            2YBb=α1*Y(SB)cfρ((SB)c,S1)+α2*YSBfρ(SB,S2),
            2YBc=α1*Y(SB)bfρ(S1,(SB)b)+α2*Y(SB)afρ(S2,(SB)a)=
            =α1*Y(SB)bfρ((SB)b,S1)+α2*Y(SB)afρ((SB)a,S2),
            so by Proposition 4.1.3 a),b), YBc=0. If we put
            X2BS(YB1K)VBρCl(ρ)
            then
            φX=(2BS(YB1K)VBρ)P=
            =BS(YB1K)VBρ+12BS((α1*YBfρ(B,S1))1K)VS1Bρ+
            +12BS((α2*YBfρ(B,S2))1K)VS2Bρ,
            and so for BS,
            (φX)B=YB,  (φX)Ba=12α1*YSBfρ(SB,S1)=YBa,
            (φX)Bb=12α2*YSBfρ(SB,S2)=YBb,  (φX)Bc=0=YBc.
            Thus φX = Y and φ is surjective.

            Remark. If m = 3 then φ may be not surjective.

            PROPOSITION 4.2.4 Let 𝕂 ≔ ℝ, n ∈ ℕ ∪ {0}, S ≔ ℕ2n, and

            ρ:2n+1UnEc,s{ρ(s)ifsSf˜ρ(S)ifs=2n+1.
            Let Cl(ρ)° be the complexification of Cl(ρ), considered as a real E-C*-algebra ([1] Theorem 4.1.1.8 a)) by using the embedding
            ECl(ρ)°,x((x1K)V0ρ,0).
            Then there is a unique E-C*-isomorphism φ:Cl(ρ)Cl(ρ)° such that φVsρ=(Vsρ,0) for every sS and
            φV2n+1ρ=(0,(f˜ρ(S)1K)VSρ).

            We put

            xs{(Vsρ,0)ifsS(0,(f˜ρ(S)1K)VSρ)ifs=2n+1.
            For sS, by Proposition 4.1.3 b),
            xsx2n+1=(Vsρ,0)(0,(f˜ρ(S)1K)VSρ)=(0,(f˜ρ(S)1K)VsρVSρ)=
            =(0,(f˜ρ(S)1K)VSρVsρ)=(0,(f˜ρ(S)1K)Vsρ)(Vsρ,0)=x2n+1xs.
            By Proposition 674 b),e),
            x2n+12=(((f˜ρ(S)1K)VSρ)2,0)=
            =((f˜ρ(S)21K)(fρ(S,S)1K)Vρ,0)=(ρ(2n+1)1K)(Vρ,0),
            x2n+1*=(0,((f˜ρ(S)1K)VSρ)*)=
            =(0,(f˜ρ(S)*1K)(f˜ρ(S)1K)VSρ)=(ρ(2n+1)*1K)x2n+1,
            and the assertion follows from Proposition 4.2.2.

            PROPOSITION 4.2.5 Let n{0}, Sn, Sn+2, Kl2(P(S)), α1, α2UnEc, and

            ρ:SUnEc,s{ρ(s)ifsSα12ifs=n+1α22ifs=n+2.

            • a) There is a unique E -C*-isomorphism φ:Cl(ρ)Cl(ρ)2,2 such that

              φVsρ=[Vsρ00Vsρ]
              for every sS and
              φVn+1ρ=(α11K)[0V0ρV0ρ0],φVn+2ρ=(α21K)[0V0ρV0ρ0].

            • b)

              φ12(V0ρ+((α1*α2*)1K)V{n+1,n+2}ρ)=[V0ρ000],
              φ12(V0ρ((α1*α2*)1K)V{n+1,n+2}ρ)=[000V0ρ].

            a) Put

            xs[Vsρ00Vsρ]
            for every sS and
            xn+1(α11K)[0V0ρV0ρ0],xn+2(α21K)[0V0ρV0ρ0].
            For distinct s, tS and i ∈ ℕ2,
            xsxt=xtxs,xs2=(ρ(s)1K)[V0ρ00V0ρ],xs*=(ρ(s)1K)*xs,
            xsxn+i=xn+ixs,  xn+i2=(ρ(n+i)1K)[V0ρ00V0ρ],
            xn+i*=(ρ(n+i)1K)*xn+i,  xn+1xn+2=xn+2xn+1.
            By Proposition 4.2.2 there is a unique E-C*-homomorphism φ:Cl(ρ)Cl(ρ)2,2 satisfying the given conditions.

            We put for every AS and i ∈ ℕ2

            |A|CardA,  AiA{n+i},  A3A{n+1,n+2}.
            For AS,
            φVA1ρ=(α11K)[VAρ00(1)|A|VAρ][0V0ρV0ρ0]=
            =(α11K)[0VAρ(1)|A|VAρ0],
            φVA2ρ=(α21K)[VAρ00(1)|A|VAρ][0V0ρV0ρ0]=
            =(α21K)[0VAρ(1)|A|VAρ0],
            φVA3ρ=((α1α2)1K)[0VAρ(1)|A|VAρ0][0V0ρV0ρ0]=
            =((α1α2)1K)[VAρ00(1)|A|VAρ].
            Then for YCl(ρ),
            {(φY)11=AS((YA+(α1α2)YA3)1K)VAρ(φY)12=AS((α1YA1α2YA2)1K)VAρ(φY)21=AS(1)|A|)((α1YA1+α2YA2)1K)VAρ(φY)22=AS(1)|A|((YAα1α2YA3)1K)VAρ.
            It follows from the above identities that φ is bijective.

            b) By the above,

            φV{n+1,n+2}ρ=φV;3ρ=((α1α2)1K)[V0ρ00V0ρ]
            and the assertion follows.

            COROLLARY 4.2.6 Let m, m,n{0}, Sn, (αi)i2m(UnEc)2m, and

            ρ:n+2mUnEc,s{ρ(s)ifsS(1)iαi2ifs=n+i.
            Then Cl(ρ)ECl(ρ)2m,2m.

            PROPOSITION 4.2.7 Let 𝕂 ≔ ℝ, n ∈ ℕ ∪ {0}, S ≔ ℕ2n, S′ ≔ ℕ2n + 2, α1, α2Un Ec, and

            ρ:SUnEc,s{ρ(s)ifsSαl2f˜ρ(S)ifs=2n+lwithl2.
            Then there is a unique E-C*-isomorphism φ:Cl(ρ)Cl(ρ) such that
            φVsρ={Vsρ1ifsS(((α1f˜ρ(S))1K)VSρ)iifs=2n+1(((α2f˜ρ(S))1K)VSρ)jifs=2n+2,
            where i, j, k are the canonical unitaries of .

            Put

            xs{Vsρ1ifsS(((α1f˜ρ(S))1K)VSρ)iifs=2n+1(((α2f˜ρ(S))1K)VSρ)jifs=2n+2.
            For distinct s, tS and l2, by Proposition 4.1.3 b),
            xsxt=xtxs,xs2=(ρ(s)1K)(V0ρ1),  xs*=(ρ(s)1K)*xs,
            xsx2n+l=x2n+lxs,x2n+1x2n+2=(((α1α2f˜ρ(S))1K)V0ρ)k=x2n+2x2n+1,
            (x2n+l)2=(((αl2f˜ρ(S)2)1K)(f˜ρ(S)*1K)V0ρ)(1)=
            =(ρ(2n+l)1K)(V0ρ1),
            (x2n+l)*=(((αl*f˜ρ(S)*)1K)(f˜ρ(S)1K)VSρ)(iorj)=
            =(ρ(2n+l)1K)*x2n+l.
            By Proposition 4.2.2 there is a unique E-C*-homomorphism φ:Cl(ρ)Cl(ρ) satisfying the given conditions.

            For XCl(ρ),

            φX=(AS(XA1K)VAρ)1+
            +(AS((XA{2n+1}α1f˜ρ(S)fρ(A,S))1K)VSA)i+
            +(AS((XA{2n+2}α2f˜ρ(S)fρ(A,S))1K)VSAρ)j+
            +(AS((XA{2n+1,2n+2}α1α2f˜ρ(S))1K)VAρ)k
            and so φ is bijective.

            PROPOSITION 4.2.8 Let n{0}, S2n, A′A ∪ {2n + 1} for every AS,

            ρ:SUnEc,s{ρ(s)ifsSf˜(S)ifs=2n+1,
            P±12(V0ρ±VSρ), and θ±:ASĔASĔ defined by
            (θ±ξ)A12ξA,  (θ±ξ)A±12fρ(SA,S)ξSA
            for every ξASĔ and AS.

            • a)

              f˜ρ(S)=1E,  (VSρ)2=V0ρ,  P±PrCl(ρ)c,
              P++P=V0ρ,  VSρCl(ρ)c,  VSρP±=±P±.

            • b) For AS,

              fρ(A,S)*=fρ(S,A)*=fρ(S,(SA)).

            • c) θ±LE(ASĔ,ASĔ) and for ηASĔ and AS,

              (θ±*η)A=12(ηA±fρ(A,S)*η(SA))=2(P±η)A.

            • d) θ±*θ± is the identity map of ASĔ.

            • e) θ±θ±*=P±.

            • f) For every AS,

              θ±VAρθ±*=VAρP±=P±VAρ=P±VAρP±.

            • g)For every closed ideal F of E the map

              φ:Cl(ρ,F)P±Cl(ρ,F)P±,Xθ±Xθ±*
              is an E-C*-isomorphism with inverse
              P±Cl(ρ,F)P±Cl(ρ,F),Yθ±*Yθ±
              and the map
              ψ:Cl(ρ,F)Cl(ρ,F)×Cl(ρ,F),Y(θ+*P+YP+θ+,θ*PYPθ)=(θ+Yθ+,θ*Yθ)
              is an E-C*-isomorphism.

            a) By Proposition 4.1.3 d),e), VSρCl(ρ)c,

            f˜ρ(S)=(1)n(2n+1)sSρ(s)*=(1)n(2n1)(sSρ(s)*)ρ(2n+1)*=1E,
            (VSρ)*=f˜ρ(S)VSρ=VSρ,  (VSρ)2=f˜(S)*V0ρ=V0ρ,
            so
            P±PrCl(ρ)c,  VSρP±=±P±.

            b) By a), Proposition 4.1.3 c),d), Proposition 4.1.1 b), and Proposition 1.1.2 b),

            fρ(A,S)*=fρ(A,S)*=fρ(A,S)*=
            =fρ(S,A)*=fρ(S,(SA))f˜ρ(S)=fρ(S,(SA)).

            c) For ξASĔ,

            θξ|η=ASηA*12ξA±ASηA*12fρ(SA,S)ξSA=
            =ASηA*12ξA±ASη(SΔA)*12fρ(A,S)ξA=
            =AS12(ηA±fρ(A,S)*η(SA))*ξA
            so θLE(ASĔ,ASĔ) and
            (θ*η)A=12(ηA±fρ(A,S)*η(SA)).
            By a) and b),
            (P±η)A=12ηA±12fρ(S,(SA))η(SA)=
            =12(ηA±fρ(A,S)*η(SA))=12(θ±*η)A.

            d) For ξASĔ and AS, by c),

            (θ±*θ±ξ)A=12((θξ)A±fρ(A,S)*(θξ)(SA))=
            =12(ξA+fρ(A,S)*fρ(A,S)ξA)=ξA.

            e) For ηASĔ and AS, by b) and c),

            (θ±θ±*η)A=12(θ±*η)A=(P±η)A,
            (θ±θ±*η)A=±12fρ(SA,S)(θ±*η)SA=
            =±12fρ(SA,S)(ηSA±fρ(SA,S)*ηA)=±12fρ(SA,S)ηSA+12ηA=
            =12(ηA±fρ(S,SA)ηSA)=12((V0ρη)A±(VSρη)A)=(P±η)A,
            so θ±θ±*=P±.

            f) For ηBSĔ and BS, by a),b),c),e) and Proposition 4.1.1 b) (and Corollary 2.1.17 e)),

            (VAρP±η)B=fρ(A,AB)(P±η)AB=fρ(A,AB)(θ±θ±*η)AB=
            =12fρ(A,AB)(θ±*η)AB=12(VAρθ±*η)B=(θ±VAρθ±*η)B,
            (θ±VAρθ±*η)B=±12fρ(SΔB,S)(VAρθ±*η)SΔB=
            =±12fρ(SB,S)fρ(A,SAB)(θ±*η)SAB=
            =±fρ(SB,S)fρ(A,SAB)(P±η)SAB=±fρ(SB,S)(VAρP±η)SB=
            =±fρ(S,SB)(VAρP±η)SB=±(VSρVAρP±η)B=
            =±(VAρVSρP±η)B=(VAρP±η)B
            so by a),
            θ±VAρθ±*=VAρP±=P±VAρP±=P±VAρ.

            g) The assertion concerning φ as well as the identity in the definition of ψ follow from a),d),e), and f). Thus φ is a surjective E-C*-homomorphism. For YKerψ,

            θ+*Yθ+=θ*Yθ=0,
            so by a) and e),
            P+Y=PY=0
            and we get
            Y=P+Y+PY=0
            i.e. ψ is injective.

            References

            1. Corneliu Constantinescu, C*-algebras. Elsevir, 2001.

            2. Corneliu Constantinescu, W*-tensor products and selfdual Hilbert right W*-modules. Rev. Roumaine Math. Pures Appl., 51: 5–6 (2006) 583–596.

            3. Corneliu Constantinescu, Selfdual Hilbert right W*-modules and their W*-tensor products. Rev. Roumaine Math. Pures Appl., 55: 3 (2010) 159–196.

            4. Corneliu Constantinescu, Axiomatic K-theory for C*-algebras. Eprint arXiv: 1311.4374, 2013

            5. and , Fundamentals of the theory of operator algebras. Academic Press, 1983–1986.

            6. Christopher E. Lance, Hilbert C*-modules. A toolkit for operator algebraist. Cambridge University Press, 1995.

            7. Issai Schur Über die Darstellung der endlichen Gruppen durch gebrochene lineare Substitutionen. J. Reine Angew. Math., 127 (1904) 20–50.

            8. Masamichi Takesaki, Theory of Operator Algebra I. Springer, 2002.

            9. . , K-theory and C*-algebras. Oxford University Press, 1993.

            Competing Interests

            The authors declare no competing interests.

            Publishing Notes

            © 2014 C. Constantinescu. This work has been published open access under Creative Commons Attribution License CC BY 4.0, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. Conditions, terms of use and publishing policy can be found at www.scienceopen.com.

            Author and article information

            Contributors
            (View ORCID Profile)
            Journal
            SOR-MATH
            ScienceOpen Research
            ScienceOpen
            2199-1006
            22 December 2014
            : 0
            : 0
            : 1-174
            Affiliations
            [1 ]Department of Mathematics, ETH Zürich, Switzerland
            Author notes
            [* ]e-mail address: constant@ 123456math.ethz.ch
            Article
            2329:XE
            10.14293/S2199-1006.1.SOR-MATH.AZGKC0.v1
            4e7a1c0b-b9c9-4388-9779-410a23cf6b21
            © 2014 C. Constantinescu.

            This work has been published open access under Creative Commons Attribution License CC BY 4.0 , which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. Conditions, terms of use and publishing policy can be found at www.scienceopen.com .

            History
            Page count
            Figures: 0, Tables: 5, References: 9, Pages: 174
            Categories
            Original article

            Mathematics
            Hilbert right C*-modules,Projective group representations,Clifford Algebras

            Comments

            Comment on this article