一类具有指数为2的子群的Bol环

设 $G$ 为有限群，$C_2$ 为2阶循环群。考虑8个乘法 $(x,y)\mapsto (x^iy^j)^k$，其中 $i$, $j$, $k\in\{-1, 1\}$。通过在每个象限 $(G\times\{i\})\times(G\times\{j\})$（其中 $i$, $j\in C_2$）上赋予上述8个乘法之一，在 $G\times C_2$ 上定义一个新的乘法。我们描述了所得拟群为Bol环的所有情形。本文还纠正了 P. Vojtěchovský 的论文《On the uniqueness of loops $M(G,2)$》中的一个错误。