有限群最小度严格不等式的Magma证明
Magma Proof of Strict Inequalities for Minimal Degrees of Finite Groups
摘要：
有限群$G$的最小忠实置换度，记作$μ(G)$，是使$G$嵌入对称群$\Sym(n)$的最小非负整数$n$.在本文中，我们概述了一个岩浆证明，10是最小的程度，有集团$G$和$H$，使$μ(G \times H) < μ(G)+ μ(H)$。
英文摘要：
The minimal faithful permutation degree of a finite group $G$, denote by $μ(G)$ is the least non-negative integer $n$ such that $G$ embeds inside the symmetric group $\Sym(n)$. In this paper, we outline a Magma proof that 10 is the smallest degree for which there are groups $G$ and $H$ such that $μ(G \times H) < μ(G)+ μ(H)$.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
