重写 $A_5$ 的 8-可重写性检验

群 $G$ 被称为 $n$-可重写的（$n>1$），如果对于任意 $n$ 个元素 $x_1, x_2, \dots, x_n \in G$ 的序列，存在一个非恒等置换 $\sigma \in S_n$，使得 $x_1 x_2 \cdots x_n = x_{\sigma(1)} x_{\sigma(2)} \cdots x_{\sigma(n)}$。Blyth 和 Robinson (1990) 使用计算机验证了交错群 $A_5$ 是 8-可重写的。我们报告了使用计算代数系统 GAP 对该陈述进行的独立验证，并将我们的串行和并行代码的性能与原始代码进行了比较。