No label defined (Q4368974)

Let \((V,*)\) be an idempotent quasigroup of order \(n\), \(\text{IQG} (n)\), i.e., it satisfies the following conditions: (1) \(| V|=n\); (2) \(a*a =a\) for all \(a\in V\); (3) for all \(a,b\in V\), the equations \(a*x=b\), \(y*a=b\) have unique solutions in \(x\) and \(y\). An \(\text{IQG} (v)\) is a \(k\text{-IQG} (v)\) system if any two distinct elements of \(V\) generate a subsystem \(\text{IQG} (k)\). Every Steiner system \(S(2,k,v)\) together with a \(k\text{-IQG} (k)\) induces a \(k\text{-IQG} (v)\). This paper gives two methods for constructing \(k\text{-IQG} (k)\) systems. Method A works for prime powers \(v\) while method B works for all \(v\neq 1,2\). The automorphism groups for \(k\text{-IQG} (k)\) systems constructed by method B are investigated in detail. However, they are all trivial when \(v>4\). For the entire collection see [Zbl 0874.00036].