# Nimber multiplication

Mathematics Asked by yberman on July 30, 2020

In the question on nimbers, the original poster asks for the meaning of Nimber multiplication in the context of impartial games.

Edit: As noted by Mark Fischler in the comments below, the following is wrong

My gut instinct is $*a times *b$ means that if $*a$ is a game equivalent to $a$ stones, and $*b$ is a game equivalent to $b$ stones, then if you replace every stone in the $*a$ game with a copy of the $*b$ game, you get a game with the Nimber $*a times *b$, but I haven’t been able prove it.

I don't think there's an intuitive way to understand nimber multiplication. Also note that it is distinct from repeated addition, so it isn't as simple as replacing stones with copies of piles. Multiplication is defined recursively as $$ab = text{mex}left({a'b+ab'+a'b': a'<a, b'<b}right)$$ where $text{mex}$ is the minimum excluded element.

Although it's hard to see what this means in terms of a concrete game, it's possible to understand why it's defined this way. The point is that we want to create an algebraic system without zero divisors, so $(a-a')(b-b') neq 0$ whenever $aneq a'$ and $bneq b'$. In other words, $$ab - ab' - a'b + a'b' neq 0,$$ so $$ab neq a'b + ab' - a'b'.$$ Since subtraction and addition are the same operation, we have $$ab neq a'b + ab' + a'b'.$$ The definition above takes the first nimber that meets this criterion.

Correct answer by Théophile on July 30, 2020

Winning Ways Volume 3, Chapter 14, considers coin-turning games. One such game is Turning Corners, where a move is to turn over the four corners of a rectangle with horizontal and vertical sides, but the North-East most coin needs to be turned from heads to tails. A sample move shows that it defines nimber multiplication:

a           X           H
.
.
.
a'          X           X
.
.
.
0  .  .  .  b' .  .  .  b


A move will turn the H to tails and Xs over, so from the position $$(a,b)$$, a move moves to the sum $$(a',b)+(a,b')+(a',b')$$, so the value of the position $$(a,b)$$ is the nimber product $$ab$$ inductively.

Answered by E. Z. L. on July 30, 2020

## Related Questions

### Lebesgue measure of boundary of an open set.

1  Asked on December 23, 2021 by santanu-debnath

### Chinese Remainder Theorem for moduli that are not necessarily pairwise coprime

1  Asked on December 23, 2021

### Prove that $x^m$ is a generator of the cyclic group $G$ of order $n$ if and only if $(m,n) = 1$

1  Asked on December 23, 2021 by morganuz

### Must a local homomorphism from a Noetherian local ring to an artinian local ring factor through a power of its maximal ideal

1  Asked on December 23, 2021

### If Mu is a projection matrix, how can I show that Mu^2=Mu by direct computation?

1  Asked on December 23, 2021 by johnathan

### Expressing one gradient in terms of the other

0  Asked on December 23, 2021

### Show that $m({xin[0,1]:text{$x$lies in infinitely many$E_j$}})geqfrac{1}{2}$ when $m(E_j)geqfrac{1}{2}$

1  Asked on December 23, 2021

### Stars and bars but with distinct objects

4  Asked on December 23, 2021

### Laurent Series and residue of $frac{z}{(z-1)(z-3)}$ around z = 3

3  Asked on December 23, 2021 by dimitri

### Frobenius Norm and Relation to Eigenvalues

1  Asked on December 23, 2021 by 100001

### Club Election Voting Permutation Question

2  Asked on December 23, 2021

### Finding a closed form to a minimum of a function

2  Asked on December 23, 2021

### Solve $x^2+3y = u^2$ and $y^2+3x=v^2$ in positive integers.

2  Asked on December 23, 2021 by the-demonix-_-hermit

### Decomposition of $s+sqrt{-1}$ in $mathbb{Z}[sqrt{-1}]$

2  Asked on December 23, 2021

### Suppose $z$ and $omega$ are two complex numbers such that $|z|≤1$ and $|omega|≤1$ and $|z+iomega|=|z-iomega|=2$. Find $|z|$ and $|omega|$.

3  Asked on December 23, 2021

### Where is the copy of $mathbb{N}$ in the constructible hierarchy relative to a real closed field?

1  Asked on December 23, 2021

### What are the values of $W’$ so that the particles keep passing through the disk with its new height?

1  Asked on December 23, 2021

### How does $left(1+frac{x}{j}right)^{-1}left(1+frac{1}{j}right)^x=1+frac{x(x-1)}{2j^2}+Oleft(frac{1}{j^3}right)$

1  Asked on December 23, 2021

### What does distance of a point from line being negative signify?

4  Asked on December 23, 2021