Skip to main content

Surjunctivity and Reversibility of Cellular Automata over Concrete Categories

  • Chapter
Trends in Harmonic Analysis

Part of the book series: Springer INdAM Series ((SINDAMS,volume 3))

Abstract

Following ideas developed by Misha Gromov, we investigate surjunctivity and reversibility properties of cellular automata defined over certain concrete categories.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

eBook
USD 16.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Adámek, J., Herrlich, H., Strecker, G.E.: Abstract and concrete categories: The joy of cats. Reprint of the 1990 original. Repr. Theory Appl. Categ. 17 (2006)

    Google Scholar 

  2. Armendariz, E.P., Fisher, J.W., Snider, R.L.: On injective and surjective endomorphisms of finitely generated modules. Commun. Algebra 6, 659–672 (1978)

    Article  MathSciNet  MATH  Google Scholar 

  3. Ax, J.: The elementary theory of finite fields. Ann. Math. (2) 88, 239–271 (1968)

    Article  MathSciNet  MATH  Google Scholar 

  4. Ax, J.: Injective endomorphisms of varieties and schemes. Pac. J. Math. 31, 1–7 (1969)

    Article  MathSciNet  MATH  Google Scholar 

  5. Bartholdi, L.: Gardens of Eden and amenability on cellular automata. J. Eur. Math. Soc. 12, 241–248 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  6. Borel, A.: Injective endomorphisms of algebraic varieties. Arch. Math. (Basel) 20, 531–537 (1969)

    Article  MathSciNet  MATH  Google Scholar 

  7. Borel, A.: Linear Algebraic Groups, 2nd edn. Graduate Texts in Mathematics, vol. 126. Springer, New York (1991)

    Book  MATH  Google Scholar 

  8. Bourbaki, N.: Éléments de Mathématique. Topologie Générale. Chapitres 1 à 4. Hermann, Paris (1971)

    MATH  Google Scholar 

  9. Bump, D.: Algebraic Geometry. World Scientific, River Edge (1998)

    MATH  Google Scholar 

  10. Ceccherini-Silberstein, T., Coornaert, M.: The Garden of Eden theorem for linear cellular automata. Ergod. Theory Dyn. Syst. 26, 53–68 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  11. Ceccherini-Silberstein, T., Coornaert, M.: Injective linear cellular automata and sofic groups. Isr. J. Math. 161, 1–15 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  12. Ceccherini-Silberstein, T., Coornaert, M.: Linear cellular automata over modules of finite length and stable finiteness of group rings. J. Algebra 317, 743–758 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  13. Ceccherini-Silberstein, T., Coornaert, M.: On the surjunctivity of Artinian linear cellular automata over residually finite groups. In: Geometric Group Theory. Trends in Math., pp. 37–44. Birkhäuser, Basel (2007)

    Chapter  Google Scholar 

  14. Ceccherini-Silberstein, T., Coornaert, M.: Induction and restriction of cellular automata. Ergod. Theory Dyn. Syst. 29, 371–380 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  15. Ceccherini-Silberstein, T., Coornaert, M.: Cellular Automata and Groups. Springer Monographs in Math. Springer, Berlin (2010)

    Book  MATH  Google Scholar 

  16. Ceccherini-Silberstein, T., Coornaert, M.: On the reversibility and the closed image property of linear cellular automata. Theor. Comput. Sci. 412, 300–306 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  17. Ceccherini-Silberstein, T., Coornaert, M.: On algebraic cellular automata. J. Lond. Math. Soc. (2) 84, 541–558 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  18. Ceccherini-Silberstein, T., Machì, A., Scarabotti, F.: Amenable groups and cellular automata. Ann. Inst. Fourier (Grenoble) 49, 673–685 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  19. Elek, G., Szabó, E.: Sofic groups and direct finiteness. J. Algebra 280, 426–434 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  20. Freyd, P.: Homotopy is not concrete. In: The Steenrod Algebra and its Applications, Proc. Conf. to Celebrate N.E. Steenrod’s Sixtieth Birthday, Battelle Memorial Inst., Columbus, Ohio, 1970. Lect. Notes in Mathematics, vol. 168, pp. 25–34. Springer, Berlin (1970)

    Google Scholar 

  21. Gottschalk, W.: Some general dynamical notions. In: Recent Advances in Topological Dynamics, Proc. Conf. Topological Dynamics, Yale Univ., New Haven, Conn., 1972; in honor of Gustav Arnold Hedlund. Lect. Notes in Mathematics, vol. 318, pp. 120–125. Springer, Berlin (1973)

    Chapter  Google Scholar 

  22. Gromov, M.: Endomorphisms of symbolic algebraic varieties. J. Eur. Math. Soc. 1, 109–197 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  23. Grothendieck, A.: Éléments de géométrie algébrique. III. Étude cohomologique des faisceaux cohérents. I. Inst. Hautes Études Sci. Publ. Math., 167 (1961)

    Google Scholar 

  24. Hedlund, G.A.: Endomorphisms and automorphisms of the shift dynamical system. Math. Syst. Theory 3, 320–375 (1969)

    Article  MathSciNet  MATH  Google Scholar 

  25. Hungerford, T.W.: Algebra. Graduate Texts in Mathematics, vol. 73. Springer, New York (1980)

    Chapter  Google Scholar 

  26. James, I.M.: Introduction to Uniform Spaces. London Mathematical Society Lecture Note Series, vol. 144. Cambridge University Press, Cambridge (1990)

    MATH  Google Scholar 

  27. Kaplansky, I.: Fields and Rings. Chicago Lectures in Mathematics. University of Chicago Press, Chicago (1995)

    MATH  Google Scholar 

  28. Kraft, H.: Basics from algebraic geometry. In: Polynomial Automorphisms and Related Topics, pp. 43–112. Publishing House for Science and Technology, Hanoi (2007)

    Google Scholar 

  29. Linderholm, C.E.: A group epimorphism is surjective. Am. Math. Mon. 77, 176–177 (1970)

    Article  MathSciNet  MATH  Google Scholar 

  30. Machì, A., Mignosi, F.: Garden of Eden configurations for cellular automata on Cayley graphs of groups. SIAM J. Discrete Math. 6, 44–56 (1993)

    Article  MathSciNet  MATH  Google Scholar 

  31. Mac Lane, S.: Categories for the Working Mathematician. Graduate Texts in Mathematics, vol. 5. Springer, New York (1998)

    MATH  Google Scholar 

  32. Milne, J.S.: Algebraic Geometry, v5.20 (2009). www.jmilne.org/math/

    Google Scholar 

  33. Moore, E.F.: Machine models of self-reproduction. In: Proc. Symp. Appl. Math., vol. 14, pp. 17–34. Am. Math. Soc., Providence (1963)

    Google Scholar 

  34. Myhill, J.: The converse of Moore’s Garden-of-Eden theorem. Proc. Am. Math. Soc. 14, 685–686 (1963)

    MathSciNet  MATH  Google Scholar 

  35. Reid, M.: Undergraduate Algebraic Geometry. London Mathematical Society Student Texts, vol. 12. Cambridge University Press, Cambridge (1988)

    Book  MATH  Google Scholar 

  36. Vasconcelos, W.V.: Injective endomorphisms of finitely generated modules. Proc. Am. Math. Soc. 25, 900–901 (1970)

    MathSciNet  MATH  Google Scholar 

  37. Weil, A.: Sur les espaces à structure uniforme et sur la topologie générale. Actual. Sci. Ind., vol. 551. Hermann, Paris (1937)

    MATH  Google Scholar 

  38. Weiss, B.: Sofic groups and dynamical systems. In: Ergodic Theory and Harmonic Analysis, Mumbai, 1999. Sankhyā Ser. A, vol. 62, pp. 350–359 (2000)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Tullio Ceccherini-Silberstein .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Italia

About this chapter

Cite this chapter

Ceccherini-Silberstein, T., Coornaert, M. (2013). Surjunctivity and Reversibility of Cellular Automata over Concrete Categories. In: Picardello, M. (eds) Trends in Harmonic Analysis. Springer INdAM Series, vol 3. Springer, Milano. https://doi.org/10.1007/978-88-470-2853-1_6

Download citation

Publish with us

Policies and ethics