Journal of Algebraic Combinatorics, 21, 269–279, 2005 c 2005 Springer Science + Business Media, Inc. Manufactured in The Netherlands. On Modular Standard Modules of Association Schemes AKIHIDE HANAKI Department of Mathematical Sciences, Faculty of Science, Shinshu University, Matsumoto 390-8621, Japan hanaki@math.shinshu-u.ac.jp MASAYOSHI YOSHIKAWA yoshi@math.shinshu-u.ac.jp Department of Mathematical Sciences, Graduate School of Science and Technology, Shinshu University, Matsumoto 390-8621, Japan Received November 3, 2003; Revised June 24, 2004; Accepted July 1, 2004 Abstract. We will determine the structure of the modular standard modules of association schemes of class two. In the process, we will give the theoretical interpretation for the p-rank theory for strongly regular graphs, and understand the p-rank as the dimension of a submodule of the modular standard module. Considering the modular standard module, we can obtain the detailed classification more than the p-rank and the parameters. Keywords: association scheme, modular adjacency algebra, modular standard module, p-rank, strongly regular graph 1. Introduction There are many examples of nonisomorphic association schemes such that adjacency algebras over the complex number field have the same structure constants (intersection numbers). The standard module over the complex number field is completely determined by the structure constants. So their standard modules over the complex number field are also isomorphic. In this case, their modular adjacency algebras are also isomorphic to each other. But there exist cases where their modular standard modules are nonisomorphic. Here, the modular standard module means the standard module over a positive characteristic field. Therefore the structure of the modular standard module can play a role for the structure theory of the association schemes. In this paper, we will determine the structure of the modular standard modules of association schemes of class 2. We will use the p-rank theory of strongly regular graphs which are studied by Brouwer, van Eijl [5], and Peeters [8]. We will give the theoretical interpretation for the p-rank theory, and understand the p-rank as the dimension of a submodule of the standard module. Considering the standard module, we can obtain the detailed classification more than the p-rank and the parameters. 270 2. HANAKI AND YOSHIKAWA Definition and preliminaries In this section, we assume X to be commutative. Let X = (X, {Ri }i=0,... ,d ) be an association scheme, and Ai (i = 0, . . . , d) be its adjacency matrices. Put n = |X | and vi the valency of Ai . Let us denote the adjacency algebra of X over a field L by LX and the standard module by L X . Let (K , R, F) be a splitting p-modular system for the adjacency algebra, and let (π ) be the maximal ideal of R. We denote the image of the canonical epimorphism R → F by ∗ (For details about a p-modular system, see [7]). Suppose that X is commutative. Then RX/π RX ∼ = FX and π RX ⊆ J (RX) [7, Theorem I.14.1], so idempotents of FX are liftable to idempotents of RX [7, Theorem I.14.2]. Consider the primitive idempotents decomposition of 1 FX in FX: 1 FX = f 0 + · · · + f s ∈ FX, then we have the primitive idempotents decomposition of 1 RX in RX: 1 RX = e B0 + · · · e Bs ∈ RX such that e∗Bi = f i . These decompositions yield the decomposition of algebras. We call this e Bi (e∗Bi ) a block idempotent of RX(FX), and we write Bi = e Bi RX and Bi∗ = e∗Bi FX. Let e0 , . . . , ed be the set of primitive idempotents in K X. Then there is a partition {0, . . . , d} = sj=0 T j such that e Bi = j∈Ti e j . When e j ∈ Ti , we say that e j belongs to the block Bi . Let χ j be the (one-dimensional) irreducible representation of K X corresponding to e j . Then e j belongs to Bi if and only if χ j (e Bi ) = 1. Since Bi∗ has the unique idempotent e∗Bi , Bi∗ /J (Bi∗ ) ∼ = F. If χi and χ j belong to the same block, then χi∗ = χ ∗j . So we have the following. Lemma 1 Irreducible representations χi and χ j of K X belong to the same block if and only if χi (Ar ) ≡ χ j (Ar ) (mod (π)) for all r = 0, . . . , d. Lemma 2 The dimension of Bi∗ is equal to the number of χ j belonging to Bi . Proof: We have dim F Bi∗ = rank R Bi = dim K e Bi K X. We consider a (d + 1) × (d + 1) matrix P with the (i, j)-entry χi (A j ). We call P the character table of X. Proposition 3 The algebra FX is semisimple if and only if det P ≡ 0 (mod (π)). MODULAR STANDARD MODULES OF ASSOCIATION SCHEMES 271 Proof: If FX is semisimple, then clearly we have det P ∗ = 0. If FX is not semisimple, the P ∗ contains at least two same rows, so det P ∗ = 0. General sufficient criteria for adjacency algebras to be semisimple were obtained in [1] and [6]. Mapping each matrix Ar to vr induces an algebra homomorphism from K X to K . This representation is usually called the trivial representation of K X. We assume that χ0 is the trivial representation, and χ0 belongs to B0 . We call B0 the principal block of X. Then we have the following. Proposition 4 The dimension of the principal block B0∗ is one if and only if p n. (This is also true for non-commutative association schemes.) d Proof: Put J = i=0 Ai . Since J Ai = Ai J = vi J , J ∗ generates a one-dimensional ideal of FX, and the corresponding representation is trivial. We have J 2 = n J . If p n, then n −1 J is a central primitive idempotent, thus B0∗ = J ∗ FX is one-dimensional. If p | n, then J ∗ is a central nilpotent element in B0∗ , so it is in the Jacobson radical. In this case, dim F B0∗ > 1. 3. Contragradient modules Let X = (X, {Ri }i=0,...,d ) be an association scheme (not necessary commutative), and F a field. For a right FX-module V , we put V̂ := Hom F (V, F). For f ∈ V̂ , v ∈ V , and i ∈ {0, . . . , d}, we define the action of FX to V̂ by ( f Ai )(v) := f (v Ai ). Here Ai = t Ai . Then ( f (Ai A j ))(v) = f (v A j Ai ) = (( f Ai )A j )(v) for i, j ∈ {0, . . . , d}. So V̂ is a right FX-module. We call V̂ the contragradient module of V . Proposition 5 F X∼ = F X as right FX-modules. Proof: For x ∈ X , define f x ∈ F X by f x (y) = δx y . Put ϕ : F X → F X the F-linear map defined by ϕ(x) = f x . Obviously ϕ is an isomorphism of vector spaces. We show that 272 HANAKI AND YOSHIKAWA ϕ is an FX-homomorphism. We have ϕ(x Ai )(y) = ϕ z (y) = f z (y) = (x,z)∈Ri (x,z)∈Ri 1 if (x, y) ∈ Ri , 0 otherwise, (ϕ(x)Ai )(y) = ϕ(x)(y Ai ) = f x = z (y,z)∈Ri 1 if (y, x) ∈ Ri , 0 otherwise. Now ϕ(x Ai ) = ϕ(x)Ai and ϕ is an FX-homomorphism. Proposition 6 We fix x ∈ X . Put ι : FX → F X the F-linear map defined by ι(Ai ) = x Ai . Then ι is an FX-monomorphism. d Proof: Obviously, ι is an FX-homomorphism. Assume ι( i=0 ai Ai ) = 0. Then 0=ι d ai Ai = i=0 d ai x Ai = d i=0 ai y. i=0 (x,y)∈Ri Now ai = 0 for all i ∈ {0, . . . , d}, and so d i=0 ai Ai = 0. We consider the structure of the contragradient module FX of the regular FX-module. FX by τi (A j ) = δi j . Then {τi | i ∈ {0, . . . , d}} is a basis of FX. Now Define τi ∈ (τi A j )(Ak ) = τi (Ak A j ) = pki j . So we have the following. Proposition 7 τi A j = dk∈0 pki j τk . Proposition 8 Let ι : FX → F X be as above. Put ι̂ : F X → FX the map defined by ι̂( f ) = f ◦ ι. Then ι̂ is a FX-epimorphism. Proof: For i ∈ {0, . . . , d}, we fix y ∈ X such that (x, y) ∈ Ri . Then ι̂( f y )(A j ) = f y ◦ ι(A j ) = f y (x A j ) 1 if (x, y) ∈ R j , = 0 otherwise, and so we have ι̂( f y ) = τi . MODULAR STANDARD MODULES OF ASSOCIATION SCHEMES 4. 273 The structure of the adjacency algebras with d = 2 It is well-known that association schemes with at most five elements are commutative [12, Theorem 4.5.1(ii)]. We assume that F is an algebraically closed field of characteristic p. Lemma 9 The isomorphism classes of F-algebras of dimension 3 are F ⊕ F ⊕ F, F ⊕ F[x]/(x 2 ), F[x]/(x 3 ), F[x, y]/(x 2 , x y, y 2 ), and T2 (F) = ( FF F0 ). Since T2 (F) is non-commutative, T2 (F) can not be an adjacency algebra of an association scheme. The algebra F[x, y]/(x 2 , x y, y 2 ) is not self injective, but it can be an adjacency algebra of an association scheme. The smallest such example is the adjacency algebra of the group association scheme of the symmetric group of degree 3 in characteristic 3. Firstly, we consider the non-symmetric case, namely A1 = t A1 = A2 . Put k = v1 = v2 = (n − 1)/2, where n = |X |. Note that k ≡ 3 (mod 4), in this case. Then we have k−1 k+1 A1 + A2 , 2 2 k−1 k−1 A1 A2 = k A0 + A1 + A2 , 2 2 k+1 k−1 A22 = A1 + A2 . 2 2 A12 = Theorem 10 Let X be a non-symmetric association scheme with d = 2. Then we have the following. (1) If p n, then FX ∼ = F ⊕ F ⊕ F. (2) If p | n, then FX ∼ = F[x]/(x 3 ). Proof: The character table is as follows: A0 χ0 1 χ1 1 χ2 1 A1 k √ −1+ n i 2 √ −1− n i 2 A2 k √ −1− n i 2 √ −1+ n i 2 Obviously, (1) holds. (2) In this case, (A∗1 − k A∗0 )2 = 0 and (A∗1 − k A∗0 )3 = 0, so we have FX ∼ = F[x]/(x 3 ). Now we consider symmetric association schemes with d = 2. They correspond to strongly regular graphs. If we consider a strongly regular graph with parameters (n, k, λ, µ) [4, p. 8], then we have A12 = k A0 + λA1 + µA2 , A1 A2 = (k − λ − 1)A1 + (k − µ)A2 , A22 = (n − k − 1)A0 + (n − 2k + λ)A1 + (n − 2k + µ − 2)A2 . 274 HANAKI AND YOSHIKAWA Now A1 has three eigenvalues k, r , and s, here r and s are roots of the equation x 2 + (µ − λ)x + (µ − k) = 0. The character table is as follows. A0 A1 A2 χ0 1 k n−k−1 χ1 1 r −r − 1 χ2 1 s −s − 1 If the graph is not a conference graph, then r and s are rational integers. Theorem 11 Let be a strongly regular graph with parameters (n, k, λ, µ) which is not a conference graph, and let X be an association scheme defined by . Then A1 has eigenvalues k, r , and s and the following holds. (1) If p | n and r ≡ s (mod p), then FX ∼ = F[x]/(x 2 ) ⊕ F (F[x]/(x 2 ) is the principal block), (2) If p | n, r ≡ s (mod p), and at least one of k(k + 1), λ − 2k and µ are not zero (mod p), then FX ∼ = F[x]/(x 3 ), (3) If p | n, r ≡ s (mod p), and k(k + 1) ≡ λ − 2k ≡ µ ≡ 0 (mod p), then FX ∼ = F[x, y]/(x 2 , x y, y 2 ), (4) If p n and r ≡ s (mod p), then FX ∼ = F ⊕ F ⊕ F, (5) If p n and r ≡ s (mod p), then FX ∼ = F ⊕ F[x]/(x 2 ) (F is the principal block). In (2) and (3), k(k + 1) ≡ λ − 2k ≡ µ ≡ 0 (mod p) if and only if (A∗1 − k A∗0 )2 = 0. Proof: We note that r ≡ s (mod (π )) if and only if r ≡ s (mod p) since r and s are rational integers. Suppose that p | n. Then the principal block is not simple, so k ≡ r (mod p) of k ≡ s (mod p) by the character table. If only one of them holds, then (1) holds. Otherwise, FX has only one irreducible representation, so it is a local algebra. In this case, we have FX ∼ = F[x]/(x 3 ) or FX ∼ = F[x, y]/(x 2 , x y, y 2 ). If (A∗1 − k A∗0 )2 = 0, then we have 3 ∼ FX = F[x]/(x ). Suppose (A∗1 − k A∗0 )2 = 0. Then, by a direct calculation, we have k(k + 1) ≡ λ − 2k ≡ µ ≡ 0 (mod p) and (α A∗1 + β A∗2 )2 = 0 for any α, β ∈ F. Thus FX ∼ = F[x, y]/(x 2 , x y, y 2 ). Suppose that p n. Then the principal block is isomorphic to F. The result follows from Lemma 2. Note that there exist strongly regular graphs for every case in this theorem. Now we consider conference graphs. Then the parameters are (n, k, λ, µ) √ = (4µ + √ 1, 2µ, µ − 1, µ), and the eigenvalues are k, r = (−1 + n)/2, and s = (−1 − n)/2. Theorem 12 Let be a conference graph with parameters (n, k, λ, µ) = (4µ+1, 2µ, µ− 1, µ), and let X be an association scheme defined by . Then the following holds. (1) If p | n, then FX ∼ = F[x]/(x 3 ). (2) If p n, then FX ∼ = F ⊕ F ⊕ F. MODULAR STANDARD MODULES OF ASSOCIATION SCHEMES 275 Proof: Suppose p | n. Then k ≡ r ≡ s (mod (π )), so FX is not semisimple. We can easily check that (A∗1 − k A∗0 )2 =√0, thus FX ∼ = F[x]/(x 3 ). Suppose p n. Then r − s = n ≡ 0 (mod (π )). Thus FX is semisimple. 5. The structure of the standard module with d = 2 In the previous section, we showed that there exist the following five types for the structure of the adjacency algebras: (1) (2) (3) (4) (5) FX ∼ = FX ∼ = FX ∼ = FX ∼ = FX ∼ = F ⊕ F ⊕ F, F ⊕ F[x]/(x 2 ) (the principal block is F), F[x]/(x 2 ) ⊕ F (the principal block is F[x]/(x 2 )), F[x]/(x 3 ), F[x, y]/(x 2 , x y, y 2 ). In this section, we will determine the structure of the standard module for each type. We assume that A1 has eigenvalues k, r, s with multiplicities 1, m r , m s . If X is commutative, (F X )M is an FX-module for any M ∈ FX. Then it follows that dim(F X )M = r k F (M). Especially, if X is class 2, the p-rank of M such that M ∈ radFX is very important. Since many of them have the relevant p-rank, the structure of F X plays a role for the structure theory of the association scheme (See [5]). 5.1. Type (1) FX ∼ =F⊕F⊕F Let B0 , B1 and B2 be the corresponding blocks to k, r and s, respectively. Let Si be the simple module such that the corresponding representation belongs to Bi for i = 0, 1, 2. In this case, it is known that FX ∼ = S0 ⊕ m r S1 ⊕ m s S2 . In this case, the structure of F X is completely determined by the parameters. In the case of type (2) or type (3), we set that FX = B0 ⊕ B1 is the block decomposition of the adjacency algebra, where B0 is the principal block. Let Si be the simple module such that the corresponding representation belongs to Bi for i = 0, 1. In these cases, it is enough that we determine dim F radF X . 5.2. Type (2) FX ∼ = F ⊕ F[x]/(x 2 ) Let P be the projective cover of S1 and e1 the block idempotent of B1 . We set that M = e1 (A1 − s A0 ). Then radFX = F M ∗ . Since the coefficient of Ai∗ in M ∗ is in F p for each i, r k F (M) = r k p (M). We set that t = r k p (M). Then it follows that FX ∼ = S0 ⊕ t P ⊕ (n − 1 − 2t)S1 . 276 HANAKI AND YOSHIKAWA Interesting examples are the association schemes defined by (26,10,3,4)-strongly regular graphs. In this case, there are 10 non-isomorphic association schemes. The adjacency algebras over a field of characteristic 5 are type (2). Then the structures of the modular standard modules are as follows: FX 5.3. The number of non-isomorphic association schemes S0 ⊕ 9P ⊕ 7S1 1 S0 ⊕ 11P ⊕ 3S1 2 S0 ⊕ 12P ⊕ S1 7 Type (3) FX ∼ = F[x]/(x 2 ) ⊕ F Let P be the projective cover of S0 . In this case, we have either k ≡ r or k ≡ s. Without loss of generality, we assume that k ≡ r . Since radFX is F J ∗ , radF X is one-dimensional. Therefore it follows that FX ∼ = P ⊕ (n − m s − 2)S0 ⊕ m s S1 . In this case, the structure of F X is completely determined by the parameters. 5.4. Type (4) FX ∼ = F[x]/(x 3 ) We set that Mi ∼ = FX/(radFX)i as FX-modules for i = 1, 2, 3. We set M = A1 − k A0 . Then rad2 FX = F J ∗ and radFX = F J ∗ + F M ∗ . We set t = r k p (M) = r k F (M). Since (M ∗ )2 = µJ ∗ = 0, (F X )J ∗ ⊂ (F X )M ∗ . Therefore it follows that FX ∼ = M3 ⊕ (t − 2)M2 ⊕ (n − 2t + 1)M1 . Interesting examples are the association schemes defined by the (25,12,5,6)-strongly regular graphs. Their adjacency algebras over a field of characteristic 5 are type (4). There are 15 strongly regular graphs with parameters (25,12,5,6), but the only one of them is selfcomplementary, so there are 8 non-isomorphic association schemes. Then the structures of the modular standard modules are as follows: FX The number of non-isomorphic association schemes M3 ⊕ 10M2 ⊕ 2M1 5 M3 ⊕ 9M2 ⊕ 4M1 2 M3 ⊕ 7M2 ⊕ 8M1 1 MODULAR STANDARD MODULES OF ASSOCIATION SCHEMES 5.5. 277 Type (5) FX ∼ = F[x, y]/(x 2 , x y, y 2 ) In this case, p | v1 and p | v2 + 1, or p | v1 + 1 and p | v2 . Let α and β be p | vα and p | vβ + 1. In this case, we can define an isomorphism FX → F[x, y]/(x 2 , x y, y 2 ) by Aα → x and A0 + Aα + Aβ → y. From here, we identify them. Now we consider FX. Consider a basis {τ0 , τα − τ0 , τ0 − τβ } of FX. Then the matrix representation of FX on FX with respect to this basis is as follows: 0 x → 0 0 0 0 0 1, 0 0 0 y → 0 0 0 1 0 0. 0 0 Now we consider the structure of F X . Let F X = M1 ⊕ M2 ⊕ · · · ⊕ Mr be an indecomposable decomposition of F X . Since dim F F X y = 1, there is the unique Mi such that Mi y = 0. We assume M1 y = 0. Since FX has tame representation type, we can classify all indecomposable FX-modules [3, Section 4.3]. We have the following. Proposition 13 Let M be an indecomposable FX-module such that dim F M y = 0. Then the corresponding representation is one of the following: 1 : x → (0), y → (0) (simple module), 0 1 0 0 2 : x → , y → . 0 0 0 0 Proposition 14 Let M be an indecomposable FX-module such that dim F M y = 1. Then the corresponding representation is one of the following: 1 (λ) : x → 2 : x → 0 0 0 0 0 3 : x → 0 0 1 , 0 0 , 0 0 0 λ y → (λ = 0), 0 0 1 y → , 0 0 1 0 0 0 0 , y → 0 0 1 , 0 0 0 0 0 0 0 278 HANAKI AND YOSHIKAWA 0 4 : x → 0 0 0 0 5 : x → 0 0 1 0 0 0 0, 0 0 1 0 0 0 0 0 0 0 0 y → 0 0 1 , 0 0 0 1 0 0 0, 0 0 0 0 0 0 0 0 0 0 0 0 y → 0 1 0 . 0 0 We set t = r k p (Aα ) = r k F (Aα ). From Propositions 5 and 13, M1 must be selfcontragradient. It follows that F X ∼ = 5 ⊕ (t − 2)2 ⊕ (n − 2t)1 , 1 (λ) ⊕ (t − 1)2 ⊕ (n − 2t)1 , or 2 ⊕ t2 ⊕ (n − 2t − 2)1 . Let us denote the column space of Aα by Aα and the all-one column vector by 1. Then (F X )J ∗ ⊂ (F X )Aα if and only if 1 ∈ Aα . We that 1 ∈ Aα . Let us denote the assume n ai Aα (i), where ai ∈ F for all i. Then i-th column vector of Aα by Aα (i). We set 1 = i=1 it follows that FX ∼ = 5 ⊕ (t − 2)2 ⊕ (n − 2t)1 if 1 ∈ Aα and 1 (λ) ⊕ (t − 1)2 ⊕ (n − 2t)1 if 1 ∈ Aα and 2 ⊕ t2 ⊕ (n − 2t − 2)1 if 1 ∈ Aα . n i=1 n ai ≡ 0 (mod p), ai ≡ 0 (mod p), i=1 The example whose modular standard module contains 5 is the association scheme defined by the (16,5,0,2)-strongly regular gaph. The adjacency algebra over a field of characteristic 2 is type (5) and F X ∼ = 5 ⊕ 42 ⊕ 41 . The example whose modular standard module contains 2 is the association scheme defined by the triangular graph T (8). The adjacency algebra over a field of characteristic 2 is type (5) and F X ∼ = 2 ⊕ 62 ⊕141 . There are 4 strongly regular graphs with parameters (28, 12, 6, 4), namely T (8) and three Chang graphs. We know that T (8) is characterized by the 2-rank r k2 (A1 ) (See [5]), but T (8) is also characterized by the structure of the modular standard module. Because it follows that F X ∼ = 5 ⊕ 62 ⊕ 121 for the association scheme defined by a Chang graph. The example whose modular standard module contains 1 (λ) is the association scheme defined by the (36,14,4,6)-strongly regular graphs. The adjacency algebras over a field of characteristic 3 are type (5). There are 180 strongly regular graphs with parameters (36,14,4,6). Two of them have the structure of the modular standard module F X ∼ = 1 (λ) ⊕ 122 ⊕ 101 . Notes In the cases type (1) and (3), the structure of the modular standard module is determined completely by the multipicities (if the association scheme is defined by a strongly regular graph, they are determined by the parameters). Therefore we are interested in type MODULAR STANDARD MODULES OF ASSOCIATION SCHEMES 279 (2), (4) and (5). In the cases type (2) and (4), we can determine the structure of the modular standard module by the p-rank of the corresponding matrix and the parameters of the corresponding strongly regular graph. Here we focus on the case type (5). Then there is the possibility that we can obtain more information than the p-rank. Namely, they have the same p-rank of Aα , but their structures of the modular standard module are non-isomorphic. Such an example is (36, 15, 6, 6)-strongly regular graph. There are 227 strongly regular graphs with the parameter (36, 15, 6, 6) in the list by Spence [10], [11]. There are 60 strongly regular graphs such that r k2 (A2 ) = 14. Then three strongly regular graphs of them have F X ∼ = 2 ⊕ 142 ⊕ 61 , and the others FX ∼ = 5 ⊕ 122 ⊕ 81 . We do not know the examples that there are all of three cases with the same p-rank. In general, it is not so easy to calculate the value λ for 1 (λ). We do not know the value λ and its range. Acknowledgment The authors are thankful to the referee for lots of helpful remarks and suggestions. References 1. Z. Arad, E. Fisman, and M. Muzychuk, “Generalized table algebras,” Israel J. Math. 144 (1999), 29–60. 2. E. Bannai and T. Ito, “Algebraic combinatorics. I,” Association Schemes, Benjamin-Cummings, Menlo Park, CA, 1984. 3. D. Benson, Representation and Cohomology I, Cambridge, 1995. 4. A.E. Brouwer, A.M. Cohen, and A. Neumaier, Distance-Regular Graphs, Springer-Verlag, Berlin, Heidelberg, 1989. 5. A.E. Brouwer and C.A. van Eijl, “On the p-rank of the adjacency matrices of strongly regular graphs,” J. Algebraic Combin. 1 (1992), 329–346. 6. A. Hanaki, “Semisimplicity of adjacency algebras of association schemes,” J. Algebra 225 (2000), 124–129. 7. H. Nagao and Y. Tsushima, Representations of Finite Groups, Academic Press, San Diego CA, 1987. 8. R. Peeters, “Uniqueness of strongly regular graphs having minimal p-rank,” Linear Algebra Appl. 226–228 (1995), 9–31. 9. R. Peeters, “On the p-ranks of the adjacency matrices of distance-regular graphs,” J. Algebraic Combin. 15 (2002), 127–149. 10. E. Spence, “Regular two-graphs on 36 vertices,” Linear Algebra Appl. 459–497 (1995), 226–228. 11. E. Spence, http://www.maths.gla.ac.uk/%7ees/srgraphs.html . 12. P.-H. Zieschang, An Algebraic Approach to Association Schemes, vol. 1628, Lecture Notes in Math Springer, Berlin, Heidelberg, New York, 1996.