The group of automorphisms of non-associative commutative algebras associated with the group of automorphisms of 2-designs (Q689725)

Let \(D= (\Omega,{\mathcal B})\) be a 2-design with parameters \(v\), \(b\), \(k\), \(r\) where \(r,k\geq 3\) and \(\Omega= \{0,\dots, n\}\). Let \(i,j\in \Omega\) with \(i\neq j\), assume that \(G\) is a subgroup of \(\Aut (D)\) acting 2- transitively on \(\Omega\) and suppose that \((i,j)\), \(B(i,j)- (i,j)\) and \(\Omega- B(i,j)\) are the orbits of \(\widetilde {G}_{i,j}\) (the global stabilizer of \((i,j)\) in \(G\)) on \(\Omega\), where \(B(i,j)\) denotes the unique block containing \(i\) and \(j\). Let \(A\) be the commutative (nonassociative \(G\)-invariant algebra over field \(k\) of characteristic \(\neq 2\). \(A\) has a basis \((x_ 1, x_ 2,\dots, x_ n)\) and \[ \begin{aligned} x_ i x_ i &= \dot ax_ i\quad (i=0,\dots, n),\quad \dot a\in K \qquad \qquad\text{ and }\\ x_ ix_ j &= (\dot b-\dot c) (x_ i+x_ j)+ \dot c \sum_{t\in B(i,j)} x_ t\quad (0\leq i,j\leq n,\;\dot b,\dot c\in K) \end{aligned} \] where \(\dot a+ (n-1) \dot b= (k-2)\dot c\) and \(x_ 0=- x_ 1- x_ 2- \dots -x_ n\). The question raised by Harada is whether every doubly transitive permutation group \(G\) affords some commutative \(G\)-invariant algebra \(A\) for which \(\Aut (A)= G\). So far no one could answer this question. However, \textit{H. Allen} [J. Algebra 91, 258-264 (1984; Zbl 0556.20003)] affirmatively answered it in some cases of algebra \(A\). In this paper we generalize the results of Allen and Harada. We prove that if \(A\) is a \(G\)-invariant algebra defined with \(c\neq 0\), associated with \(G= \Aut (D)\), then the group of \(\Aut (A)\) permuting the elements \(\{x_ i\): \(0\leq i\leq n\}\) among themselves is equal to \(\Aut (D)\), and also \(\Aut (A)= \Aut (D)\) provided that one of the following holds, (i) \(\dot b= \dot c\), \(\dot c\neq 0\) and in \(K\), \(n+1\neq 0\), \(k-2\neq 0\), \(k\neq 0\); or (ii) \(\dot b= \dot a+ \dot c\), \(\dot b\neq 0\), \(\dot c\neq 0\) and \(\text{Char} (K)> r-1\) or \(\text{Char} (K)\neq 0\) and \(n+1\neq 0\) in \(K\).