关于作为有限域商得到的超域的特征

超结构是正规代数结构的自然推广，其中一种运算（称为超运算）是多值的；超域即是域上的此类推广。M. Krasner（1962）证明了商 $\mathbb{F}_p/G$（其中 $G$ 是 $\mathbb{F}_p$ 中单位元的子群）是一个超域。域的特征可由域的阶显式确定，但对于形如 $\mathbb{F}_p/G$ 的超域特征尚无已有的推广判定方法。我们证明了对于奇素数 $p$，当 $|G|=1,2,3,4$ 时超域 $\mathbb{F}_p/G$ 的特征具有显式形式。最后，我们证明了当 $|G|$ 为素数时超域特征的一般形式。