Structure Theorems for Bicomodule Algebras Over Quasi-Hopf Algebras,Weak Hopf Algebras,and Braided Hopf Algebras

Let H be a quasi-Hopf algebra, a weak Hopf algebra, or a braided Hopf algebra. Let B be an H-bicomodule algebra such that there exists a morphism of H-bicomodule algebras v: H → B. Then we can define an object B^co(H), which is a left-left Yetter–Drinfeld module over H, having extra properties that allow to make a smash product B^co(H)#H, which is an H-bicomodule algebra, isomorphic to B.     

A proof that commutative artinian rings are noetherian

Abstract

Integrals in Hopf algebras are an essential tool in studying finite dimensional Hopf algebras and their action on rings. Over fields it has been shown by Sweedler that the existence of integrals in a Hopf algebra is equivalent to the Hopf algebra being finite dimensional. In this paper we examine how much of this is true Hopf algebras over rings. We show that over any commutative ring R that is not a field there exists a Hopf algebra H over R containing a non-zero integral but not being finitely generated as R-module. On the contrary we show that Sweedler's equivalence is still valid for free Hopf algebras or projective Hopf algebras over integral domains. Analogously for a left H-module algebra A we study the influence of non-zero left A#H-linear maps from A to A#H on H being finitely generated as R-module. Examples and application to separability are given.     

A Generalized Drinfeld Quantum Double Construction Based on Weak Hopf Algebras

Let B and H be weak Hopf algebras with bijective antipodes S _B and S _H , respectively. Based on a compatible weak Hopf dual pairing (B, H, σ), we construct a generalized Drinfeld quantum double 𝔻(B, H) which is a weak T-coalgebra over a twisted semi-direct square of groups. In particular, when B and H are finite dimensional and the above pairing map σ is nondegenerate, 𝔻(B, H) admits a nontrivial quasitriangular structure. Some explicit examples are given as an application of our theory.     

A maschke type theorem for weak Hopf algebras

In this paper, we give a necessary and sufficient condition for a comodule algebra over a weak Hopf algebra to have a total integral, thus extending the classical theory developed by Doi in the Hopf algebra setting. Also, from these results, we deduce a version of Maschke＇s Theorem for （H, B）-Hopf modules associated with a weak Hopf algebra H and a right H-comodule algebra B.     

Cyclic Homology of Hopf Comodule Algebras and Hopf Module Coalgebras

Abstract

In this paper we construct a cylindrical module A ? ? for an ?-comodule algebra A, where the antipode of the Hopf algebra ? is bijective. We show that the cyclic module associated to the diagonal of A ? ? is isomorphic with the cyclic module of the crossed product algebra A ? ?. This enables us to derive a spectral sequence for the cyclic homology of the crossed product algebra. We also construct a cocylindrical module for Hopf module coalgebras and establish a similar spectral sequence to compute the cyclic cohomology of crossed product coalgebras.     

Faithfully Flat Hopf Bi-Galois Extensions

This article is devoted to faithfully flat Hopf bi-Galois extensions defined by Fischman, Montgomery, and Schneider. Let H be a Hopf algebra with bijective antipode. Given a faithfully flat right H-Galois extension A/R and a right H-comodule subalgebra C ? A such that A is faithfully flat over C, we provide necessary and sufficient conditions for the existence of a Hopf algebra W so that A/C is a left W-Galois extension and A a (W, H)-bicomodule algebra. As a consequence, we prove that if R = k, there is a Hopf algebra W such that A/C is a left W-Galois extension and A a (W, H)-bicomodule algebra if and only if C is an H-submodule of A with respect to the Miyashita–Ulbrich action.     

Solvability of universal bol 2-loops

ABSTRACT

Let (A, ^?) be a structurable algebra. Then the opposite algebra (A ^op , ^?) is structurable, and we show that the triple system B ^op _A(x, y, z):=V^opx,y(z)=x(y¯z)+z(y¯x)?y(x¯z), x, y, z ∈ A, is a Kantor triple system (or generalized Jordan triple system of the second order) satisfying the condition (A). Furthermore, if A=𝔸₁?𝔸₂ denotes tensor products of composition algebras, (^?) is the standard conjugation, and (^∧) denotes a certain pseudoconjugation on A, we show that the triple systems B ^op _𝔸1?𝔸2 ( x , y¯^∧, z) are models of compact Kantor triple systems. Moreover these triple systems are simple if (dim𝔸₁, dim𝔸₂) ≠ (2, 2). In addition, we obtain an explicit formula for the canonical trace form for compact Kantor triple systems defined on tensor products of composition algebras.     

Maschke Type Theorems for Nonassociative Hopf Algebras

In this article, we give necessary and sufficient conditions for a possibly nonassociative comodule algebra over a nonassociative Hopf algebra to have a total integral, thus extending the classical theory developed by Doi in the associative setting. Also, from this result we deduce a version of Maschke's Theorems and the consequent characterization of projectives for (H, B)-Hopf triples associated with a nonassociative Hopf algebra H and a nonassociative right H-comodule algebra B.     

Doi–Hopf Modules Associated to Comodule Coalgebras

To any right comodule coalgebra C over a Hopf algebra H we associate a left H-comodule algebra A. Under certain conditions, in particular in the case where H has nonzero integrals, we show that the category of right C, H-comodules is isomorphic to a certain subcategory of the category of Doi–Hopf modules associated to A. As an application, we investigate the connection between C and the smash coproduct C ? H being right semiperfect.     

Finite dimensional Nichols algebras over certain p-groups

We investigate pointed Hopf algebras over finite nilpotent groups of odd order, with nilpotency class 2. For such a group G, we show that if its commutator subgroup coincides with its center, then there exists no non-trivial finite-dimensional pointed Hopf algebra with kG as its coradical. We apply these results to non-abelian groups of order p³, p⁴ and p⁵, and list all the pointed Hopf algebras of order p⁶, whose group of grouplikes is non-abelian.     

The Hopf Algebra of Fliess Operators and Its Dual Pre-lie Algebra

We study the Hopf algebra H of Fliess operators coming from Control Theory in the one-dimensional case. We prove that it admits a graded, finite-dimensional, connected grading. Dually, the vector space ? ? x ₀, x ₁ ? is both a pre-Lie algebra for the pre-Lie product dual of the coproduct of H, and an associative, commutative algebra for the shuffle product. These two structures admit a compatibility which makes ? ? x ₀, x ₁ ? a Com-Pre-Lie algebra. We give a presentation of this object as a pre-Lie algebra.     

On the Antipode of a Co-Frobenius (Co)Quasitriangular Hopf Algebra

For H a quasitriangular Hopf algebra, S ², the square of the antipode is the inner automorphism induced by the Drinfeld element u, and S ⁴ is the inner automorphism induced by the grouplike element g = uS(u)^?1. For H finite dimensional, results of Drinfeld and Radford express g in terms of the modular elements of H. This note supplies another proof which replaces the requirement of finite dimensionality with existence of a nonzero integral for H in H*. Similar results hold for the infinite dimensional coquasitriangular case; here we supply some interesting examples.     

Formally Real Involutions on Central Simple Algebras

An involution # on an associative ring R is formally real if a sum of nonzero elements of the form r ^# r where r ? R is nonzero. Suppose that R is a central simple algebra (i.e., R = M _n (D) for some integer n and central division algebra D) and # is an involution on R of the form r ^# = a ^?1 r? a, where ? is some transpose involution on R and a is an invertible matrix such that a? = ±a. In Section 1 we characterize formal reality of # in terms of a and ?| _D . In later sections we apply this result to the study of formal reality of involutions on crossed product division algebras. We can characterize involutions on D = (K/F, Φ) that extend to a formally real involution on the split algebra D ? _F K ? M _n (K). Every such involution is formally real but we show that there exist formally real involutions on D which are not of this form. In particular, there exists a formally real involution # for which the hermitian trace form x ? tr(x ^# x) is not positive semidefinite.     

On Galois Algebras Satisfying the Fundamental Theorem

Let B be a Galois algebra over a commutative ring R with Galois group G such that B ^H is a separable subalgebra of B for each subgroup H of G. Then it is shown that B satisfies the fundamental theorem if and only if B is one of the following three types: (1) B is an indecomposable commutative Galois algebra, (2) B = Re ⊕ R(1 ? e) where e and 1 ? e are minimal central idempotents in B, and (3) B is an indecomposable Galois algebra such that for each separable subalgebra A, V _B (A) = ?∑ _g∈G(A) J _g , and the centers of A and B ^G(A) are the same where V _B (A) is the commutator subring of A in B, J _g  = {b ∈ B | bx = g(x)b for each x ∈ B} for a g ∈ G, and G(A) = {g ∈ G | g(a) = a for all a ∈ A}.     

Isotopy and invariants of Albert algebras

Let k be a field with characteristic different from 2 and 3. Let B be a central simple algebra of degree 3 over a quadratic extension K/k, which admits involutions of second kind. In this paper, we prove that if the Albert algebras and have same and invariants, then they are isotopic. We prove that for a given Albert algebra J, there exists an Albert algebra J' with , and . We conclude with a construction of Albert division algebras, which are pure second Tits' constructions. Received: December 9, 1997.     

Doi–Hopf Modules and Yetter–Drinfeld Modules for Quasi-Hopf Algebras

For a quasi-Hopf algebra H, a left H-comodule algebra  and a right H-module coalgebra C we will characterize the category of Doi–Hopf modules ^C ?(H) in terms of modules. We will also show that for an H-bicomodule algebra  and an H-bimodule coalgebra C the category of generalized Yetter–Drinfeld modules (H) ^C is isomorphic to a certain category of Doi–Hopf modules. Using this isomorphism we will transport the properties from the category of Doi–Hopf modules to the category of generalized Yetter–Drinfeld modules.     

Smash Products of H-Simple Module Algebras

Let H be a finite-dimensional Hopf algebra and A a finite-dimensional H-simple left H-module algebra. We show that the smash product A#H is isomorphic to End _A′(V ? H*), where V ≠ 0 is a finite-dimensional left A-module and (A′, V′) the stabilizer of (A, V). As an application it is proved that A#H is isomorphic to a full matrix algebra over A′ when H is semisimple and dim V|dim A.