Multiplier Hopf algebras of discrete type (Q1291072)

The multiplier algebra \(M(A)\) of an algebra \(A\) over \(\mathbb{C}\) (where \(A\) need not have an identity, but the product is nondegenerate), is the set of pairs of maps \((f,g)\), \(f,g\) in \(\text{End }A\) such that \(g(a)b=af(b)\) for all \(a,b\) in \(A\). A multiplier Hopf algebra \((A,\Delta)\) has \(\Delta\colon A\to M(A\otimes A)\) satisfying certain conditions. A left cointegral in such an \(A\) is an element \(h\) in \(A\) with \(ah=\varepsilon(a)h\) for all \(a\) in \(A\), where \(\varepsilon\) is the counit of \(A\). The authors show that the dimension of the space of cointegrals is \(\leq 1\), and that non-zero cointegrals are faithful, i.e., if \((I\otimes f)\Delta h=0\), then \(f=0\) for \(f\) in \(A^*\). They also show that if \(A\) has a non-zero left cointegral, then it also has a non-zero integral \(f\) in \(A^*\), i.e., \((I\otimes f)\Delta a=f(c)1\) for all \(a\) in \(A\), where the property is to be considered in \(M(A)\). They obtain various necessary and sufficient conditions on an algebra \(A\) for a multiplier Hopf algebra \((A,\Delta)\) to have non-zero cointegrals. The algebras turn out to be Frobenius, quasi-Frobenius and Kasch.