Classification of Hopf algebras of dimension 18

This paper contributes to the classification problems of finite dimensional Hopf algebras H over an algebraically closed field k of characteristic zero. It is shown that for a non-semisimple Hopf algebra H of dimension 18 either H or H* is pointed.     

Hopf Algebras on Schurian Quivers

Let H be a Hopf algebra with a finite-dimensional, nontrivial space of skew primitive elements, over an algebraically closed field of characteristic zero. We prove that H contains either the polynomial algebra as a Hopf subalgebra, or a certain Schurian simple-pointed Hopf subalgebra. As a consequence, a complete list of the locally finite, simple-pointed Hopf algebras is obtained. Also, the graded automorphism group of a Hopf algebra on a Schurian Hopf quiver is determined, and the relation between this group and the automorphism groups of the corresponding Hopf quiver, is clarified.     

On Auslander-Reiten Quivers of Enveloping Algebras of Restricted Lie Algebras

Let (L, [p]) be a finite dimensional restricted Lie algebra over an algebraically closed field F of characteristic p ≥ 3, X ∈ L* a linear form. In this article we study the Auslander-Reiten quivers of certain blocks of the reduced enveloping algebra u(L,x). In particular, it is shown that the enveloping algebras of supersolvable Lie algebras do not possess AR-components of Euclidean type.     

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.     

The Natural Quiver of an Artinian Algebra

The motivation of this paper is to study the natural quiver of an artinian algebra, a new kind of quivers, as a tool independing upon the associated basic algebra. In Li (J Aust Math Soc 83:385–416, 2007), the notion of the natural quiver of an artinian algebra was introduced and then was used to generalize the Gabriel theorem for non-basic artinian algebras splitting over radicals and non-basic finite dimensional algebras with 2-nilpotent radicals via pseudo path algebras and generalized path algebras respectively. In this paper, firstly we consider the relationship between the natural quiver and the ordinary quiver of a finite dimensional algebra. Secondly, the generalized Gabriel theorem is obtained for radical-graded artinian algebras. Moreover, Gabriel-type algebras are introduced to outline those artinian algebras satisfying the generalized Gabriel theorem here and in Li (J Aust Math Soc 83:385–416, 2007). For such algebras, the uniqueness of the related generalized path algebra and quiver holds up to isomorphism in the case when the ideal is admissible. For an artinian algebra, there are two basic algebras, the first is that associated to the algebra itself; the second is that associated to the correspondent generalized path algebra. In the final part, it is shown that for a Gabriel-type artinian algebra, the first basic algebra is a quotient of the second basic algebra. In the end, we give an example of a skew group algebra in which the relation between the natural quiver and the ordinary quiver is discussed.     

The wedderburn-malcev theorem for comodule algebras

Let H be a Hopf algebra over a field k. Under some assumptions on H we state and prove a generalization of the Wedderburn-Malcev theorem for i7-comodule algebras. We show that our version of this theorem holds for a large enough class of Hopf algebras, such as coordinate rings of completely reducible affine algebraic groups, finite dimensional Hopf algebras over fields of characteristic 0 and group algebras. Some dual results are also included.     

Exponentiation and the identity X2Y = (XY)2

Let G = SL(2,pⁿ ) with p odd. Let KG be the group algebra of G over an algebraically closed field K of characteristic p. In general, a finite dimensional basic algebra can be described by a quiver with relations. For KG, the quiver has been known. Namely the simple KG modules and their extensions determine it. The aim of this paper is to get the relations and describe the basic algebra of KG by the quiver with them.     

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.     

双列关联代数(英文)

Let K be an algebraically closed field and A be a finite dimensional algebra over K. In this paper we give a classification of biserial incidence algebras with quiver methods.     

Semisimple Hopf actions on commutative domains

Let H be a semisimple (so, finite dimensional) Hopf algebra over an algebraically closed field k of characteristic zero and let A be a commutative domain over k. We show that if A arises as an H-module algebra via an inner faithful H-action, then H must be a group algebra. This answers a question of E. Kirkman and J. Kuzmanovich and partially answers a question of M. Cohen.     

Exceptional Components

For a wild acyclic quiver Q, Kerner introduced the notion of exceptional components for the Auslander–Reiten quiver of Q over an algebraically closed field k. He then defined two invariants for these exceptional components and asked whether these invariants coincide for each exceptional component. He showed that for each exceptional component there is a related hereditary factor algebra B of the path algebra kQ. He then proved that B is tame or representation finite and asked whether the representation finite case does occur, at all. We will answer both of Kerner's questions.     

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.     

(*)-serial Incidence代数(英文)

设K是一个代数闭域,A是域K上一个有限维代数.我们利用箭图方法给出了(*)-serial incidence代数的分类.     

Self-dual weak Hopf algebras

In this paper, we define the notion of self-dual graded weak Hopf algebra and self-dual semilattice graded weak Hopf algebra. We give characterization of finite-dimensional such algebras when they are in structually simple forms in the sense of E. L. Green and E. N. Morcos. We also give the definition of self-dual weak Hopf quiver and apply these types of quivers to classify the finite- dimensional self-dual semilattice graded weak Hopf algebras. Finally, we prove partially the conjecture given by N. Andruskiewitsch and H.-J. Schneider in the case of finite-dimensional pointed semilattice graded weak Hopf algebra H when grH is self-dual.     

Quiver Hopf algebras

In this paper we study subHopfalgebras of graded Hopf algebra structures on a path coalgebra kQ^c. We prove that a Hopf structure on some subHopfquivers can be lifted to a Hopf structure on the whole Hopf quiver. If Q is a Schurian Hopf quiver, then we classified all simple-pointed subHopfalgebras of a graded Hopf structure on kQ^c. We also prove a dual Gabriel theorem for pointed Hopf algebras.     

用quiver构造拟三角Hopf代数

利用quiver方法确定了一个广义Taft代数具有拟三角Hopf结构当且仅当它是Sweedler 4维Hopf代数．用不同于文[15]的方法,对任意的正整数n,构造出一类拟三角Hopf代数H(n)．     

Separable polynomials over finite dimensional algebras

In [5] it was shown that for a polynomial P of precise degree n with coefficients in an arbitrary m-ary algebra of dimension d as a vector space over an algebraically closed fields, the zeros of P together with the homogeneous zeros of the dominant part of P form a set of cardinality n^d or the cardinality of the base field. We investigate polynomials with coefficients in a d dimensional algebra A without assuming the base field k to be algebraically closed. Separable polynomials are defined to be those which have exactly n^d distinct zeros in [Ktilde] ?_k A [Ktilde] where [Ktilde] denotes an algebraic closure of k. The main result states that given a separable polynomial of degree n, the field extension L of minimal degree over k for which L ?_k A contains all nd zeros is finite Galois over k. It is shown that there is a non empty Zariski open subset in the affine space of all d-dimensional k algebras whose elements A have the following property: In the affine space of polynomials of precise degree n with coefficients in A there is a non empty Zariski open subset consisting of separable polynomials; in other polynomials with coefficients in a finite dimensional algebra are “generically” separable.     

Tilt-Critical Algebras of Tame Type

Let A be a finite dimensional k-algebra over an algebraically closed field. Assume A = kQ/I where Q is a quiver without oriented cycles. We say that A is tilt-critical if it is not tilted but every proper convex subcategory of A is tilted. We describe the tilt-critical algebras which are strongly simply connected and tame.