Algebraic games—playing with groups and rings

Original Paper

Abstract

Two players alternate moves in the following impartial combinatorial game: Given a finitely generated abelian group A, a move consists of picking some \(0 \ne a \in A\). The game then continues with the quotient group \(A/\langle a \rangle \). We prove that under the normal play rule, the second player has a winning strategy if and only if A is a square, i.e. \(A \cong B \times B\) for some abelian group B. Under the misère play rule, only minor modifications concerning elementary abelian groups are necessary to describe the winning situations. We also compute the nimbers, i.e. Sprague–Grundy values of 2-generated abelian groups. An analogous game can be played with arbitrary algebraic structures. We study some examples of non-abelian groups and commutative rings such as R[X], where R is a principal ideal domain.

Keywords

Combinatorial game theory Abelian groups Commutative Rings Impartial games Nimber Algebraic game 

Notes

Acknowledgements

For various discussions and suggestions on the game of rings I would like to thank Will Sawin and Kevin Buzzard. Special thanks goes to Diego Montero who corrected some errors in a preliminary version and simplified the proof of Proposition 3.3. I would like to thank Jyrki Lahtonen for suggesting the formula in Theorem 1.3. Finally I would like to thank most sincerely Bernhard von Stengel and the anonymous referees for their numerous useful and valuable suggestions for improvement.

References

  1. Albert M, Nowakowski R, Wolfe D (2007) Lessons in play: an introduction to combinatorial game theory. A K Peters Ltd, USAGoogle Scholar
  2. Anderson M, Harary F (1987) Achievement and avoidance games for generating abelian groups. Int J Game Theory 16(4):321–325CrossRefGoogle Scholar
  3. Atiyah M, Macdonald IG (1969) Introduction to commutative algebra. Addison-Wesley series in mathematics, vol 361. Addison-Wesley, BostonGoogle Scholar
  4. Benesh BJ, Ernst DC, Sieben N (2016) Impartial avoidance games for generating finite groups. North-West Eur J Math 2:83–101Google Scholar
  5. Berlekamp ER, Conway JH, Guy RK (2001) Winning ways for your mathematical plays, vol 1, 2nd edn. A K Peters Ltd, USAGoogle Scholar
  6. Berrick AJ (1991) Torsion generators for all abelian groups. J Algebra 139:190–194CrossRefGoogle Scholar
  7. Besche HU, Eick B, O’Brien EA (2002) A millennium project: constructing small groups. Int J Algebra Comput 12:623–644CrossRefGoogle Scholar
  8. Burris SN, Sankappanavar HP (1981) A course in universal algebra. Graduate texts in mathematics, vol 78, 1st edn. Springer, New YorkGoogle Scholar
  9. Conway JH (2000) On numbers and games. AK Peters. CRC Press, USAGoogle Scholar
  10. Fine B (1993) Classification of finite rings of order \(p^2\). Math Mag 66(4):248–252CrossRefGoogle Scholar
  11. Fröhlich A, Taylor MJ (1991) Algebraic number theory, Cambridge studies in advanced mathematics, vol 27. Cambridge University Press, CambridgeCrossRefGoogle Scholar
  12. Görtz U, Wedhorn T (2010) Algebraic geometry. Part I: Schemes. With examples and exercises. Vieweg + TeubnerGoogle Scholar
  13. Hessenberg G (1906) Grundbegriffe der Mengenlehre, In: Abhandlungen der Fries’schen Schule, Neue Folge, Bd. 1Google Scholar
  14. Knapp AW (1992) Elliptic curves, mathematical notes, vol 40. Princeton University Press, PrincetonGoogle Scholar
  15. Lang S (2002) Algebra. Graduate texts in mathematics, vol 221, 3rd edn. Springer, New YorkGoogle Scholar
  16. Sawin W (2016) A game on noetherian rings, mathoverflow question. http://mathoverflow.net/questions/93276. Accessed on 16 Oct 2016
  17. Siegel AN (2013) Combinatorial game theory, graduate studies in mathematics, vol 146. American Mathematical SocietyGoogle Scholar
  18. Smith CAB (1966) Graphs and composite games. J Comb Theory 1:51–81CrossRefGoogle Scholar
  19. Telgársky R (1987) Topological games: on the 50th anniversary of the Banach-Mazur game. Rocky Mt J Math 17:227–276CrossRefGoogle Scholar
  20. Wild M (2005) Groups of order sixteen made easy. Am Math Mon 112(1):20–31CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2017

Authors and Affiliations

  1. 1.University of MünsterMünsterGermany

Personalised recommendations