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.     

THE DIMENSION OF IRREDUCIBLE MODULES FOR TRANSITIVE MODULE ALGEBRAS

We prove that for a semisimple Hopf algebra H, if A is a transitive H-module algebra and M is an irreducible A-module, then dim(A) divides dim(M)²dim(H).

     

Relations Between Algebras and Their Subalgebras of Invariants

We prove that, if H is a finite-dimensional semisimple Hopf algebra, and A is an FCR H-module algebra over an algebraically closed field, then A is a PI-algebra, provided the subalgebra of invariants is a PI-algebra. We also show that if A is an affine algebra with an action of a finite group G by automorphisms, the subalgebra of the fixed points A^G is in the center of A, and the characteristic of the ground field is either zero or relatively prime to the order of G, then A^G is affine. Analogous results are proved for graded algebras and H-module algebras over a semisimple triangular Hopf algebra over a field of characteristic zero. We prove also that, if A is an H-module algebra with an identity element, and H is either a semisimple group algebra or its dual, then, if A is semiprimitive (semiprime), then so is A^H.     

Azumaya Extensions and Galois Correspondence

For H a finite-dimensional Hopf algebra over a field k, we study H*-Galois Azumaya extensions A, i.e., A is an H-module algebra which is H*-Galois with A/A^H separable and A^H Azumaya. We prove that there is a Galois correspondence between a set of separable subalgebras of A and a set of separable subalgebras of C_A(A^H), thus generalizing the work of Alfaro and Szeto for H a group algebra. We also study Galois bases and Hirata systems.1991 Mathematics Subject Classification: 16W30, 16H05     

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.     

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.     

REPRESENTATIONS OF A CLASS OF DRINFELD'S DOUBLES

Let k be a field and A_n(ω) be the Taft's n²-dimensional Hopf algebra. When n is odd, the Drinfeld quantum double D(A_n(ω)) of A_n(ω) is a ribbon Hopf algebra. In the previous articles, we constructed an n₄-dimensional Hopf algebra H_n(p, q) which is isomorphic to D(A_n(ω)) if p ≠ 0 and q = ω^?1 , and studied the irreducible representations of H_n(1, q) and the finite dimensional representations of H₃(1, q). In this article, we examine the finite-dimensional representations of H_n(l q), equivalently, of D(A_n(ω)) for any n ≥ 2. We investigate the indecomposable left H_n(1, q)-module, and describe the structures and properties of all indecomposable modules and classify them when k is algebraically closed. We also give all almost split sequences in mod H_n(1, q), and the Auslander-Reiten-quiver of H_n(1 q).     

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.     

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.     

The complexity of crossed products

Let H be a finite-dimensional Hopf algebra, let A be a finite-dimensional algebra measured by H, and let A # _σ H be a crossed product. In this paper, we first show that if H is semisimple as well as its dual H*, then the complexity of A # _σ H is equal to that of A. Furthermore, we prove that the complexity of a finite-dimensional Hopf algebra H is equal to the complexity of the trivial module _H k. As an application, we prove that the complexity of Sweedler’s 4-dimensional Hopf algebra H ₄ is equal to 1.     

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.     

An Algebraic Framework for Group Duality

A Hopf algebra is a pair (A, Δ) whereAis an associative algebra with identity andΔa homomorphism formAtoA⊗Asatisfying certain conditions. If we drop the assumption thatAhas an identity and if we allowΔto have values in the so-called multiplier algebraM(A⊗A), we get a natural extension of the notion of a Hopf algebra. We call this a multiplier Hopf algebra. The motivating example is the algebra of complex functions with finite support on a group with the comultiplication defined as dual to the product in the group. Also for these multiplier Hopf algebras, there is a natural notion of left and right invariance for linear functionals (called integrals in Hopf algebra theory). We show that, if such invariant functionals exist, they are unique (up to a scalar) and faithful. For a regular multiplier Hopf algebra (A, Δ) (i.e., with invertible antipode) with invariant functionals, we construct, in a canonical way, the dual (Â, Δ). It is again a regular multiplier Hopf algebra with invariant functionals. It is also shown that the dual of (Â, Δ) is canonically isomorphic with the original multiplier Hopf algebra (A, Δ). It is possible to generalize many aspects of abstract harmonic analysis here. One can define the Fourier transform; one can prove Plancherel's formula. Because any finite-dimensional Hopf algebra is a regular multiplier Hopf algebra and has invariant functionals, our duality theorem applies to all finite-dimensional Hopf algebras. Then it coincides with the usual duality for such Hopf algebras. But our category of multiplier Hopf algebras also includes, in a certain way, the discrete (quantum) groups and the compact (quantum) groups. Our duality includes the duality between discrete quantum groups and compact quantum groups. In particular, it includes the duality between compact abelian groups and discrete abelian groups. One of the nice features of our theory is that we have an extension of this duality to the non-abelian case, but within one category. This is shown in the last section of our paper where we introduce the algebras of compact type and the algebras of discrete type. We prove that also these are dual to each other. We treat an example that is sufficiently general to illustrate most of the different features of our theory. It is also possible to construct the quantum double of Drinfel'd within this category. This provides a still wider class of examples. So, we obtain many more than just the compact and discrete quantum within this setting.     

Hilbert's Theorem 90 for Hopf Galois Extensions

For a faithfully flat extension A/B and a right A-module M, we give a new characterization of the set of descent data on M. Assuming that B is a simple Artinian ring and A/B is H-Galois, for a certain finite dimensional Hopf algebra H, we prove that Sweedler's noncommutative cohomology H ¹(H?, A) is trivial as a pointed set.     

π-Complementation in the Unitisation and Multiplication Algebras of a Semiprime Algebra

π-complemented algebras are defined as those (not necessarily associative or unital) algebras such that each annihilator ideal is complemented by other annihilator ideal. For a given semiprime algebra A, we discuss the π-complementation of the unitisation algebra A ¹ of A. Moreover, if in addition the multiplication algebra ?(A) of A is also semiprime, we study the π-complementation in the algebras ?(A) and ?^?(A) (the multiplication ideal of A). In associative setting, we prove that A is π-complemented if and only if ?^?(A) is π-complemented, and that A ¹ π-complemented if and only if ?(A) is π-complemented.     

Morita context of weak Hopf algebras

Let H be a finite-dimensional weak Hopf algebra and A a left H-module algebra with its invariant subalgebra A~H.We prove that the smash product A#H is an A-ring with a grouplike character, and give a criterion for A#H to be Frobenius over A. Using the theory of A-rings, we mainly construct a Morita context connecting the smash product A#H and the invariant subalgebra A~H , which generalizes the corresponding results obtained by Cohen, Fischman and Montgomery.     

Cohomology Theories of Hopf Bimodules and Cup-Product

Given a Hopf algebra A, there exist various cohomology theories for the category of Hopf bimodules over A, introduced by M. Gerstenhaber and S. D. Schack, and by C. Ospel. We prove, when A is finite-dimensional, that they are all equal to the Ext functor on the module category of an associative algebra associated to A, described by C. Cibils and M. Rosso. We also give an expression for a cup-product in the cohomology defined by C. Ospel, and prove that it corresponds to the Yoneda product of extensions.     

Multiplier Hopf Algebras in Categories and the Biproduct Construction

Let B be a regular multiplier Hopf algebra. Let A be an algebra with a non-degenerate multiplication such that A is a left B-module algebra and a left B-comodule algebra. By the use of the left action and the left coaction of B on A, we determine when a comultiplication on A makes A into a “B-admissible regular multiplier Hopf algebra.” If A is a B-admissible regular multiplier Hopf algebra, we prove that the smash product A # B is again a regular multiplier Hopf algebra. The comultiplication on A # B is a cotwisting (induced by the left coaction of B on A) of the given comultiplications on A and B. When we restrict to the framework of ordinary Hopf algebra theory, we recover Majid’s braided interpretation of Radford’s biproduct. Presented by K. Goodearl.     

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.     

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.     

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.