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.     

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.     

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.     

On the cohomology of highly connected covers of finite Hopf spaces

Relying on the computation of the André-Quillen homology groups for unstable Hopf algebras, we prove that if the mod p cohomology of both the fiber and the base in an H-fibration is finitely generated as algebra over the Steenrod algebra, then so is the mod p cohomology of the total space. In particular, the mod p cohomology of the n-connected cover of a finite H-space is always finitely generated as algebra over the Steenrod algebra.     

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 FUNCTOR AND THE PROJECTIVITY AND INJECTIVITY OF RELATIVE HOPF MODULES

ABSTRACT

Let H be a Hopf algebra over a field k, and A a commutative right H-comodule algebra. This paper is concerned with homological algebra for Hopf modules. We investigate the projectivity, injectivity, and minimal injective resolutions of relative Hopf modules by using the functor HOM.     

DOI-KOPPINEN HOPF BIMODULES ARE MODULES

I construct a generalized twisted smash product A ^H B, which gives an abstract structure of Cibils-Rosso's algebra X associated to a finite-dimensional Hopf algebra H, for the H-bimodule algebra A and H-bicomodule algebra B. I show that the Doi-Koppinen Hopf (H, B, D)-bimodules are modules over a certain algebra which is of this type. Moreover, if D is finitely generated projective as a k-module, there exists a k-module-preserving equivalence of categories between the category of Doi-Koppinen (H, B, D)-Hopf bimodules and the category of left (D ^*op ? D ^*) ^{H?H op} (B ? B ^op )-modules.     

Actions of Ore extensions and growth of polynomial H-identities

We show that if A is a finite-dimensional associative H-module algebra for an arbitrary Hopf algebra H, then the proof of the analog of Amitsur’s conjecture for H-codimensions of A can be reduced to the case when A is H-simple. (Here we do not require that the Jacobson radical of A is an H-submodule.) As an application, we prove that if A is a finite-dimensional associative H-module algebra where H is a Hopf algebra H over a field of characteristic 0 such that H is constructed by an iterated Ore extension of a finite-dimensional semisimple Hopf algebra by skew-primitive elements (e.g., H is a Taft algebra), then there exists integer PIexp^H(A). In order to prove this, we study the structure of algebras simple with respect to an action of an Ore extension.     

Congruence modular varieties with small free spectra

Let A be a finite algebra that generates a congruence modular variety. We show that the free spectrum of V(A){\cal V}({\bf A}) fails to have a doubly exponentially lower bound if and only if A has a finitely generated clone and A is a direct product of nilpotent algebras of prime power cardinality.     

The grothendieck group of the category of modules of finite projective dimension over certain weakly triangular algebras

In this paper we study the category of finitely generated modules of finite projective dimension over a class of weakly triangular algebras, which includes the algebras whose idempotent ideals have finite projective dimension. In particular, we prove that the relations given by the (relative) almost split sequences generate the group of all relations for the Grothendieck group of P ^<∞(Λ) if and only if P ^<∞(Λ) is of finite type. A similar statement is known to hold for the category of all finitely generated modules over an artin algebra, and was proven by C.M.Butler and M. Auslander ( [B] and [A]).     

The global dimensions of crossed products and crossed coproducts

In this paper, we show that if H is a finite-dimensional Hopf algebra such that H and H^＊ are semisimple, then gl.dim（A#σH）=gl.dim（A）, where a is a convolution invertible cocycle. We also discuss the relationship of global dimensions between the crossed product A^#σH and the algebra A, where A is coacted by H. Dually, we give a sufficient condition for a finite dimensional coalgebra C and a finite dimensional semisimple Hopf algebra H such that gl.dim（C α H）=gl.dim（C）.     

Profinite Heyting Algebras

For a Heyting algebra A, we show that the following conditions are equivalent: (i) A is profinite; (ii) A is finitely approximable, complete, and completely join-prime generated; (iii) A is isomorphic to the Heyting algebra Up(X) of upsets of an image-finite poset X. We also show that A is isomorphic to its profinite completion iff A is finitely approximable, complete, and the kernel of every finite homomorphic image of A is a principal filter of A.      

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.     

Stably free modules over rings of Laurent polynomials

Let Φ be a finite group and let A be the group algebra of a free abelian group over a field k. We show that, in general, A[Φ] admits nontrivial stably free modules. By contrast, if A is the group algebra of a finitely generated free group then A[Φ] has stably free cancellation.     

Actions of Lie Superalgebras on Reduced Rings

In this paper, we look at the question of whether the subring of invariants is always nontrivial when a finite dimensional Hopf algebra acts on a reduced ring. Affirmative answers where given by Kharchenko for group algebras and by Beidar and Grzeszczuk for finite dimensional restricted Lie algebras. Our main result is Theorem 13 If R is a graded-reduced ring of characteristic p > 2 acted on by a finitely generated restricted K-Lie superalgebra L, then . We can then use Theorem 13 to prove Corollary 15 Let R be a reduced algebra over a field K of characteristic p > 2 acted on by a finite dimensional restricted K-Lie superalgebra L and let H = u(L)#G, where G is the group of order 2 with the natural action on L. If R ^H satisfies a polynomial identity of degree d, then R satisfies a polynomial identity of degree dN, where N is the dimension of H. Presented by Donald S. Passman.     

The Hilbert series of prime PI rings

We study the Hilbert series of finitely generated prime PI algebras. We show that given such an algebraA there exists some finite dimensional subspaceV ofA which contains 1 _A and generatesA as an algebra such that the Hilbert series ofA with respect to the vector spaceV is a rational function.     

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.     

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.