On self-adjoint subloops of moufang loops

In this paper we give a combinatorial rule to compute the composition of two convolution products of endomorphisms of a free associative algebra and deduce the construction of a subalgebra of QB _n (the group algebra of Hyperoctahedral group) which contains the descent algebra X#?. We also deduce a proof of the multiplication rule in the algebra ∑QB _n- Finally, we generalize this construction to other wreath products of symmetric groups by abelian groups.     

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     

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.     

Brauer algebras of simply laced type

The diagram algebra introduced by Brauer that describes the centralizer algebra of the n-fold tensor product of the natural representation of an orthogonal Lie group has a presentation by generators and relations that only depends on the path graph A _{n − 1} on n − 1 nodes. Here we describe an algebra depending on an arbitrary graph Q, called the Brauer algebra of type Q, and study its structure in the cases where Q is a Coxeter graph of simply laced spherical type (so its connected components are of type A _{n − 1}, D _n , E₆, E₇, E₈). We find its irreducible representations and its dimension, and show that the algebra is cellular. The algebra is generically semisimple and contains the group algebra of the Coxeter group of type Q as a subalgebra. It is a ring homomorphic image of the Birman-Murakami-Wenzl algebra of type Q; this fact will be used in later work determining the structure of the Birman-Murakami-Wenzl algebras of simply laced spherical type.     

Noncommutative algebras related with Schubert calculus on Coxeter groups

For any finite Coxeter system (W,S) we construct a certain noncommutative algebra, the so-called bracket algebra, together with a family of commuting elements, the so-called Dunkl elements. The Dunkl elements conjecturally generate an algebra which is canonically isomorphic to the coinvariant algebra of the Coxeter group W. We prove this conjecture for classical Coxeter groups and I₂(m). We define a “quantization” and a multiparameter deformation of our construction and show that for Lie groups of classical type and G₂, the algebra generated by Dunkl’s elements in the quantized bracket algebra is canonically isomorphic to the small quantum cohomology ring of the corresponding flag variety, as described by B. Kim. For crystallographic Coxeter systems we define the so-called quantum Bruhat representation of the corresponding bracket algebra. We study in more detail the structure of the relations in B_n-, D_n- and G₂-bracket algebras, and as an application, discover a Pieri-type formula in the B_n-bracket algebra. As a corollary, we obtain a Pieri-type formula for multiplication of an arbitrary B_n-Schubert class by some special ones. Our Pieri-type formula is a generalization of Pieri’s formulas obtained by A. Lascoux and M.-P. Schützenberger for flag varieties of type A. We also introduce a super-version of the bracket algebra together with a family of pairwise anticommutative elements, the so-called flat connections with constant coefficients, which describes “a noncommutative differential geometry on a finite Coxeter group” in the sense of S. Majid.     

An analysis of the multiplicity spaces in branching of symplectic groups

Branching of symplectic groups is not multiplicity free. We describe a new approach to resolving these multiplicities that is based on studying the associated branching algebra B{\mathcal{B}}. The algebra B{\mathcal{B}} is a graded algebra whose components encode the multiplicities of irreducible representations of Sp _2n–2 in irreducible representations of Sp _2n . Our first theorem states that the map taking an element of Sp _2n to its principal n × (n + 1) submatrix induces an isomorphism of B{\mathcal{B}} to a different branching algebra B^￠{\mathcal{B}^{\prime}}. The algebra B^￠{\mathcal{B}^{\prime}} encodes multiplicities of irreducible representations of GL _n–1 in certain irreducible representations of GL _n+1. Our second theorem is that each multiplicity space that arises in the restriction of an irreducible representation of Sp _2n to Sp _2n–2 is canonically an irreducible module for the n-fold product of SL ₂. In particular, this induces a canonical decomposition of the multiplicity spaces into one-dimensional spaces, thereby resolving the multiplicities.     

The number of distinct latin squares as a group-theoretical constant

It is shown that the number l_n of all distinct Latin squares of the nth order appears as a structure constant of the algebra defined on the Magic squares of the same order. The algebra is isomorphic to the algebra of double cosets of the symmetric group of degree n² with respect to the intransitive subgroup of all substitutions in the n sets of transitivity, each set being of cardinality n. The representation theory makes it possible then to express l_n in terms of eigenvalues of a certain element of the algebra.     

Involutions for upper triangular matrix algebras

In this paper we describe completely the involutions of the first kind of the algebra UT_n(F) of n×n upper triangular matrices. Every such involution can be extended uniquely to an involution on the full matrix algebra. We describe the equivalence classes of involutions on the upper triangular matrices. There are two distinct classes for UT_n(F) when n is even and a single class in the odd case.Furthermore we consider the algebra UT₂(F) of the 2×2 upper triangular matrices over an infinite field F of characteristic different from 2. For every involution *, we describe the *-polynomial identities for this algebra. We exhibit bases of the corresponding ideals of identities with involution, and compute the Hilbert (or Poincaré) series and the codimension sequences of the respective relatively free algebras.Then we consider the *-polynomial identities for the algebra UT₃(F) over a field of characteristic zero. We describe a finite generating set of the ideal of *-identities for this algebra. These generators are quite a few, and their degrees are relatively large. It seems to us that the problem of describing the *-identities for the algebra UT_n(F) of the n×n upper triangular matrices may be much more complicated than in the case of ordinary polynomial identities.     

Zonal polynomials for wreath products

The pair of groups, symmetric group S _2n and hyperoctohedral group H _n , form a Gelfand pair. The characteristic map is a mapping from the graded algebra generated by the zonal spherical functions of (S _2n ,H _n ) into the ring of symmetric functions. The images of the zonal spherical functions under this map are called the zonal polynomials. A wreath product generalization of the Gelfand pair (S _2n ,H _n ) is discussed in this paper. Then a multi-partition versions of the theory is constructed. The multi-partition version of zonal polynomials are products of zonal polynomials and Schur functions and are obtained from a characteristic map from the graded Hecke algebra into a multipartition version of the ring of symmetric functions. Dedicated to Professor Eiichi Bannai on his 60th birthday.     

Triple products on  n

Triple products in  _n whose related algebra is  _n itself or  _n are classified up to isomorphism. This classification is obtained using the intimate relation between triple products and Lie (super)algebra structures.     

Conservative algebras of 2-dimensional algebras,II

In 1990 Kantor defined the conservative algebra W(n) of all algebras (i.e. bilinear maps) on the n-dimensional vector space. If n>1, then the algebra W(n) does not belong to any well-known class of algebras (such as associative, Lie, Jordan, or Leibniz algebras). We describe automorphisms, one-sided ideals, and idempotents of W(2). Also similar problems are solved for the algebra W₂ of all commutative algebras on the 2-dimensional vector space and for the algebra S₂ of all commutative algebras with trace zero multiplication on the 2-dimensional vector space.     

A Decomposition of the Descent Algebra of a Finite Coxeter Group

The purpose of this paper is twofold. First we aim to unify previous work by the first two authors, A. Garsia, and C. Reutenauer (see [2], [3], [4], [5] and [10]) on the structure of the descent algebras of the Coxeter groups of type A _n and B _n. But we shall also extend these results to the descent algebra of an arbitrary finite Coxeter group W. The descent algebra, introduced by Solomon in [14], is a subalgebra of the group algebra of W. It is closely related to the subring of the Burnside ring B(W) spanned by the permutation representations W/W _J, where the W _J are the parabolic subgroups of W. Specifically, our purpose is to lift a basis of primitive idempotents of the parabolic Burnside algebra to a basis of idempotents of the descent algebra.     

On balanced bases

It is proved that either a given balanced basis of the algebra (n + 1)M₁ M_n or the corresponding complementary basis is of rank n + 1. This result enables us to claim that the algebra (n + 1)M₁ M_n is balanced if and only if the matrix algebra M_n admits a WP-decomposition, i.e., a family of n + 1 subalgebras conjugate to the diagonal algebra and such that any two algebras in this family intersect orthogonally (with respect to the form tr XY) and their intersection is the trivial subalgebra. Thus, the problem of whether or not the algebra (n + 1)M₁ M_n is balanced is equivalent to the well-known Winnie-the-Pooh problem on the existence of an orthogonal decomposition of a simple Lie algebra of type A_n–1 into the sum of Cartan subalgebras.     

Ideals and simplicity of unitary Lie algebras

Double graded ideals and simplicity of elementary unitary Lie algebra eu _n (R,⁻, γ) and Steinberg unitary Lie algebra stu _n (R,⁻, γ) are characterized, where R is a unital involutory associative algebra over a field F of characteristic zero, n ⩾ 5.     

Diagonal reduction algebras of gl type

Several general questions concerning a reduction algebra, namely, rings of definition and the algorithmic efficiency of the set of ordering relations, are discussed. For reduction algebras related to the diagonal embedding of the Lie algebra gl _n into gl _n ⊕gl _n , a stabilization phenomenon is established and a complete set of defining relations is given.     

REPRESENTATIONS OF A CLASS OF DRINFELD'S DOUBLES

Let k be a field and A_n(ω) be the Taft's n²-dimensional Hopf algebra. When n is odd, the Drinfeld quantum double D(A_n(ω)) of A_n(ω) is a ribbon Hopf algebra. In the previous articles, we constructed an n₄-dimensional Hopf algebra H_n(p, q) which is isomorphic to D(A_n(ω)) if p ≠ 0 and q = ω^?1 , and studied the irreducible representations of H_n(1, q) and the finite dimensional representations of H₃(1, q). In this article, we examine the finite-dimensional representations of H_n(l q), equivalently, of D(A_n(ω)) for any n ≥ 2. We investigate the indecomposable left H_n(1, q)-module, and describe the structures and properties of all indecomposable modules and classify them when k is algebraically closed. We also give all almost split sequences in mod H_n(1, q), and the Auslander-Reiten-quiver of H_n(1 q).     

Coloured peak algebras and Hopf algebras

For G a finite abelian group, we study the properties of general equivalence relations on G _n = G ⁿ ⋊ _n , the wreath product of G with the symmetric group _n , also known as the G-coloured symmetric group. We show that under certain conditions, some equivalence relations give rise to subalgebras of G _n as well as graded connected Hopf subalgebras of ⨁ _{n≥ o} G _n . In particular we construct a G-coloured peak subalgebra of the Mantaci-Reutenauer algebra (or G-coloured descent algebra). We show that the direct sum of the G-coloured peak algebras is a Hopf algebra. We also have similar results for a G-colouring of the Loday-Ronco Hopf algebras of planar binary trees. For many of the equivalence relations under study, we obtain a functor from the category of finite abelian groups to the category of graded connected Hopf algebras. We end our investigation by describing a Hopf endomorphism of the G-coloured descent Hopf algebra whose image is the G-coloured peak Hopf algebra. We outline a theory of combinatorial G-coloured Hopf algebra for which the G-coloured quasi-symmetric Hopf algebra and the graded dual to the G-coloured peak Hopf algebra are central objects. 2000 Mathematics Subject Classification Primary: 16S99; Secondary: 05E05, 05E10, 16S34, 16W30, 20B30, 20E22Bergeron is partially supported by NSERC and CRC, CanadaHohlweg is partially supported by CRC     

Invariant Measures in Free MV-Algebras

MV-algebras can be viewed either as the Lindenbaum algebras of ?ukasiewicz infinite-valued logic, or as unit intervals of lattice-ordered abelian groups in which a strong order unit has been fixed. The free n-generated MV-algebra Free _n is representable as an algebra of continuous piecewise-linear functions with integer coefficients over the unit cube [0, 1] ⁿ . The maximal spectrum of Free _n is canonically homeomorphic to [0, 1] ⁿ , and the automorphisms of the algebra are in 1–1 correspondence with the pwl homeomorphisms with integer coefficients of the unit cube. In this article, we prove that the only probability measure on [0, 1] ⁿ which is null on underdimensioned 0-sets and is invariant under the group of all such homeomorphisms is the Lebesgue measure. From the viewpoint of lattice-ordered abelian groups, this fact means that, in relevant cases, fixing an automorphism-invariant strong unit implies fixing a distinguished probability measure on the maximal spectrum. From the viewpoint of algebraic logic, it means that the only automorphism-invariant truth averaging process that detects pseudotrue propositions is the integral with respect to Lebesgue measure.     

On balanced bases

It is proved that either a given balanced basis of the algebra (n + 1)M₁ M_n or the corresponding complementary basis is of rank n + 1. This result enables us to claim that the algebra (n + 1)M₁ M_n is balanced if and only if the matrix algebra M_n admits a WP-decomposition, i.e., a family of n + 1 subalgebras conjugate to the diagonal algebra and such that any two algebras in this family intersect orthogonally (with respect to the form tr XY) and their intersection is the trivial subalgebra. Thus, the problem of whether or not the algebra (n + 1)M₁ M_n is balanced is equivalent to the well-known Winnie-the-Pooh problem on the existence of an orthogonal decomposition of a simple Lie algebra of type A_n–1 into the sum of Cartan subalgebras.Translated from Matematicheskie Zametki, vol. 77, no. 2, 2005, pp. 213–218.Original Russian Text Copyright © 2005 by D. N. Ivanov.This revised version was published online in April 2005 with a corrected issue number.