The Brauer-Clifford Group for (S,H)-Azumaya Algebras over a Commutative Ring

The Brauer-Clifford group BrClif(Z,G) corresponding to a finite group G and a finite-dimensional semisimple G-algebra Z was recently introduced by Alexandre Turull in the course of his work on character correspondence conjectures in group representation theory. This Brauer-Clifford group is a group of equivalence classes of Azumaya algebras over Z whose G-algebra structure agrees on restriction to the fixed (and usually nontrivial) G-algebra structure of Z. In this paper we extend the notion of the Brauer-Clifford group to the case of (S,H)-Azumaya algebras, when H is a cocommutative Hopf algebra and S is a commutative H-module algebra. These Brauer-Clifford groups turn out to be an example of the Brauer group of the symmetric monoidal category of S # H-modules, a perspective which allows one to construct a dual Brauer-Clifford group for the category of S-modules with compatible right H-comodule structure.     

Permutation Groups, a Related Algebra and a Conjecture of Cameron

We consider the permutation group algebra defined by Cameron and show that if the permutation group has no finite orbits, then no homogeneous element of degree one is a zero-divisor of the algebra. We proceed to make a conjecture which would show that the algebra is an integral domain if, in addition, the group is oligomorphic. We go on to show that this conjecture is true in certain special cases, including those of the form H Wr S and H Wr A, and show that in the oligormorphic case, the algebras corresponding to these special groups are polynomial algebras. In the H Wr A case, the algebra is related to the shuffle algebra of free Lie algebra theory.     

Multiplicative Invariants and Semigroup Algebras

Let G be a finite group acting by automorphism on a lattice A, and hence on the group algebra S=k[A]. The algebra of G-invariants in S is called an algebra of multiplicative invariants. We present an explicit version of a result of Farkas stating that multiplicative invariants of finite reflection groups are semigroup algebras.     

Invariant Differential Operators on Certain Nilpotent Homogeneous Spaces

 Let be a nilpotent connected and simply connected Lie group, and an analytic subgroup of G. Let , be a unitary character of H and let . Suppose that the multiplicities of all the irreducible components of τ are finite. Corwin and Greenleaf conjectured that the algebra of the differential operators on the Schwartz-space of τ which commute with τ is isomorphic to the algebra of H-invariant polynomials on the affine space . We prove in this paper this conjecture under the condition that there exists a subalgebra which polarizes all generic elements in . We prove also that if is an ideal of , then the finite multiplicities of τ is equivalent to the fact that the algebra is commutative.     

Invariant Differential Operators on Certain Nilpotent Homogeneous Spaces

 Let be a nilpotent connected and simply connected Lie group, and an analytic subgroup of G. Let , be a unitary character of H and let . Suppose that the multiplicities of all the irreducible components of τ are finite. Corwin and Greenleaf conjectured that the algebra of the differential operators on the Schwartz-space of τ which commute with τ is isomorphic to the algebra of H-invariant polynomials on the affine space . We prove in this paper this conjecture under the condition that there exists a subalgebra which polarizes all generic elements in . We prove also that if is an ideal of , then the finite multiplicities of τ is equivalent to the fact that the algebra is commutative. (Received 15 November 2000)     

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.     

On right S-Noetherian rings and S-Noetherian modules

In this paper we study right S-Noetherian rings and modules, extending notions introduced by Anderson and Dumitrescu in commutative algebra to noncommutative rings. Two characterizations of right S-Noetherian rings are given in terms of completely prime right ideals and point annihilator sets. We also prove an existence result for completely prime point annihilators of certain S-Noetherian modules with the following consequence in commutative algebra: If a module M over a commutative ring is S-Noetherian with respect to a multiplicative set S that contains no zero-divisors for M, then M has an associated prime.     

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.     

Quantum Yang-Baxter module algebras

LetH be a quantum group over a commutative ringR. We introduce the concept of quantum Yang-BaxterH-module algebra, generalizing the notion ofH-dimodule algebra in the case whereH is commutative, cocommutative and faithfully projective. After discussing some examples, we introduceH-Azumaya algebras. The set of quivalence classes ofH-Azumaya algebras can be made into a group, called the Brauer group of the quantum groupH. This group is a generalization of the Brauer-Long group.This author wishes to thank the Department of Mathematics, UIA, for its hospitality and financial support during the time when most of this paper was written.     

Amenability constants for semilattice algebras

For any finite commutative idempotent semigroup S, a semilattice, we show how to compute the amenability constant of its semigroup algebra ℓ ¹(S). This amenability constant is always of the form 4n+1. We then show that these give lower bounds to amenability constants of certain Banach algebras graded over semilattices. We also give example of a commutative Clifford semigroups G _n whose semigroup algebras ℓ ¹(G _n ) admit amenability constants of the form 41+4(n−1)/n. We also show there is no commutative semigroup whose semigroup algebra has an amenability constant between 5 and 9. N. Spronk’s research was supported by NSERC Grant 312515-05.     

Finite generation of Hochschild homology algebras

We prove converses of the Hochschild-Kostant-Rosenberg Theorem, in particular: If a commutative algebra S is flat and essentially of finite type over a noetherian ring , and the Hochschild homology HH _* (S|) is a finitely generated S-algebra for shuffle products, then S is smooth over . Oblatum 27-V-1999 & 27-IX-1999 / Published online: 24 January 2000     

Spectra of smash products

LetT=R #H be a smash product whereH is a finite dimensional Hopf algebra. We show that ideals ofT invariant under the dualH* ofH are extended fromH-invariant ideals ofR. This allows us to transport the study of ideals inT to invariant ideals. When the Hopf algebra is pointed the relationship between an ideal and its invariant ideal is shown to be manageable. Restricting to prime ideals, this yields results on the prime spectra ofR andT. We obtain Krull relations forR ⊆T for someH, including Incomparability wheneverH is commutative (or more generally whenH* is pointed after base extension). The results generalize and unify a number of results known in the context of group and restricted Lie actions.     

Biderivations on tensor products of algebras

Let A be a noncommutative unital prime algebra and let S be a commutative unital algebra over a field 𝔽. We describe the form of biderivations of the algebra A?S. As an application, we determine the form of commuting linear maps of A?S.     

Sur l’annulation du deuxième foncteur de (co)homologie d’André-Quillen

For a given idealI of a commutative ringA, B=A/I, the vanishing of the second André-Quillen (co)homology functorH ₂ (A, B, δ) is characterized in terms of the canonical homomorphism α:S(I)→R(I) from the symmetric algebra of the idealI onto its Rees algebra. This is done by introducing a Koszul complex that characterizes commutative graded algebras which are symmetric algebras.

---

---

This article was processed by the author using the LAT_EX style filecljour1 from Springer-Verlag.     

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.     

A-Solvability and Mixed Abelian Groups

An abelian group A is an S-group (S ⁺-group) if every subgroup B ≤ A of finite index is A-generated (A-solvable). This article discusses some of the differences between torsion-free S-groups and mixed S-groups, and studies (mixed) S- and S ⁺-groups, which are self-small and have finite torsion-free rank.     

Generic Flatness and the Jacobson Conjecture

A result of Artin, Small, and Zhang is used to show that a Noetherian algebra over a commutative, Noetherian Jacobson ring will be Jacobson if the algebra possesses a locally finite, Noetherian associated graded ring. This result is extended to show that if an algebra over a commutative Noetherian ring has a locally finite, Noetherian associated graded ring, then the intersection of the powers of the Jacobson radical is nilpotent. The proofs rely on a weak generalization of generic flatness and some observations about G-rings.     

On SS-Quasinormal Subgroups of Finite Groups

A subgroup of a group G is said to be Sylow-quasinormal (S-quasinormal) in G if it permutes with every Sylow subgroup of G. A subgroup H of a group G is said to be Supplement-Sylow-quasinormal (SS-quasinormal) in G if there is a supplement B of H to G such that H is permutable with every Sylow subgroup of B. In this article, we investigate the influence of SS-quasinormal of maximal or minimal subgroups of Sylow subgroups of the generalized Fitting subgroup of a finite group.