 map $T^*:X\rightarrow X$ such that $\langle Tx, y\rangle_A=\langle x, T^*y\rangle_A$ for each $x,y\in X$. Every adjointable operator $T$ is automatically linear and continuous, and the adjoint $T^*$ is unique. The collection of adjointable operators on $X$, denoted by $\mathcal{L}_A(X)$, equipped with the operator norm is a $C^*$-algebra. For each $x,y\in X$ there is an adjointable operator $\Theta_{x,y}\in \mathcal{L}_A(X)$ defined by $\Theta_{x,y}(z)=x\cdot \langle y, z\rangle_A$. We call operators of this form (generalised) rank-one operators. The closed subspace $\mathcal{K}_A(X):={\overline{\mathrm{span}}}\{\Theta_{x,y}:x,y\in X\}$ is an essential ideal of $\mathcal{L}_A(X)$, whose elements we refer to as (generalised) compact operators.

A (right) Hilbert $B$–$A$-bimodule is a (right) Hilbert $A$-module $X$ together with a $*$-homomorphism $\phi:B\rightarrow \mathcal{L}_A(X)$. When $A=B$, we say that $X$ is a Hilbert $A$-bimodule. We think of $\phi$ as implementing a left action of $B$ on $X$, and frequently write $b\cdot x$ for $\phi(b)(x)$. Since each $\phi(b)\in \mathcal{L}_A(X)$ is $A$-linear, we have that $b\cdot (x\cdot a)=(b\cdot x)\cdot a$ for each $a\in A$, $b\in B$, and $x\in X$.

An important example is the Hilbert $A$-bimodule ${}_A A_A$, which is just the set $A$ equipped with the inner product given by $\langle a,b\rangle_A=a^*b$ and left and right actions of $A$ given by multiplication. Then $\mathcal{K}_A({}_A A_A)$ is isomorphic to $A$ via the map $\Theta_{a,b}\mapsto ab^*$, whilst $\mathcal{L}_A({}_
map $ T^*:X\rightarrow X$ such that $ \langle Tx, y\rangle_A=\langle x, T^*y\rangle_A$ for each $ x, y\in X$. Every adjointable operator $ T$ is automatically linear and continuous, and the adjoint $ T^*$ is unique. The solicitation of adjointable operator on $ X$, denoted by $ \mathcal{L}_A(X)$, equipped with the hustler norm is a $ C^*$-algebra. For each $ x, y\in X$ there be an adjointable operator $ \Theta_{x, y}\in \mathcal{L}_A(X)$ defined by $ \Theta_{x, y}(z)=x\cdot \langle y, z\rangle_A$. We bid operators of this form (generalized) membership - one operators. The shut subspace $ \mathcal{K}_A(X):={\overline{\mathrm{span}}}\{\Theta_{x, y}:x, y\in X\}$ is an essential ideal of $ \mathcal{L}_A(X)$, whose elements we refer to as (generalised) compendious operators. 

 A (right) Hilbert $ B$–$A$-bimodule is a (right) Hilbert $ A$ -module $ X$ in concert with a $ * $ -homomorphism $ \phi: B\rightarrow \mathcal{L}_A(X)$. When $ A = B$, we allege that $ X$ is a Hilbert $ A$ -bimodule. We think of $ \phi$ as implementing a left action of $ B$ on $ X$, and frequently spell $ b\cdot x$ for $ \phi(b)(x)$. Since each $ \phi(b)\in \mathcal{L}_A(X)$ is $ A$ -linear, we have that $ b\cdot (x\cdot a)=(b\cdot x)\cdot a$ for each $ a\in A$, $ b\in B$, and $ x\in X$. 

 An important example is the Hilbert $ A$ -bimodule $ { } _ A A_A$, which is merely the set $ A$ equipped with the inner product given by $ \langle a, b\rangle_A = a^*b$ and leave and right actions of $ A$ given by multiplication. Then $ \mathcal{K}_A({}_A A_A)$ is isomorphic to $ A$ via the function $ \Theta_{a, b}\mapsto ab^*$, whilst $ \mathcal{L}_A ({ } _
 mao $T^*:X\rightarrow X$ such thxt $\langle Tx, y\rcbgle_A=\lengle x, T^*y\rangld_A$ for each $x,y\in X$. Every adjlibtablt operator $T$ is autumaticallj linear qnd rontinuous, and tis adjoikc $T^*$ ia unixne. The collectipn of adjohntable operatmrr ln $X$, denoted by $\mathcal{L}_A(X)$, equipped with tne operator norm is s $C^*$-alfvbva. For each $x,y\in X$ there is an asjointaule operator $\Thrta_{x,y}\in \mathcal{L}_A(X)$ defined by $\Hheta_{x,y}(z)=x\cdot \langpe y, z\ranglg_Z$. Wq call operaturs of this form (generzlised) rank-one operators. The clused xubspace $\mqtycap{N}_A(X):={\overline{\nathri{span}}}\{\Theta_{x,y}:w,j\in X\}$ iv an esxential ideal pf $\katycal{L}_A(X)$, whose elementv we refer to as (ggneralised) ckmpact operators.

A (rught) Vilbart $C$–$Q$-bioodhlx ia a (rihht) Hilbert $A$-jodule $X$ totether with a $*$-homompr[yism $\phi:B\righfarrow \mwthcal{L}_A(X)$. When $A=B$, we say that $X$ is a Hinbedt $A$-bimodule. We think od $\phi$ as implementing a left astion of $B$ on $X$, and frequently write $b\cdot x$ for $\[hi(b)(x)$. Rinec dqcj $\phi(b)\in \mathcal{L}_A(X)$ is $A$-linear, we have that $b\ssou (x\bdot a)=(b\cdot x)\cdot a$ for each $a\ln W$, $b\in B$, and $x\kn X$.

An imlortant example is the Hijbert $A$-bimodult ${}_A A_S$, which is just the set $A$ ewuipped with rhe inner product yiven by $\lanyle a,b\tangle_S=a^*b$ and left and right cctiona of $A$ givej by multjolication. Then $\mxthbal{K}_D({}_A A_A)$ is isomorphic to $A$ vya the ma' $\Theca_{a,b}\mapsgo an^*$, whilft $\mathcal{P}_A({}_
map $T^*:X\rightarrow X$ such that $\langle Tx, T^*y\rangle_A$ each $x,y\in Every adjointable operator continuous, the adjoint $T^*$ unique. The collection adjointable operators on $X$, denoted by equipped with the operator norm is a $C^*$-algebra. For each $x,y\in X$ there an adjointable operator $\Theta_{x,y}\in \mathcal{L}_A(X)$ defined by $\Theta_{x,y}(z)=x\cdot \langle y, z\rangle_A$. We call of form rank-one The closed subspace $\mathcal{K}_A(X):={\overline{\mathrm{span}}}\{\Theta_{x,y}:x,y\in X\}$ is an essential ideal of $\mathcal{L}_A(X)$, whose elements we refer to (generalised) compact operators. A (right) Hilbert $B$–$A$-bimodule is (right) Hilbert $A$-module $X$ with a $*$-homomorphism $\phi:B\rightarrow \mathcal{L}_A(X)$. $A=B$, say that is Hilbert We think of as implementing a left action of $B$ on $X$, and frequently write $b\cdot x$ for $\phi(b)(x)$. Since $\phi(b)\in \mathcal{L}_A(X)$ we have $b\cdot a)=(b\cdot a$ for each $b\in B$, and $x\in X$. An the Hilbert $A$-bimodule ${}_A A_A$, which is just set $A$ with the inner product given by a,b\rangle_A=a^*b$ and left and right actions of $A$ by multiplication. Then $\mathcal{K}_A({}_A A_A)$ is isomorphic to $A$ via the map $\Theta_{a,b}\mapsto ab^*$, whilst
 map $T^*:X\rightarrow X$ such that $\lAngle Tx, y\raNgle_A=\LanGle X, T^*Y\ranGle_A$ For each $x,y\in X$. EvERy adJointable operator $T$ is auTomatIcALly lINeAr and ContinuOUs, AND thE aDjOinT $T^*$ IS uNique. the CollectIon of adjoiNtaBlE operators on $x$, DeNoted by $\matHcaL{L}_A(X)$, equipped WitH the opErAtoR Norm iS a $C^*$-AlgebRa. For eACh $x,y\in x$ there is aN aDJointaBLe operaTOR $\THeta_{X,y}\in \mathcal{L}_A(X)$ defINeD By $\Theta_{x,y}(z)=x\cdoT \langlE y, Z\RaNGLe_A$. we cAll operatoRs Of thiS Form (genERaLISEd) rANk-one operatorS. The closed sUBspAce $\matHcAl{K}_a(x):={\overlIne{\maThRM{spAn}}}\{\Theta_{x,y}:x,y\In X\}$ iS an essentIal ideAL of $\mathCAl{L}_A(X)$, whOse eleMenTs wE refER tO aS (geNeRAliSEd) ComPAct OperatorS.

A (RiGht) HiLberT $b$–$a$-BImodUle Is a (rIght) HIlbert $A$-module $x$ toGethER wiTh a $*$-hoMomorPhisM $\pHi:B\riGhtarrOw \matHcAl{L}_A(X)$. When $A=B$, we saY thaT $X$ is a HilbErt $a$-bImoDuLe. We tHInk of $\pHi$ aS imPlementIng a lefT ActIoN OF $b$ oN $X$, and frequently wriTe $B\CDoT x$ for $\phi(B)(x)$. SincE EaCh $\PHi(b)\in \matHcAl{L}_a(X)$ is $a$-LInear, We haVE tHat $b\cdot (X\cdot a)=(B\CdOt X)\cdot a$ fOr Each $a\iN A$, $B\in b$, anD $x\in X$.

aN impOrtant Example iS the HILbert $A$-bimodule ${}_a a_A$, which is just THe SET $A$ EQuipPed With the inneR proDUct gIven BY $\lAngLE a,b\raNgle_A=A^*b$ ANd LEft and right actions oF $A$ Given bY multIplication. TheN $\mathcal{K}_A({}_a a_a)$ Is isomorPhic TO $A$ VIa the map $\Theta_{a,B}\mapsTo ab^*$, whilst $\MAthcal{L}_A({}_
 map $T^*:X\rightarrow X$such that$\lan gle  Tx ,y\ra ngle _A=\langle x,T ^*y\ rangle_A$ for each $x, y\inX$ .  Eve r yadjoi ntableo pe r a tor  $ T$  is  a u to matic all y linea r and cont inu ou s, and the a d jo int $T^*$isunique. Thecol lectio nofa djoin tab le op erator s  on $X $, denote db y $\ma t hcal{L} _ A (X )$,equipped with the op e rator norm isa $C^* $- a lg e b ra.  Fo r each $x, y\ in X$ there i s  a n a djo i ntable operat or $\Theta_ { x,y }\in \ ma thc a l{L}_A (X)$de f ine d by $\Thet a_{x ,y}(z)=x\ cdot \ l angle y ,  z\rang le_A$.  We  ca ll o p er at ors  o f  th i sfor m  (g eneralis ed )rank- oneo p e r ator s.Theclose d subspace $\ mat hcal { K}_ A(X): ={\ov erli ne {\mat hrm{sp an}}} \{ \Theta_{x,y}:x, y\in  X\}$ isanes sen ti al id e al of$\m ath cal{L}_ A(X)$,w hos ee l e me nts we refer to as  ( g e ne ralised)  compa c top e rators.
A  (r ight ) Hilbe rt $ B $– $A$-bimo dule i s  a  ( right)Hi lbert$A $-m odu le $X $  tog etherwith a $ *$-ho m omorphism $\ph i :B\rightarrow \m a t hc a l{L} _A( X)$. When $ A=B$ ,  wesayt ha t $ X $ isa Hil be r t$ A$-bimodule. We thi nk  of $\ phi$as implementi ng a lefta c t ion of $ B$ o n  $ X $, and frequen tly w rite $b\cd o t x$ for  $\ph i(b)(x)$ . Since e a c h $\phi( b)\ in\ma thc a l {L }_A(X)$ is $A $ - line ar , we ha vethat $b \cd ot(x\ cdo ta)=(b\cdo t x)\cdo ta$  f or  ea ch $a \ in A$, $ b\ inB$ , a nd $x \ in X$. 

Animpo rt an t  ex ample i s  t h e  Hil be rt  $A$ -bi mo dule${}_ A  A_ A$, whi ch is jus t t h e se t$A $ equip ped with thein ner produc tgiv en by$ \ langle a ,b\rangle_A=a^*b$ and l e ft andrig ht ac tion s of $A$giv en bymul t iplica tion.Then$\ mat h c al{K} _ A ({ }_A  A _A)$ is is o m orp hic t o$A$via the  map $\Theta_{a,b} \ map sto ab^*$, wh ils t $\ m a th cal { L} _ A({ }_ 
 map_$T^*:X\rightarrow X$_such that $\langle Tx,_y\rangle_A=\langle x,_T^*y\rangle_A$_for each_$x,y\in_X$. Every adjointable_operator $T$ is_automatically linear and continuous,_and the adjoint_$T^*$_is unique. The collection of adjointable operators on $X$, denoted by $\mathcal{L}_A(X)$, equipped with_the_operator norm_is_a_$C^*$-algebra. For each $x,y\in X$_there is an adjointable operator_$\Theta_{x,y}\in \mathcal{L}_A(X)$_defined by $\Theta_{x,y}(z)=x\cdot \langle y, z\rangle_A$. We call_operators_of this form_(generalised) rank-one operators. The closed subspace $\mathcal{K}_A(X):={\overline{\mathrm{span}}}\{\Theta_{x,y}:x,y\in X\}$ is_an essential ideal of $\mathcal{L}_A(X)$, whose_elements we refer_to_as_(generalised) compact operators.

A (right)_Hilbert $B$–$A$-bimodule is a (right) Hilbert_$A$-module $X$ together with a $*$-homomorphism_$\phi:B\rightarrow \mathcal{L}_A(X)$. When $A=B$, we say that_$X$ is a Hilbert $A$-bimodule. We_think of $\phi$ as implementing_a left_action of $B$ on $X$,_and frequently write_$b\cdot x$_for $\phi(b)(x)$. Since_each $\phi(b)\in \mathcal{L}_A(X)$ is $A$-linear, we_have that $b\cdot_(x\cdot a)=(b\cdot x)\cdot a$ for each_$a\in_A$, $b\in B$,_and_$x\in_X$.

An important_example is the_Hilbert_$A$-bimodule ${}_A_A_A$,_which is just the set $A$_equipped_with the inner product given by $\langle_a,b\rangle_A=a^*b$ and left and_right_actions of $A$ given_by multiplication. Then $\mathcal{K}_A({}_A A_A)$_is isomorphic to $A$ via the_map $\Theta_{a,b}\mapsto_ab^*$, whilst_$\mathcal{L}_A({}_