Related papers: Reflections on the Larson-Sweedler theorem for (we…

Any finite-dimensional Hopf algebra has a left and a right integral. Conversely, Larsen and Sweedler showed that, if a finite-dimensional algebra with identity and a comultiplication with counit has a faithful left integral, it has to be a…

The Larson-Sweedler theorem says that a finite-dimensional bialgebra with a faithful integral is a Hopf algebra. The result has been generalized to finite-dimensional weak Hopf algebras by Vecserny\'es. In this paper, we show that the…

A weak multiplier Hopf algebra is a pair (A,\Delta) of a non-degenerate idempotent algebra A and a coproduct $\Delta$ on A. The coproduct is a coassociative homomorphism from A to the multiplier algebra M(A\otimes A) with some natural extra…

Let $A$ be a non-degenerate algebra over the complex numbers and $\Delta$ a homomorphism from $A$ to the multiplier algebra $M(A\otimes A)$. Consider the linear maps $T_1$ and $T_2$ from $A\otimes A$ to $M(A\otimes A)$ defined by…

Let $(A,\Delta)$ be a weak multiplier Hopf algebra. It is a pair of a non-degenerate algebra $A$, with or without identity, and a coproduct $\Delta$ on $A$, satisfying certain properties. The main difference with multiplier Hopf algebras is…

In [1] a new notion of Hopf algebroid has been introduced. It was shown to be inequivalent to the structure introduced under the same name in [17]. We review this new notion of Hopf algebroid. We prove that two Hopf algebroids are…

We extend the Larson-Sweedler theorem to weak Hopf algebras by proving that a finite dimensional weak bialgebra is a weak Hopf algebra iff it possesses a non-degenerate left integral. We show that the category of modules over a weak Hopf…

In this paper, we introduce and study the notion of cointegrals in a weak multiplier Hopf algebras $(A, \Delta)$. A cointegral is a non-zero element $h$ in the multiplier algebra $M(A)$ such that $ah=\v_t(a)h$ for any $a\in A$. When $A$ has…

Let $G$ be a {\it finite group}. Consider the algebra $A$ of all complex functions on G (with pointwise product). Define a coproduct $\Delta$ on A by $\Delta(f)(p,q)=f(pq)$ where $f\in A$ and $p,q\in G$. Then $(A,\Delta)$ is a Hopf algebra.…

Let A be a finite dimensional unital associative algebra over a field K, which is also equipped with a coassociative counital coalgebra structure (\Delta,\eps). A is called a Weak Bialgebra if the coproduct \Delta is multiplicative. We do…

Multiplier Hopf algebroids are algebraic versions of quantum groupoids that generalize Hopf algebroids to the non-unital case and weak (multiplier) Hopf algebras to non-separable base algebras. The main structure maps of a multiplier Hopf…

The aim of this paper is to extend the classical Larson-Sweedler theorem, namely that a k-bialgebra has a non-singular integral (and in particular is Frobenius) if and only if it is a finite dimensional Hopf algebra, to the `many-object'…

A condition is identified which guarantees that the coinvariants of a coaction of a Hopf algebra on an algebra form a subalgebra, even though the coaction may fail to be an algebra homomorphism. A Hilbert Theorem (finite generation of the…

Let $A$ be a multiplier Hopf coquasigroup. If the faithful integrals exist, then they are unique up to scalar. Furthermore, if $A$ is of discrete type, then its integral duality $\widehat{A}$ is a Hopf quasigroup, and the biduality…

A well-known result by Larson and Sweedler shows that integrals on a Hopf algebra can be obtained by applying the Structure Theorem for Hopf modules to the rational part of its linear dual. This fact can be rephrased by saying that taking…

Let $(A,\Delta)$ be a regular weak multiplier Hopf algebra. Denote by $E$ the canonical idempotent of $(A,\Delta)$ and by $B$ the image of the source map. Recall that $B$ is a non-degenerate algebra, sitting nicely in the multiplier algebra…

Let $B$ and $C$ be non-degenerate idempotent algebras and assume that $E$ is a regular separability idempotent in $M(B\otimes C)$. Define $A=C\otimes B$ and $\Delta:A\to M(A\otimes A)$ by $\Delta(c\otimes b)=c\otimes E\otimes b$. The pair…

It is well-known that any weak Hopf algebra gives rise to a Hopf algebroid. Moreover it is possible to characterize those Hopf algebroids that arise in this way. Recently, the notion of a weak Hopf algebra has been extended to the case of…

The incidence algebra of a partially ordered set (poset) supports in a natural way also a coalgebra structure, so that it becomes a m-weak bialgebra even a m-weak Hopf algebra with M\"obius function as antipode. Here m-weak means that…

In this paper we present the Sweedler cohomology for a cocommutative weak Hopf algebra H. We show that the second cohomology group classifies completely the weak crossed products, having a common preunit, of H with a commutative left…