A Morita Context and Galois Extensions for Quasi-Hopf Algebras

If H is a finite dimensional quasi-Hopf algebra and A is a left H-module algebra, we show that there is a Morita context connecting the smash product A#H and the subalgebra of invariants A ^H . We define also Galois extensions and prove the connection with this Morita context, as in the Hopf case.     

The global dimension of L-R twisted smash products

We construct the new algebra A#H of an H-bimodule algebra A called the L-R twisted smash product, and give the duality theorem for L-R twisted smash products which extends the duality theorem for smash products given by Blattner and Montgomery. Furthermore, by using the duality theorem for L-R twisted smash products, we establish the relationship of global dimension between the H-bimodule algebra A and its L-R twisted smash product A#H.     

On Smash Products of Transitive Module Algebras

Let H be a semisimple Hopf algebra over a field of characteristic 0, and A a finite-dimensional transitive H-module algebra with a l-dimensional ideal. It is proved that the smash product A#H is isomorphic to a full matrix algebra over some right coideal subalgebra N of H. The correspondence between A and such N, and the special case A = k（X） of function algebra on a finite set X are considered.     

Homological dimension of weak Hopf�CGalois extensions

Let H be a weak Hopf algebra, A a right weak H-comodule algebra and B the subalgebra of the H-coinvariant elements of?A. Let A/B be a right weak H-Galois extension. We prove that A/B is a separable extension if H is semisimple. Using this, we show that the global dimension and weak dimension of A are less than those of?B. As an application, we obtain Maschke-type theorems for weak Hopf?CGalois extensions and weak smash products.     

Invariants of the action of a semisimple Hopf algebra on PI-algebra

We extend several classical results in the theory of invariants of finite groups to the case of action of a finite-dimensional Hopf algebra H on an algebra satisfying a polynomial identity. In particular, we prove that an H-module algebra A over an algebraically closed field k is integral over the subalgebra of invariants, if H is a semisimple and cosemisimple Hopf algebra. We show that for char k > 0, the algebra Z\({\left( A \right)^{{H_0}}}\) is integral over the subalgebra of central invariants Z(A)^H, where Z(A) is the center of algebra A, H⁰ is the coradical of H. This result allowed us to prove that the algebra A is integral over the subalgebra Z(A)^H in some special case. We also construct a counterexample to the integrality of the algebra \({A^{{H_0}}}\) over the subalgebra of invariants A^H for a pointed Hopf algebra over a field of non-zero characteristic.     

Faà di Bruno subalgebras of the Hopf algebra of planar trees from combinatorial Dyson-Schwinger equations

We consider the combinatorial Dyson-Schwinger equation X=B⁺(P(X)) in the non-commutative Connes-Kreimer Hopf algebra of planar rooted trees HNCK, where B⁺ is the operator of grafting on a root, and P a formal series. The unique solution X of this equation generates a graded subalgebra AN,P of HNCK. We describe all the formal series P such that AN,P is a Hopf subalgebra. We obtain in this way a 2-parameters family of Hopf subalgebras of HNCK, organized into three isomorphism classes: a first one, restricted to a polynomial ring in one variable; a second one, restricted to the Hopf subalgebra of ladders, isomorphic to the Hopf algebra of quasi-symmetric functions; a last (infinite) one, which gives a non-commutative version of the Faà di Bruno Hopf algebra. By taking the quotient, the last class gives an infinite set of embeddings of the Faà di Bruno algebra into the Connes-Kreimer Hopf algebra of rooted trees. Moreover, we give an embedding of the free Faà di Bruno Hopf algebra on D variables into a Hopf algebra of decorated rooted trees, together with a non-commutative version of this embedding.     

Cotorsion dimensions and Hopf algebra actions

Let H be a finite-dimensional Hopf algebra over a field k, and let A be an H-module algebra. In this paper, we discuss the cotorsion dimension of the smash product A # H. We prove that $$l.\cot .D\left( {A\# H} \right) \leqslant l.\cot .D\left( A \right) + r.D\left( H \right),$$ which generalizes the result of group rings. Moreover, we give some sufficient conditions for which $$l.\cot .D\left( {A\# H} \right) = l.\cot .D\left( A \right).$$ As applications, we study the invariants of IF properties and Gorenstein global dimensions.     

The Structure Theorem of Weak Comodule Algebras

This article mainly gives the structure theorem of weak comodule algebras, that is, assume that H is a weak Hopf algebra, and B a weak right H-comodule algebra, if there exists a morphism φ: H → B of a weak right H-comodule algebras, then there exists an algebra isomorphism: B ? B ^coH #H, where B ^coH denotes the coinvariant subalgebra of B, and B ^coH #H denotes the weak smash product.     

Homomorphisms,separable extensions,and Morita maps for weak module algebras

By using a trace one element, we give a sufficient and necessary condition for a weak module algebra A to be a projective left A#H-module, where A#H denotes the weak smash product. We also give some differentiated conditions for the weak smash product to be a separable extension on the weak module algebra A and get the weak structure theorem in the category of weak (H,A)-Hopf modules.     

On twisted smash products for bimodule algebras and the drinfeld double 1

In this paper we construct a new algebra AHof an H- bimodule algebra Aby a Hopf algebra Hand study some of its properties. The smash product, the Drinfel'd double D(H) and the Doi-Takeuchi's algebra B?,H, are all special cases of AH. Moreover,we find a necessary and sufficient condition for A Hto be a Hopf algebra and also consider the dual situation     

Maschke’s theorem for smash products of quasitriangular weak Hopf algebras

The paper is concerned with the semisimplicity of smash products of quasitriangular weak Hopf algebras. Let (H,R) be a finite dimensional quasitriangular weak Hopf algebra over a field k and A any semisimple and quantum commutative weak H-module algebra. Based on the work of Nikshych et al. (Topol. Appl. 127(1–2):91–123, 2003), we give Maschke’s theorem for smash products of quasitriangular weak Hopf algebras, stating that A#H is semisimple if and only if A is a projective left A#H-module, which extends the Theorem 3.2 given in Yang and Wang (Commun. Algebra 27(3):1165–1170, 1999).     

Invariants and rings of quotients of <Emphasis Type="Italic">H</Emphasis>-semiprime <Emphasis Type="Italic">H</Emphasis>-module algebras satisfying a polynomial identity

We consider an action of a finite-dimensional Hopf algebra H on a PI-algebra. We prove that an H-semiprime H-module algebra A has a Frobenius artinian classical ring of quotients Q, provided that A has a finite set of H-prime ideals with zero intersection. The ring of quotients Q is an H-semisimple H-module algebra and a finitely generated module over the subalgebra of central invariants. Moreover, if algebra A is a projective module of constant rank over its center, then A is integral over its subalgebra of central invariants.     

Cleft extensions of Koszul twisted Calabi–Yau algebras

Let H be a twisted Calabi–Yau (CY) Hopf algebra and σ a 2-cocycle on H. Let A be an N-Koszul twisted CY algebra such that A is a graded H^σ- module algebra. We show that the cleft extension A#_σH is also a twisted CY algebra. This result has two consequences. Firstly, the smash product of an N-Koszul twisted CY algebra with a twisted CY Hopf algebra is still a twisted CY algebra. Secondly, the cleft objects of a twisted CY Hopf algebra are all twisted CY algebras. As an application of this property, we determine which cleft objects of U(D, λ), a class of pointed Hopf algebras introduced by Andruskiewitsch and Schneider, are Calabi–Yau algebras.     

Invariants of the action of a semisimple finite-dimensional Hopf algebra on special algebras

In this paper we extend classical results of the invariant theory of finite groups to the action of a finite-dimensional semisimple Hopf algebra H on a special algebra A, which is homomorphically mapped onto a commutative integral domain, and the kernel of this map contains no nonzero H-stable ideals. We prove that the algebra A is finitely generated as a module over a subalgebra of invariants, and the latter is finitely generated as a k-algebra. We give a counterexample to the finite generation of a non-semisimple Hopf algebra.     

Twisted Smash Products and L-R Smash Products for Biquasimodule Hopf Quasigroups

We consider two new algebras from an H-biquasimodule algebra A and a Hopf quasigroup H: twisted smash product A ? H and L-R smash product A?H, and find necessary and sufficient conditions for making them Hopf quasigroups. We generalize the main results in Brzeziński and Jiao [5] and Klim and Majid [9]. Moreover, if H is a cocommutative Hopf quasigroup, we prove that A ? H is isomorphic to A?H as Hopf quasigroups.     

Planar algebra of the subgroup-subfactor

We give an identification between the planar algebra of the subgroupsubfactor R ⋊ H ⊂ R ⋊ G and the G-invariant planar subalgebra of the planar algebra of the bipartite graph ★ _n , where n = [G: H]. The crucial step in this identification is an exhibition of a model for the basic construction tower, and thereafter of the standard invariant of R ⋊ H ⊂ R ⋊ G in terms of operator matrices. We also obtain an identification between the planar algebra of the fixed algebra subfactor R ^G ⊂ R ^H and the G-invariant planar subalgebra of the planar algebra of the ‘flip’ of ★ _n .     

A class of non-nilpotent 2-solvable n-Lie algebras

This article concerns a class of finite-dimensional minimal non-nilpotent 2-solvable n-Lie algebras. It is shown that if L is a finite-dimensional minimal non-nilpotent 2-solvable n-Lie algebra, then L can be decomposed into a semi-direct of an ideal A and an (n ? 1)-dimensional subalgebra H ₀ of L. Furthermore, H ₀ acts irreducibly on A/A ¹, and H ₀ + A ¹ is a self-normalizing maximal subalgebra of L with the core A ¹, the derived algebra of A.     

On outer elements of noncommutative Orlicz–Hardy spaces

Let M be a von Neumann algebra equipped with a faithful normal tracial state τ, A be a subdiagonal subalgebra of M, and let Φ be a growth function. We transfer the results of Studia Math. 217, No. 3, 265–287 (2013) to the noncommutative H^Φ(A) space case.     

Representation theory of Hopf galois extensions

LetH be a Hopf algebra over the fieldk andB ⊂A a right faithfully flat rightH-Galois extension. The aim of this paper is to study some questions of representation theory connected with the ring extensionB ⊂A, such as induction and restriction of simple or indecomposable modules. In particular, generalizations are given of classical results of Clifford, Green and Blattner on representations of groups and Lie algebras. The stabilizer of a leftB-module is introduced as a subcoalgebra ofH. Very often the stabilizer is a Hopf subalgebra. The special case whenA is a finite dimensional cocommutative Hopf algebra over an algebraically closed field,B is a normal Hopf subalgebra andH is the quotient Hopf algebra was studied before by Voigt using the language of finite group schemes.     

Smash coproduct and braided groups in braided monoidal category

A smash coproduct in braided monoidal category C is constructed and some conditions making the smash coproduct a Hopf algebra or braided Hopf algebra are given. It is shown that the smash coproductB ×H in ^HM is equivalent to the transmutation of Hopf algebra. Thus a method for transmutation theory is provided. Let σ be 2-co-cycle andH a commutation Hopf algebra. A Hopf algebraHσ is constructed.Hσ?Hσ whereHσ is a transmutation ofHσ. The braided groups from some solutions of quantum Yang-Baxter equation are obtained.