Quotient Structures in C-Algebras
Quotient Structures in C-Algebras
复制标题
DOI:
10.1006/jabr.1995.1174
复制
发表时间:
1995-07
影响因子:
0.9
通讯作者:
H. I. Blau
中科院分区:
文献类型:
--
作者:
H. I. Blau
A C-algebra is a commutative algebra A over the complex numbers with a distinguished basis B which has certain specified properties (given below). In particular, the structure constants are real. The definition of a C-algebra was first stated explicitly by Kawada [K], following Hoheisel [H], although the notion is implicit in previous work of Schur ([S1] or [S2, Vol. III, pp. 266—291]). Kawada’s goal was to abstract the relationship between the center of the group algebra and the ring of class functions for a finite group. Thus, fqI_r any C-algebra (A, B), he constructed a dual C-algebra (A, B), so that B= B, and so that when A is the center of a group algebra with basis B consisting of the sums over conjugacy classes, then (A, B) may be identified with the algebra of class functions with basis the set of irreducible characters of the group (each multiplied by its degree; see below).If the structure constants are nonnegative, then (A, B) is a table algebra (as defined by Arad and the author [AB]). Kawada defined suitable notions of substructure and quotient structure for C-algebras. Under the assump-tion that both (A, B) and (A, B) are table algebras, he showed that any substructure of (A, B) yields a quotient structure, and conversely. These assumptions hold, of course whenever the C-algebra arises from a finite group as in the paragraph above, or when it is the adjacency algebra of a commutative association scheme (see [BI, Sections IL2, II. 3]; Kawada’s results cited here, which were independently rediscovered in the guise of “finite abelian hypergroups” by McMullen and Price [M, MP], are given in [B1, Sections II. 5, II. 9]). But there are examples of C-algebras (see Exam-