Coset Decomposition for Semisimple Hopf Algebras

The notion of double coset for semisimple finite dimensional Hopf algebras is introduced. This is done by considering an equivalence relation on the set of irreducible characters of the dual Hopf algebra. As an application formulae for the restriction of the irreducible characters to normal Hopf subalgebras are given.     

On Lengths of Conjugacy Classes and Character Degrees in Finite Groups

We extend the two results of Dolfi and Isaacs to π-separable groups, where π = {p, q}, from solvable groups.     

Structure Theorems for Semisimple Hopf Algebras of Dimension pq 3

Let p, q be prime numbers with p > q ³, and k an algebraically closed field of characteristic 0. In this article, we obtain the structure theorems for semisimple Hopf algebras of dimension pq ³.     

Quasitriangular Pointed Hopf Algebras Constructed by Ore Extensions

We study the quasitriangular structures for a family of pointed Hopf algebras which is big enough to include Taft's Hopf algebras H _n ², Radford's Hopf algebras H _N,n,q, and E(n). We give necessary and sufficient conditions for the Hopf algebras in our family to be quasitriangular. For the case when they are, we determine completely all the quasitriangular structures. Also, we determine the ribbon elements of the quasitriangular Hopf algebras and the quasi-ribbon elements of their Drinfel'd double.     

Conjugacy Classes and Characters for Extensions of Finite Groups

Let H be an extension of a finite group Q by a finite group G. Inspired by the results of duality theorems for tale gerbes on orbifolds, the authors describe the number of conjugacy classes of H that map to the same conjugacy class of Q. Furthermore, a generalization of the orthogonality relation between characters of G is proved.     

Finite Presentability and the Homological Type FP m for a Class of Hopf Algebras

We define and study the property finite presentability in the category  of Hopf algebras that are smash product of universal enveloping algebra of a Lie algebra by a group algebra. We show that for such Hopf algebras finite presentability is equivalent with finite presentability as an associative k-algebra.     

可积代数正规类中半素代数类及半素一致代数类确定的上根

利用代数正规类中的理想乘积公理，引入可积代数正规类及可积代数正规类中素代数、半素代数类及一致代数类概念，讨论了可积代数正规类中半素代数类及半素一致代数类确定的上根性质。     

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.     

Central Units,Class Sums and Characters of the Symmetric Group

In the search for central units of a group algebra, we look at the class sums of the group algebra of the symmetric group S _n in characteristic zero, and we show that they are units in very special instances.     

Representations of Some Hopf Algebras Associated to the Symmetric Group S n

We prove that all irreducible representations of the bismash product have Frobenius–Schur indicator +1, where k is an algebraically closed field of characteristic 0. If n = p, a prime, we find all indicators for . We also study more general bismash products. Both authors were supported by NSF grants DMS-07-01291 and DMS-04-01399.     

关于拟三角Hopf代数的Cylinder余代数和Cylinder余积(英)

本文引入两个概念,即,关于拟三角双代数的cylinder余代数和cylinder余积,并指出存在一个反余代数同构：(H,■)≌(H,■),其中(H,■)是cylinder余积,(H,■)是辫余积,对任意有限维Hopf代数H,我们证明Drinfel'd量子偶(D(H),■_(D(H)))是cylinder余积．设(H,H,R)是余配对Hopf代数,如果R∈Z(H■H),则通过两次扭曲,我们可以构造扭曲余代数(H~■)R~(-1),它的余乘法恰是cylinder余积．而且对任意的广义Long重模,通过cylinder扭曲,我们可以构造Yang-Baxter方程,四辫对和Long方程．     

Estimates for Mixed Character Sums

We give sharp estimates for certain families of exponential sums in several variables over finite fields. Received: May 2007, Accepted: September 2007     

Techniques for Classifying Hopf Algebras and Applications to Dimension p 3

Classifying Hopf algebras of a given finite dimension n over ? is a challenging problem. If n is p, p², 2p, or 2p² with p prime, the classification is complete. If n = p³, the semisimple and the pointed Hopf algebras are classified, and much progress on the remaining cases was made by the second author but the general classification is still open. Here we outline some results and techniques which have been useful in approaching this problem and add a few new ones. We give some further results on Hopf algebras of dimension p³ and finish the classification for dimension 27.     

The Second Indicator and the Trace of the Antipode for Representations of a Class of Hopf Algebras of Andruskiewitch-Schneider Type

We give definition of the second indicator for any finite-dimensional Hopf algebra over an algebraically closed field of characteristic 0 with the square of antipode an inner automorphism. We derive a closed formula for the trace of the antipode on endomorphism algebras of simple self-dual modules of nilpotent type liftings of quantum linear spaces and compute the value of their second indicators. Uniqueness of indicators is examined.     

Twisted Bimodules and Hochschild Cohomology for Self-injective Algebras of Class A n , II

Up to derived equivalence, the representation-finite self-injective algebras of class A _n are divided into the wreath-like algebras (containing all Brauer tree algebras) and the Möbius algebras. In Part I (Forum Math. 11 (1999), 177–201), the ring structure of Hochschild cohomology of wreath-like algebras was determined, the key observation being that kernels in a minimal bimodule resolution of the algebras are twisted bimodules. In this paper we prove that also for Möbius algebras certain kernels in a minimal bimodule resolution carry the structure of a twisted bimodule. As an application we obtain detailed information on subrings of the Hochschild cohomology rings of Möbius algebras.     

关于$\omega$-Smash余积Hopf代数的$(f,\omega)$相容对$(B,,H)$

In this paper we introduce the notion of （f,ω）-compatible pair （B,H）, by which we construct a Hopf algebra in the category HHYD of Yetter-Drinfeld H-modules by twisting the comultiplication of B. We also study the property of ω-smash coproduct Hopf algebras Bω H.     

Constructions for Octonion and Exceptional Jordan Algebras

In this note we reverse theusual process of constructing the Lie algebras of types G ₂and F ₄ as algebras of derivations of the splitoctonions or the exceptional Jordan algebra and instead beginwith their Dynkin diagrams and then construct the algebras togetherwith an action of the Lie algebras and associated Chevalley groups.This is shown to be a variation on a general construction ofall standard modules for simple Lie algebras and it is well suitedfor use in computational algebra systems. All the structure constantswhich occur are integral and hence the construction specialisesto all fields, without restriction on the characteristic, avoidingthe usual problems with characteristics 2 and 3.     

Higher Algebraic <Emphasis Type="BoldItalic">K</Emphasis>-theory for Twisted Laurent Series Rings Over Orders and Semisimple Algebras

Let R be the ring of integers in a number field F, Λ any R-order in a semisimple F-algebra Σ, α an R-automorphism of Λ. Denote the extension of α to Σ also by α. Let Λ _α [T] (resp. Σ _α [T] be the α-twisted Laurent series ring over Λ (resp. Σ). In this paper we prove that (i) There exist isomorphisms ) for all n ≥ 1. (ii) is an l-complete profinite Abelian group for all n≥2. (iii)for all n≥2. (iv)is injective with uniquely l-divisible cokernel (for all n≥2). (v) K _–1(Λ), K _–1(Λ _α [T]) are finitely generated Abelian groups. Presented by Alain Verschoren.     

One Setting for All: Metric, Topology, Uniformity, Approach Structure

For a complete lattice V which, as a category, is monoidal closed, and for a suitable Set-monad T we consider (T,V)-algebras and introduce (T,V)-proalgebras, in generalization of Lawvere's presentation of metric spaces and Barr's presentation of topological spaces. In this lax-algebraic setting, uniform spaces appear as proalgebras. Since the corresponding categories behave functorially both in T and in V, one establishes a network of functors at the general level which describe the basic connections between the structures mentioned by the title. Categories of (T,V)-algebras and of (T,V)-proalgebras turn out to be topological over Set.     

Bialgebras Over Noncommutative Rings and a Structure Theorem for Hopf Bimodules

It is a key property of bialgebras that their modules have a natural tensor product. More precisely, a bialgebra over k can be characterized as an algebra H whose category of modules is a monoidal category in such a way that the underlying functor to the category of k-vector spaces is monoidal (i.e. preserves tensor products in a coherent way). In the present paper we study a class of algebras whose module categories are also monoidal categories; however, the underlying functor to the category of k-vector spaces fails to be monoidal. Instead, there is a suitable underlying functor to the category of B-bimodules over a k-algebra B which is monoidal with respect to the tensor product over B. In other words, we study algebras L such that for two L-modules V and W there is a natural tensor product, which is the tensor product V_BW over another k-algebra B, equipped with an L-module structure defined via some kind of comultiplication of L. We show that this property is characteristic for ×_B-bialgebras as studied by Sweedler (for commutative B) and Takeuchi. Our motivating example arises when H is a Hopf algebra and A an H-Galois extension of B. In this situation, one can construct an algebra L:=L(A,H), which was previously shown to be a Hopf algebra if B=k. We show that there is a structure theorem for relative Hopf bimodules in the form of a category equivalence . The category on the left hand side has a natural structure of monoidal category (with the tensor product over A) which induces the structure of a monoidal category on the right hand side. The ×_B-bialgebra structure of L that corresponds to this monoidal structure generalizes the Hopf algebra structure on L(A,H) known for B=k. We prove several other structure theorems involving L=L(A,H) in the form of category equivalences .