arXiv++ Combinatorics

J. Conway defined useful operations on the Class of combinatorial games and also introduced a notion of equivalence between games. Conway showed that, under his equivalence, games form a Group. However, Conway product is not well defined on equivalence classes of arbitrary games (though it is well defined for surreals). We consider an equivalence relation finer than Conway's and show that under such a relation combinatorial games actually form a Ring. We hint to other possible relations on the Class of combinatorial games.

We propose an interpretation of the infinite sum of combinatorial games. In such an interpretation, plays involve infinite runs, but without loops. The notion of a run is quite natural, but different possibilities arises for the notion of an alternating run.

We present a definition for the sum of a sequence of combinatorial games. This sum coincides with the classical sum in the case of a converging sequence of real numbers and with the infinitary natural sum in the case of a sequence of ordinal numbers. We briefly discuss other possibilities, such as the string limit, some "magical" variants of Hackenbush, as well as "Dadaist" infinite sums, which allow transfinite runs, while still being loopfree.

We derive some equalities for relations on the algebra A, under the assumption that every subalgebra of A $\times$ A is congruence modular.