1,422
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)*α2