Bases, filtrations and module decompositions of free Lie algebras

We use the technique known as elimination to devise some new bases of the free Lie algebra which (like classical Hall bases) consist of Lie products of left normed basic Lie monomials. Our bases yield direct decompositions of the homogeneous components of the free Lie algebra with direct summands that are particularly easy to describe: they are tensor products of metabelian Lie powers. They also give rise to new filtrations and decompositions of free Lie algebras as modules for groups of graded algebra automorphisms. In particular, we obtain some new decompositions for free Lie algebras and free restricted Lie algebras over fields of positive characteristic.     

Based algebras and standard bases for quasi-hereditary algebras

Quasi-hereditary algebras can be viewed as a Lie theory approach to the theory of finite dimensional algebras. Motivated by the existence of certain nice bases for representations of semisimple Lie algebras and algebraic groups, we will construct in this paper nice bases for (split) quasi-hereditary algebras and characterize them using these bases. We first introduce the notion of a standardly based algebra, which is a generalized version of a cellular algebra introduced by Graham and Lehrer, and discuss their representation theory. The main result is that an algebra over a commutative local noetherian ring with finite rank is split quasi-hereditary if and only if it is standardly full-based. As an application, we will give an elementary proof of the fact that split symmetric algebras are not quasi-hereditary unless they are semisimple. Finally, some relations between standardly based algebras and cellular algebras are also discussed.     

Cayley-like representations are for all algebras, not merely groups

Cayley 's Theorem represents an arbitrary group as a set of permutations with the group operation captured by the composition of permutations. A few other examples with related representations are monoids, Boolean algebras and Menger algebras, permutations now being replaced by functions with one or more arguments. Although Cayley-like representations appear to be rare, this article shows that they are not. The idea is to represent the elements of an arbitrary algebra by multivariable functions, and its operations by particular compositions of these functions. Any finite algebra can be so represented,and so can any variety generated by one finite subdirectly irreducible algebra. It will follow that these varieties are Cayley-like: semilattices, distributive lattices, median algebras, elementary Abelian p -groups (for fixed p), and those generated by a primal algebra. If the definition of Cayley-like is stretched to allow the representing functions to have an infinite number of arguments, then all algebras are Cayley-like.     

The pasting constructions for effect algebras

The aim of this paper is to present several techniques of constructing a lattice-ordered effect algebra from a given family of lattice-ordered effect algebras, and to study the structure of finite lattice-ordered effect algebras. Firstly, we prove that any finite MV-effect algebra can be obtained by substituting the atoms of some Boolean algebra by linear MV-effect algebras. Then some conditions which can guarantee that the pasting of a family of effect algebras is an effect algebra are provided. At last, we prove that any finite lattice-ordered effect algebra E without atoms of type 2 can be obtained by substituting the atoms of some orthomodular lattice by linear MV-effect algebras. Furthermore, we give a way how to paste a lattice-ordered effect algebra from the family of MV-effect algebras.     

Stably Calabi-Yau algebras and skew group algebras

Let G be a finite group and A be a finite-dimensional selfinjective algebra over an algebraically closed field. Suppose A is a left G-module algebra. Some suficient conditions for the skew group algebra AG to be stably Calabi-Yau are provided, and some new examples of stably Calabi-Yau algebras are given as well.     

Some remarks on the Akivis algebras and the Pre-Lie algebras

In this paper, by using the Composition-Diamond lemma for non-associative algebras invented by A. I. Shirshov in 1962, we give Gröbner-Shirshov bases for free Pre-Lie algebras and the universal enveloping non-associative algebra of an Akivis algebra, respectively. As applications, we show I.P. Shestakov’s result that any Akivis algebra is linear and D. Segal’s result that the set of all good words in X** forms a linear basis of the free Pre-Lie algebra PLie(X) generated by the set X. For completeness, we give the details of the proof of Shirshov’s Composition-Diamond lemma for non-associative algebras.     

Identities of metabelian alternative algebras

We study metabelian alternative (in particular, associative) algebras over a field of characteristic 0. We construct additive bases of the free algebras of mentioned varieties, describe some centers of these algebras, compute the values of the sequence of codimensions of corresponding T-ideals, and find unitarily irreducible components of the decomposition of mentioned varieties into a union and their bases of identities. In particular, we find a basis of identities for the metabelian alternative Grassmann algebra. We prove that the free algebra of a variety that is generated by the metabelian alternative Grassmann algebra possesses the zero associative center.     

Graded group schemes and graded group varieties

We define graded group schemes and graded group varieties and develop their theory. Graded group schemes are the graded analogue of a?ne group schemes and are in correspondence with graded Hopf algebras. Graded group varieties take the place of infinitesimal group schemes. We generalize the result that connected graded bialgebras are graded Hopf algebra to our setting and we describe the algebra structure of graded group varieties. We relate these new objects to the classical ones providing a new and broader framework for the study of graded Hopf algebras and a?ne group schemes.     

Confluent operator algebras and the closability property

Certain operator algebras A on a Hilbert space have the property that every densely defined linear transformation commuting with A is closable. Such algebras are said to have the closability property. They are important in the study of the transitive algebra problem. More precisely, if A is a two-transitive algebra with the closability property, then A is dense in the algebra of all bounded operators, in the weak operator topology. In this paper we focus on algebras generated by a completely nonunitary contraction, and produce several new classes of algebras with the closability property. We show that this property follows from a certain strict cyclicity property, and we give very detailed information on the class of completely nonunitary contractions satisfying this property, as well as a stronger property which we call confluence.     

Embedding Distributions in Algebras of Generalized Functions with Singularities

 It is a known open question whether in Rosinger’s nowhere dense quotient algebra distributions can be embedded, ensuring consistency with partial derivatives. In this paper, we construct algebras of generalized functions with nowhere dense singularities similar to Rosinger’s algebra in which such an embedding of distributions is possible. Moreover, in some of the algebras, the embedding preserves the products of smooth functions. Further, we indicate that most of the properties of Rosinger’s algebra, in particular concerning the solvability of nonlinear PDEs, remain valid in the new algebras. Summarizing, we give a positive answer to the above-mentioned open question, if one allows a modification in the definition of the algebra that does not affect its basic properties.     

On the Hopf–Schur group of a field

Let k be any field. We consider the Hopf–Schur group of k, defined as the subgroup of the Brauer group of k consisting of classes that may be represented by homomorphic images of finite-dimensional Hopf algebras over k. We show here that twisted group algebras and abelian extensions of k are quotients of cocommutative and commutative finite-dimensional Hopf algebras over k, respectively. As a consequence we prove that any tensor product of cyclic algebras over k is a quotient of a finite-dimensional Hopf algebra over k, revealing so that the Hopf–Schur group can be much larger than the Schur group of k.     

Gröbner-Shirshov bases for associative algebras with multiple operators and free Rota-Baxter algebras

In this paper, we establish the Composition-Diamond lemma for associative algebras with multiple linear operators. As applications, we obtain Gröbner-Shirshov bases of free Rota-Baxter algebra, free λ-differential algebra and free λ-differential Rota-Baxter algebra, respectively. In particular, linear bases of these three free algebras are respectively obtained, which are essentially the same or similar to the recent results obtained by K. Ebrahimi-Fard-L. Guo, and L. Guo-W. Keigher by using other methods.     

Embedding Distributions in Algebras of Generalized Functions with Singularities

 It is a known open question whether in Rosinger’s nowhere dense quotient algebra distributions can be embedded, ensuring consistency with partial derivatives. In this paper, we construct algebras of generalized functions with nowhere dense singularities similar to Rosinger’s algebra in which such an embedding of distributions is possible. Moreover, in some of the algebras, the embedding preserves the products of smooth functions. Further, we indicate that most of the properties of Rosinger’s algebra, in particular concerning the solvability of nonlinear PDEs, remain valid in the new algebras. Summarizing, we give a positive answer to the above-mentioned open question, if one allows a modification in the definition of the algebra that does not affect its basic properties. Received September 20, 2001; in final form April 11, 2002     

Free quasi-symmetric functions and descent algebras for wreath products, and noncommutative multi-symmetric functions

We introduce analogs of the Hopf algebra of Free quasi-symmetric functions with bases labeled by colored permutations. When the color set is a semigroup, an internal product can be introduced. This leads to the construction of generalized descent algebras associated with wreath products Γ?S_n and to the corresponding generalizations of quasi-symmetric functions. The associated Hopf algebras appear as natural analogs of McMahon’s multisymmetric functions. As a consequence, we obtain an internal product on ordinary multi-symmetric functions. We extend these constructions to Hopf algebras of colored parking functions, colored non-crossing partitions and parking functions of type B.     

Classification of solvable Lie algebras with a given nilradical by means of solvable extensions of its subalgebras

We construct all solvable Lie algebras with a specific n-dimensional nilradical n_n,3 which contains the previously studied filiform (n-2)-dimensional nilpotent algebra n_n-2,1 as a subalgebra but not as an ideal. Rather surprisingly it turns out that the classification of such solvable algebras can be deduced from the classification of solvable algebras with the nilradical n_n-2,1. Also the sets of invariants of coadjoint representation of n_n,3 and its solvable extensions are deduced from this reduction. In several cases they have polynomial bases, i.e. the invariants of the respective solvable algebra can be chosen to be Casimir invariants in its enveloping algebra.     

Groupe Des Inversibles Et Rayon Spectral Dans Les Algèbres Topologiques

We deal with the relationship between the spectral radius and the topological bihaviour of the group of invertible elements in a topological algebra, introducing accordingly several types of (generalized Q-) algebras. We then give properties and characterizations of such algebras. Applications to weighted algebras as well as several classes of examples are provided.

     

The relative Brauer group of a cyclic cover of affine space

We study the finite-dimensional central division algebras over the rational function field in several variables over an algebraically closed field. We describe the division algebras that are split by the cyclic covering obtained by adjoining the nth root of a polynomial. The relative Brauer group is described in terms of the Picard group of the cyclic covering and its Galois group. Many examples are given and in most cases division algebras are presented that represent generators of the relative Brauer group.     

A general method for generating multicomponent integrable hierarchies

A Lie algebra, whose bases are the forms of M × 3 matrices, is defined. Subsequently two types of loop algebras are constructed, whose commutative operations are equivalent to known ones proposed before. By using the Tu scheme, the mulicomponent KN hierarchy and its integrable coupling system, as well as a generalized multicomponent AKNS integrable hierarchy with five potential functions are obtained. The procedure presented in this paper is simple and straightforward and can be used generally     

Differential-operator representations of Weyl group and singular vectors in Verma modules

Given a suitable ordering of the positive root system associated with a semisimple Lie algebra,there exists a natural correspondence between Verma modules and related polynomial algebras. With this, the Lie algebra action on a Verma module can be interpreted as a differential operator action on polynomials, and thus on the corresponding truncated formal power series. We prove that the space of truncated formal power series gives a differential-operator representation of the Weyl group W. We also introduce a system of partial differential equations to investigate singular vectors in the Verma module. It is shown that the solution space of the system in the space of truncated formal power series is the span of {w(1) | w ∈ W }. Those w(1) that are polynomials correspond to singular vectors in the Verma module. This elementary approach by partial differential equations also gives a new proof of the well-known BGG-Verma theorem.