For each n>0, we define an algebra having many properties that one might expect to hold for a Brauer algebra of type Bn. It is defined by means of a presentation by generators and relations. We show that this algebra is a subalgebra of the Brauer alg
ebra of type Dn+1 and point out a cellular structure in it. This work is a natural sequel to the introduction of Brauer algebras of type Cn, which are subalgebras of classical Brauer algebras of type A2n-1 and differ from the current ones for n>2.
The Birman-Murakami-Wenzl algebra (BMW algebra) of type Dn is shown to be semisimple and free of rank (2^n+1)n!!-(2^(n-1)+1)n! over a specified commutative ring R, where n!! is the product of the first n odd integers. We also show it is a cellular al
gebra over suitable ring extensions of R. The Brauer algebra of type Dn is the image af an R-equivariant homomorphism and is also semisimple and free of the same rank, but over the polynomial ring Z with delta and its inverse adjoined. 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 Dn is a subalgebra of the BMW algebra of the same type.
For each natural number n greater than 1, we define an algebra satisfying many properties that one might expect to hold for a Brauer algebra of type Cn. The monomials of this algebra correspond to scalar multiples of symmetric Brauer diagrams on 2n s
trands. The algebra is shown to be free of rank the number of such diagrams and cellular, in the sense of Graham and Lehrer.
Let L be the Lie algebra of a simple algebraic group defined over a field F and let H be a split Cartan subalgebra of L. Then L has a Chevalley basis with respect to H. If the characteristic of F is not 2 or 3, it is known how to find it. In this pap
er, we treat the remaining two characteristics. To this end, we present a few new methods, implemented in Magma, which vary from the computation of centralisers of one root space in another to the computation of a specific part of the Lie algebra of derivations of $L$.
A generalization of the Kauffman tangle algebra is given for Coxeter type Dn. The tangles involve a pole or order 2. The algebra is shown to be isomorphic to the Birman-Murakami-Wenzl algebra of the same type. This result extends the isomorphism betw
een the two algebras in the classical case, which in our set-up, occurs when the Coxeter type is of type A with index n-1. The proof involves a diagrammatic version of the Brauer algebra of type Dn in which the Temperley-Lieb algebra of type Dn is a subalgebra.
