Nilpotent closed subsets of association schemes

From MaRDI portal
Publication:2472836





For each finite set \(X\) and \(r\subseteq X\times X\) we set \(r^*=\{(x,y)\;|\;(y,x)\in r\}\) and \(xr=\{y\in X\;|\;(x,y)\in r\}\) where \(x\in X\). Let \(X\) be a nonempty finite set and \(G\) a partition of \(X\times X\) which does not contain the empty set. The pair \((X,G)\) is an association scheme if it is satisfies: {\parindent=8mm \begin{itemize}\item[(i)]\(1_X=\{(x,x)\;|\;x\in X\}\) is a member of \(G\); \item[(ii)]for each \(g\in G\), \(g^*\) is a member of \(G\); \item[(iii)]for all \(d,e\in X,f\in G\), \(|xd\cap ye^*|\) is constant \(a_{def}\) whenever \((x,y)\in f\). \end{itemize}} For each \(g\in G\) we abbreviate \(a_{gg^*1_X}\) as \(n_g\), which is called the valency of \(g\). For all \(D,E\subseteq G\) we set \[ DE = \bigcup_{d\in D,e\in E} \{f\in G\;|\;a_{def}>1\}. \] Let \(H\) be a nonempty subset of \(G\). Then we set \(n_H=\sum_{h\in H}n_h\), called the valency of \(H\). We call \(H\) closed if \(HH\subseteq H\). We shall write \(H\leq K\) if \(H\) and \(K\) are closed in \(G\) with \(H\subseteq K\). Let \(H\leq K\leq G\). We shall write \(H\triangleleft K\) if \(k^*Hk\subseteq H\) for each \(k\in K\). Let \(p\) be a prime. We say that \(H\) is \(p\)-valenced if \(n_h\) is a power of \(p\) for each \(h\in H\), and \(H\) is a \(p\)-subset if \(H\) is \(p\)-valenced and \(n_H\) is a power of \(p\). We say \(H\) is thin if \(n_h=1\) for each \(h\in H\). We say \(H\) is a Sylow p-subset of \(K\), if \(H\) is a closed \(p\)-subset of \(K\) and \(n_k/n_H\) is prime with respect to \(p\). We say that a closed subset \(M\) is nilpotent if, for each \(H<M\) and each prime divisor \(p\) of \(n_m/n_H\), there exist \(L\leq M\) such that \(H\triangleleft L\) and \(n_L/n_H=p\). Theorem. Let \((X,G)\) be an association scheme and \(M\leq G\). Then \(M\) is nilpotent if and only if \(M\) is the direct product of Sylow p-subsets of \(M\) where \(p\) ranges in the set of prime divisors of \(n_M\).











This page was built for publication: Nilpotent closed subsets of association schemes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2472836)