Good Gradings on Upper Block Triangular Matrix Algebras

We investigate group gradings of upper block triangular matrix algebras over a field such that all the matrix units lying there are homogeneous elements. We describe these gradings as endomorphism algebras of graded flags and classify them as orbits of a certain biaction of a Young subgroup and the group G on the set G ⁿ , where G is the grading group and n is the size of the matrix algebra. In particular, the results apply to algebras of upper triangular matrices.     

Algebras Defined from Ordered Sets and the Varieties they Generate

We investigate ways of representing ordered sets as algebras and how the order relation is reflected in the algebraic properties of the variety (equational class) generated by these algebras. In particular we consider two different but related methods for constructing an algebra with one binary operation from an arbitrary ordered set with a top element. The two varieties generated by all these algebras are shown to be well-behaved in that they are locally finite, finitely based, and have an equationally definable order relation. We exhibit a bijection between the subdirectly irreducible algebras in each variety and the class of all ordered sets with top element. We determine the structure and cardinality of the free algebra on n-free generators and provide sharp bounds on the number of n-generated algebras in each variety. These enumeration results involve the number of quasi-orders on an n-element set.     

Uniform diagonalisation of matrices over regular rings

The fundamental Separativity Problem for von Neumann regular rings is shown to be equivalent to a linear algebra problem: for a field F, is there a ``uniform formula' for diagonalising a matrix A over , independently of n? Here P and Q are required to be invertible matrices whose entries are fixed regular algebra expressions in the entries of A. Received July 10, 2000; accepted in final form September 26, 2000.     

On tortkara triple systems

The commutator [a,b] = ab?ba in a free Zinbiel algebra (dual Leibniz algebra) is an anticommutative operation which satisfies no new relations in arity 3. Dzhumadildaev discovered a relation T(a,b,c,d) which he called the tortkara identity and showed that it implies every relation satisfied by the Zinbiel commutator in arity 4. Kolesnikov constructed examples of anticommutative algebras satisfying T(a,b,c,d) which cannot be embedded into the commutator algebra of a Zinbiel algebra. We consider the tortkara triple product [a,b,c] = [[a,b],c] in a free Zinbiel algebra and use computer algebra to construct a relation TT(a,b,c,d,e) which implies every relation satisfied by [a,b,c] in arity 5. Thus, although tortkara algebras are defined by a cubic binary operad (with no Koszul dual), the corresponding triple systems are defined by a quadratic ternary operad (with a Koszul dual). We use computer algebra to construct a relation in arity 7 satisfied by [a,b,c] which does not follow from the relations of lower arity. It remains an open problem to determine whether there are further new identities in arity n≥9.     

Hyper‐Archimedean BL‐algebras are MV‐algebras

Generalizations of Boolean elements of a BL‐algebra L are studied. By utilizing the MV‐center MV(L) of L, it is reproved that an element x ∈ L is Boolean iff x ∨ x * = 1 . L is called semi‐Boolean if for all x ∈ L, x * is Boolean. An MV‐algebra L is semi‐Boolean iff L is a Boolean algebra. A BL‐algebra L is semi‐Boolean iff L is an SBL‐algebra. A BL‐algebra L is called hyper‐Archimedean if for all x ∈ L, xⁿ is Boolean for some finite n ≥ 1. It is proved that hyper‐Archimedean BL‐algebras are MV‐algebras. The study has application in mathematical fuzzy logics whose Lindenbaum algebras are MV‐algebras or BL‐algebras. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Nonexpansive algebras

A nonexpansive algebra is a pseudometric algebra in which the operations are all nonexpansive. We study such algebras, particularly in the case of algebras in permutable and n-permutable varieties, leading to new characterizations of such varieties. Free nonexpansive algebras are also investigated. This paper is dedicated to Walter Taylor. Received September 27, 2005; accepted in final form February 4, 2006. The author would like to thank the referee for the many helpful suggestions.     

A class of nilpotent lie algebras

A p-filiform Lie algebra g is a nilpotent Lie algebra for which Goze’s invariant is (n–p,1,…,1). These Lie algebras are well known for P ≥ n-4n = dim(g). In this paper we describe the p-filiform Lie algebras, for p = n-5 and we gjive their classification when the derived subalgebra is maximal.     

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.     

n-Ary Mal'tsev Algebras

By analogy with n-Lie algebras, which are a natural generalization of Lie algebras to the case of n-ary multiplication, we define the concept of an n-ary Mal'tsev algerba. It is shown that exceptional algebras of a vector cross product are ternary central simple Mal'tsev algebras, which are not 3-Lie algebras if the characteristic of a ground field is distinct from 2 and 3. The basic result is that every n-ary algebra of the vector cross product is an n-ary central simple Mal'tsev algebra.     

Hamming graphs in Nomura algebras

Let A be an association scheme on q≥3 vertices. We show that the Bose-Mesner algebra of the generalized Hamming scheme H(n,A), for n?2, is not the Nomura algebra of any type II matrix.This result gives examples of formally self-dual Bose-Mesner algebras that are not the Nomura algebras of type II matrices.     

Bifunctional-elementary relation algebras

A relation algebra is bifunctional-elementary if it is atomic and for any atom a, the element a;1;a is the join of at most two atoms, and one of these atoms is bifunctional (an element x is bifunctional if ’). We show that bifunctional-elementary relation algebras are representable. Our proof combines the representation theorems for: pair-dense relation algebras given by R. Maddux; relation algebras generated by equivalence elements provided corresponding relativizations are representable by S. Givant; and strong-elementary relation algebras dealt with in our earlier work. It turns out that atomic pair-dense relation algebras are bifunctional elementary, showing that our theorem generalizes the representation theorem of atomic pair-dense relation algebras. The problem is still open whether the related classes of rather elementary, functional-elementary, and strong functional-elementary relation algebras are representable. Received July 15, 2007; accepted in final form March 17, 2008.     

On Finite Quantum Groups at −1

This is a contribution to the classification of finite-dimensional pointed Hopf algebras. We are concerned with the case when the group of group-like elements is Abelian of exponent 2. We attach to such a pointed Hopf algebra a generalized simply-laced Cartan matrix; we conjecture that the Hopf algebra is finite-dimensional if and only if the Cartan matrix is of finite type. We prove the conjecture for the types A_n and A_n⁽¹⁾. We obtain the classification of all possible Hopf algebras with Cartan matrix A_n. We use the lifting method developed by Hans-Jürgen Schneider and the first-named author. Presented by S. MontgomeryMathematics Subject Classifications (2000) Primary: 17B37; secondary: 16W30.This work was partially supported by CONICET, Agencia Córdoba Ciencia – CONICOR, FOMEC and Secyt (UNC).     

Examples of banach algebras over commutativebanach algebras of given homological dimension

We prove that, for every natural number n, there exists a unital semisimple Banach star algebra Aand a closed star subalgebra Bof the centre of A, different from C, such that the global B-homological dimension and the B-homological bidimension of Aare both equal to n. The algebras Aand Bcan be taken to be function algebras.     

Explicit irreducible representations of the¶Iwahori–Hecke algebra of Type F4

A general method for computing irreducible representations of Weyl groups and Iwahori–Hecke algebras was introduced by the first author in [10]. In that paper the representations of the algebras of types A _n , B _n , D _n and G _n were computed and it is the purpose of this paper to extend these computations to F ₄. The main goal here is to compute irreducible representations of the Iwahori–Hecke algebra of type F ₄ by only using information in the character table of the Weyl group. Received: Received: 30 July 1998     

Endoprimal implication algebras

An algebra A is endoprimal if, for all , the only maps which preserve the endomorphisms of A are the n-ary term functions of A. The theory of natural dualities has been a very effective tool for finding finite endoprimal algebras. We study endoprimality within the variety of implication algebras, which does not contain any non-trivial dualisable algebras. We show that there are no non-trivial finite endoprimal implication algebras. We also give some examples of infinite implication algebras which are endoprimal. Received July 28, 1998; accepted in final form January 18, 1999.     

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.     

Finite-dimensional Representations for a Class of Generalized Intersection Matrix Lie Algebras

In this paper, the authors study a class of generalized intersection matrix Lie algebras gim(M_n), and prove that its every finite-dimensional semisimple quotient is of type M(n, a, c, d). Particularly, any finite dimensional irreducible gim(M_n) module must be an irreducible module of Lie algebra of type M(n, a, c, d) and any finite dimensional irreducible module of Lie algebra of type M(n, a, c, d) must be an irreducible module of gim(M_n).     

Systeme de poids sur une algebre de Lie nilpotente

Let g be anilpotent Lie algebra (of finite dimensionn over an algebraically closed field of characteristic zero) and let Der(g) be the algebra of derivations of g. Thesystem of weights of g is defined as being that of the standard representation of a maximal torus in Der(g) (see l.l). For a fixed integern, it is well-known that there are in general uncountably many isomorphism classes of nilpotent Lie algebra of dimensionn; but we show that there arefinitely many systems of weights, and each of them is explicitely constructed. The class of those Lie algebras having a given (arbitrary) system of weights is also studied.The first chapter is a setting for the study of nilpotent Lie algebras, used to prove some general theorems. In the second chapter, attention is restricted to a class of nilpotent Lie algebras for which our setting is particularly well adapted.

---

---

Ce papier est extrait de mon travail de thèse [5] effectué sous la direction du Professeur Jean de Siebenthal que je remercie vivement.