A Generalization of the Terwilliger Algebra

P. M. Terwilliger (1992, J. Algebraic Combin.1, 363–388) considered the -algebra generated by a given Bose Mesner algebra M and the associated dual Bose Mesner algebra M*. This algebra is now known as the Terwilliger algebra and is usually denoted by T. Terwilliger showed that each vanishing intersection number and Krein parameter of M gives rise to a relation on certain generators of T. These relations determine much of the structure of T, thought not all of it in general. To illuminate the role these relations play, we consider a certain generalization of T. To go from T to , we replace M and M* with a pair of dual character algebras C and C*. We define by generators and relations; intuitively is the associative -algebra with identity generated by C and C* subject to the analogues of Terwilligerʹs relations. is infinite dimensional and noncommutative in general. We construct an irreducible -module which we call the primary module; the dimension of this module is the same as that of C and C*. We find two bases of the primary module; one diagonalizes C and the other diagonalizes C*. We compute the action of the generators of on these bases. We show is a direct sum of two sided ideals 0 and 1 with 0 isomorphic to a full matrix algebra. We show that the irreducible module associated with 0 is isomorphic to the primary module. We compute the central primitive idempotent of associated with 0 in terms of the generators of .