尼姆数

斯普莱格–格隆第定理指出：每个无偏博弈等价于一个特定大小的尼姆堆。尼姆数的加法运算（叫做尼姆加法）可以用于计算等价于多个堆的单一尼姆堆大小。这被定义为

${\displaystyle \alpha +\beta =\operatorname {mex} (\{\,\alpha '+\beta$ :\alpha '<\alpha \,\}\cup \{\,\alpha +\beta ':\beta '<\beta \,\}),}

对于一个序数的集合${\displaystyle S}$，${\displaystyle \operatorname {mex} (S)}$定义为“局外最小序数”，也就是说不是${\displaystyle S}$的元素的最小一个序数。对于有限序数，尼姆和即是两个数进行异或运算的结果，这个结果也可以简单地通过将相加的各个数字的二进制表示逐位进行不进位的加法而得到（例如，100010＋110010＝10000）。

尼姆数的乘法运算（尼姆乘法）可以递归地定义如下：

${\displaystyle \alpha \beta =\operatorname {mex} (\{\,\alpha '\beta +\alpha \beta '+\alpha '\beta ':\alpha '<\alpha ,\beta '<\beta \,\}).}$

全体尼姆数不能组成普通集合，而只是真类。要是把它当作普通集合，或者考虑其任意的一个对尼姆加法和乘法封闭的子集，那么尼姆数的类可以构成一个特征为2的代数封闭域。尼姆加法的单位元是序数0，而尼姆乘法的单位元则是序数1。由于特征为2，${\displaystyle \alpha }$的尼姆加法逆元是${\displaystyle \alpha }$自身。非零序数${\displaystyle \alpha }$的尼姆乘法逆元是${\displaystyle \operatorname {mex} (S)}$，这里${\displaystyle S}$是满足以下条件的序数集合：

1. 0是${\displaystyle S}$的元素；
2. 如果${\displaystyle 0<\alpha '<\alpha }$且${\displaystyle \beta '}$是${\displaystyle S}$的元素，那么${\displaystyle \left(1+(\alpha '-\alpha )\beta '\right)/\alpha '}$也是${\displaystyle S}$的元素。

若${\displaystyle n}$是自然数，小于${\displaystyle 2^{2^{n}}}$的尼姆数组成一个${\displaystyle 2^{2^{n}}}$阶的有限域${\displaystyle GF(2^{2^{n}})}$。

正如尼姆加法，有限序数的尼姆积也有一些有意思的结果：

1. 2的不同费马幂（形如${\displaystyle 2^{2^{n}}}$）的尼姆积等于其序数积；
2. 2的某个费马幂${\displaystyle x}$的平方等于${\displaystyle 3x/2}$在通常的序数乘法下的结果。

尼姆数组成的最小代数封闭域是由小于${\displaystyle \omega ^{\omega ^{\omega }}}$的序数构成的，这里ω是最小的无限序数。因此，作为尼姆数的${\displaystyle \omega ^{\omega ^{\omega }}}$是尼姆数“域”上最小的超越数。

以下表格列出了最小16个尼姆数的加法和乘法表。因为16是一个费马幂（形如${\displaystyle 2^{2^{n}}}$），因此这个子集是封闭的。