The Magnus Embedding for Right-Symmetric Algebras

We construct a basis for the universal multiplicative enveloping algebra U(A) of a right-symmetric algebra A. We prove an analog of the Magnus embedding for right-symmetric algebras; i.e., we prove that a right-symmetric algebra A/R ², where A is a free right-symmetric algebra, is embedded into the algebra of triangular matrices of the second order.     

Poisson identities of enveloping algebras

Let L be a restricted Lie algebra. The symmetric algebra S_p(L) of the restricted enveloping algebra u(L) has the structure of a Poisson algebra. We give necessary and sufficient conditions on L in order for the symmetric algebra S_p(L) to satisfy a multilinear Poisson identity. We also settle the same problem for the symmetric algebra S(L) of a Lie algebra L over an arbitrary field. The first author was partially supported by MIUR of Italy. The second author was partially supported by Grant RFBR-04-01- 00739. Received: 31 October 2005     

Universal Poisson Envelope for Binary-Lie Algebras

In this article the universal Poisson enveloping algebra for a binary-Lie algebra is constructed. Taking a basis 𝔹 of a binary-Lie algebra B, we consider the symmetric algebra S(B) of polynomials in the elements of 𝔹. We consider two products in S(B), the usual product of polynomials fg and the braces {f, g}, defined by the product in B and the Leibniz rule. This algebra is a general Poisson algebra. We find an ideal I of S(B) such that the factor algebra S(B)/I is the universal Poisson envelope of B. We provide some examples of this construction for known binary-Lie algebras.     

On twisted smash products for bimodule algebras and the drinfeld double 1

In this paper we construct a new algebra AHof an H- bimodule algebra Aby a Hopf algebra Hand study some of its properties. The smash product, the Drinfel'd double D(H) and the Doi-Takeuchi's algebra B?,H, are all special cases of AH. Moreover,we find a necessary and sufficient condition for A Hto be a Hopf algebra and also consider the dual situation     

Speciality of Metabelian Mal'tsev Algebras

It is proved that, for any metabelian Mal'tsev algebra M over a field of characteristic 2,3, there is an alternative algebra A such that the algebra M can be embedded in the commutator algebra A^(-). Moreover, the enveloping alternative algebra A can be found in the variety of algebras with the identity [x,y][z,t] = 0. The proof of this result is based on the construction of additive bases of the free metabelian Mal'tsev algebra and the free alternative algebra with the identity [x,y][z,t] = 0.     

The Birman–Murakami–Wenzl Algebras of Type D n

The Birman–Murakami–Wenzl algebra (BMW algebra) of type D _n is shown to be semisimple and free of rank (2 ⁿ  + 1)n!! ? (2 ^n?1 + 1)n! over a specified commutative ring R, where n!! =1·3…(2n ? 1). We also show it is a cellular algebra over suitable ring extensions of R. The Brauer algebra of type D _n is the image of an R-equivariant homomorphism and is also semisimple and free of the same rank, but over the ring ?[δ^±1]. A rewrite system for the Brauer algebra is used in bounding the rank of the BMW algebra above. As a consequence of our results, the generalized Temperley–Lieb algebra of type D _n is a subalgebra of the BMW algebra of the same type.     

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.     

The Hopf Algebra of Fliess Operators and Its Dual Pre-lie Algebra

We study the Hopf algebra H of Fliess operators coming from Control Theory in the one-dimensional case. We prove that it admits a graded, finite-dimensional, connected grading. Dually, the vector space ? ? x ₀, x ₁ ? is both a pre-Lie algebra for the pre-Lie product dual of the coproduct of H, and an associative, commutative algebra for the shuffle product. These two structures admit a compatibility which makes ? ? x ₀, x ₁ ? a Com-Pre-Lie algebra. We give a presentation of this object as a pre-Lie algebra.     

Maschke Type Theorems for Nonassociative Hopf Algebras

In this article, we give necessary and sufficient conditions for a possibly nonassociative comodule algebra over a nonassociative Hopf algebra to have a total integral, thus extending the classical theory developed by Doi in the associative setting. Also, from this result we deduce a version of Maschke's Theorems and the consequent characterization of projectives for (H, B)-Hopf triples associated with a nonassociative Hopf algebra H and a nonassociative right H-comodule algebra B.     

Gröbner–Shirshov bases for brace algebras

Let A be a brace algebra. This structure implies that A is also a pre-Lie algebra. In this paper, we establish Composition-Diamond lemma for brace algebras. For each pre-Lie algebra L, we find a Gröbner–Shirshov basis for its universal brace algebra U_b(L). As applications, we determine an explicit linear basis for U_b(L) and prove that L is a pre-Lie subalgebra of U_b(L).     

Parafermion vertex operator algebras

This paper reviews some recent results on the parafermion vertex operator algebra associated to the integrable highest weight module L(k, 0) of positive integer level k for any affine Kac-Moody Lie algebra ĝ, where g is a finite dimensional simple Lie algebra. In particular, the generators and the C ₂-cofiniteness of the parafermion vertex operator algebras are discussed. A proof of the well-known fact that the parafermion vertex operator algebra can be realized as the commutant of a lattice vertex operator algebra in L(k, 0) is also given.     

Twisted product and cohomology

LetH be a Hopf algebra,H ₁ be a sub-Hopf algebra ofH, H ₂ be the quotient Hopt algebra ofH modularH ₁. This paper gives a simplified complex by defining a new base for the cobar complex and proves that the cobar complex ofH has the same cohomology algebra with a twisted product of the cobar complexes ofH ₁ andH ₂. Supported by National Natural Science Foundation of China     

Presenting Schur Algebras as Quotients of the Universal Enveloping Algebra of gl2

We give a presentation of the Schur algebras S _Q (2,d) by generators and relations, in fact a presentation which is compatible with Serre's presentation of the universal enveloping algebra of a simple Lie algebra. In the process we find a new basis for S _Q (2,d), a truncated form of the usual PBW basis. We also locate the integral Schur algebra within the presented algebra as the analogue of Kostant's Z-form, and show that it has an integral basis which is a truncated version of Kostant's basis.     

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.     

On the algebra of quasi-shuffles

For any commutative algebra R the shuffle product on the tensor module T(R) can be deformed to a new product. It is called the quasi-shuffle algebra, or stuffle algebra, and denoted T ^q (R). We show that if R is the polynomial algebra, then T ^q (R) is free for some algebraic structure called Commutative TriDendriform (CTD-algebras). This result is part of a structure theorem for CTD-bialgebras which are associative as coalgebras and whose primitive part is commutative. In other words, there is a good triple of operads (As, CTD, Com) analogous to (Com, As, Lie). In the last part we give a similar interpretation of the quasi-shuffle algebra in the noncommutative setting.     

Quantum differential operators on the quantum plane

The universal enveloping algebra of a Lie algebra acts on its representation ring R through D(R), the ring of differential operators on R. A quantised universal enveloping algebra (or quantum group) is a deformation of a universal enveloping algebra and acts not through the differential operators of its representation ring but through the quantised differential operators of its representation ring. We present this situation for the quantum group of sl₂.     

Automorphism groups of some algebras

The automorphism groups of algebras are found in many papers. Using auto-invariance, we find the automorphism groups of the Laurent extension of the polynomial ring and the quantum n-plane (respectively, twisting polynomial ring) in this work. As an application of the results of this work, we can find the automorphism group of a twisting algebra. We define a generalized Weyl algebra and show that the generalized Weyl algebra is simple. We also find the automorphism group of a generalized Weyl algebra. We show that the generalized Weyl algebra A _m,m+n is the universal enveloping algebra of the generalized Witt algebra W(m,m + n). This work was supported by 2007 Research fund of Hanyang University     

A maschke type theorem for weak Hopf algebras

In this paper, we give a necessary and sufficient condition for a comodule algebra over a weak Hopf algebra to have a total integral, thus extending the classical theory developed by Doi in the Hopf algebra setting. Also, from these results, we deduce a version of Maschke＇s Theorem for （H, B）-Hopf modules associated with a weak Hopf algebra H and a right H-comodule algebra B.     

The q-Analogue of the Alternating Group and Its Representations

We define the new algebra. This algebra has a parameter q. The defining relations of this algebra at q = 1 coincide with the basic relations of the alternating group. We also give the new subalgebra of the Hecke algebra of type A which is isomorphic to this algebra. This algebra is free of rank half that of the Hecke algebra. Hence this algebra is regarded as a q-analogue of the alternating group.All the isomorphism classes of the irreducible representations of this algebra and the q-analogue of the branching rule between the symmetric group and the alternating group are obtained.