Skip to main content
Log in

Digital H-spaces and actions in the pointed digital homotopy category

  • Original Paper
  • Published:
Applicable Algebra in Engineering, Communication and Computing Aims and scope

Abstract

We apply fundamental ideas from algebraic topology in mathematics to the digital world in computer science. We develop digital H-spaces and digital H-functions between the digital H-spaces with digital multiplications, and construct a necessary and sufficient condition for a digital H-space (or a digital homotopy associative H-space, a digital homotopy commutative H-space, or a digital H-group) to satisfy certain conditions in the category of magmas or a category of algebraic objects such as semigroups, monoids, or groups. We also investigate an action on the set of pointed digital homotopy (associative or commutative) multiplications to create new digital homotopy (resp., associative or commutative) multiplications.

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

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. Arkowitz, M., Curjel, C.R.: On maps of H-spaces. Topology 6, 137–148 (1967)

    Article  MathSciNet  Google Scholar 

  2. Arkowitz, M., Lupton, G.: Loop-theoretic properties of H-spaces. Math. Proc. Camb. Philos. Soc. 110, 121–136 (1991)

    Article  MathSciNet  Google Scholar 

  3. Arkowitz, M., Lee, D.-W.: Properties of comultiplications on a wedge of spheres. Topol. Appl. 157, 1607–1621 (2010)

    Article  MathSciNet  Google Scholar 

  4. Arkowitz, M., Lee, D.-W.: Comultiplications of a wedge of two spheres. Sci. China Math. 54, 9–22 (2011)

    Article  MathSciNet  Google Scholar 

  5. Berge, C.: Graphs and Hypergraphs, 2nd edn. North Holland, Amsterdam (1976)

    MATH  Google Scholar 

  6. Bondy, J.A., Murty, U.S.R.: Graph Theory, Graduate Texts in Math. 244. Springer, New York (2008)

    Google Scholar 

  7. Boxer, L.: Digitally continuous functions. Pattern Recognit. Lett. 15, 833–839 (1994)

    Article  Google Scholar 

  8. Boxer, L.: A classical construction for the digital fundamental group. J. Math. Imaging Vis. 10, 51–62 (1999)

    Article  MathSciNet  Google Scholar 

  9. Boxer, L.: Properties of digital homotopy. J. Math. Imaging Vis. 22, 19–26 (2005)

    Article  MathSciNet  Google Scholar 

  10. Boxer, L.: Homotopy properties of sphere-like digital images. J. Math. Imaging Vis. 24, 167–175 (2006)

    Article  MathSciNet  Google Scholar 

  11. Boxer, L.: Generalized normal product adjacency in digital topology. Appl. Gen. Topol. 18(2), 401–427 (2017)

    Article  MathSciNet  Google Scholar 

  12. Boxer, L.: Alternate product adjacencies in digital topology. Appl. Gen. Topol. 19(1), 21–53 (2018)

    Article  MathSciNet  Google Scholar 

  13. Boxer, L., Karaca, I.: Some properties of digital covering spaces. J. Math. Imaging Vis. 37, 17–26 (2010)

    Article  MathSciNet  Google Scholar 

  14. Dornaika, F., Bosaghzadeh, A.: Adaptive graph construction using data self-representativeness for pattern classification. Inf. Sci. 325, 118–139 (2015)

    Article  MathSciNet  Google Scholar 

  15. Eckhardt, U., Latecki, L.: Digital topology, in current topics in pattern recognition research, research trends, Council of Scientific Information, Vilayil Gardens, Trivandrum, India, 1994. Also available at https://www.math.uni-hamburg.de/home/eckhardt/P124_941.pdf

  16. Ege, O., Karaca, I.: Digital H-spaces. In: 3rd International Symposium on Computing in Science and Engineering. ISCSE pp. 133–138 (2013)

  17. Ege, O., Karaca, I.: Some properties of digital H-spaces. Turk. J. Electr. Eng. Comput. Sci. 24, 1930–1941 (2016)

    Article  Google Scholar 

  18. Ganea, T.: Cogroups and suspensions. Invent. Math. 9, 185–197 (1970)

    Article  MathSciNet  Google Scholar 

  19. Greenlees, J.P.C., Lee, D.-W.: The representation-ring-graded local cohomology spectral sequence for \(BP\mathbb{R}\langle 3\rangle \). Commun. Algebra 47(6), 2396–2411 (2019)

    Article  Google Scholar 

  20. Hungerford, T.W.: Algebra, Graduate Texts in Math 73. Springer, New York (1974)

    Google Scholar 

  21. James, I.M.: On H-spaces and their homotopy groups. Q. J. Math. 11, 161–179 (1960)

    Article  MathSciNet  Google Scholar 

  22. Khalimsky, E.: Motion, deformation, and homotopy in finite spaces. In: Proceedings IEEE international conference on systems, man, and cybernetics, pp. 227–234 (1987)

  23. Lee, D.-W.: Phantom maps and the gray index. Topol. Appl. 138, 265–275 (2004)

    Article  MathSciNet  Google Scholar 

  24. Lee, D.-W.: On the same \(n\)-type conjecture for the suspension of the infinite complex projective space. Proc. Am. Math. Soc. 137(3), 1161–1168 (2009)

    Article  MathSciNet  Google Scholar 

  25. Lee, D.-W.: On the same \(n\)-type structure for the suspension of the Eilenberg–MacLane spaces. J. Pure Appl. Algebra 214, 2027–2032 (2010)

    Article  MathSciNet  Google Scholar 

  26. Lee, D.-W.: On the same \(n\)-type of the suspension of the infinite quaternionic projective space. J. Pure Appl. Algebra 217, 1325–1334 (2013)

    Article  MathSciNet  Google Scholar 

  27. Lee, D.-W.: On the generalized same \(N\)-type conjecture. Math. Proc. Camb. Philos. Soc. 157, 329–344 (2014)

    Article  MathSciNet  Google Scholar 

  28. Lee, D.-W.: On the same \(N\)-types for the wedges of the Eilenberg–MacLane spaces. Chin. Ann. Math. Ser. B 37(6), 951–962 (2016)

    Article  MathSciNet  Google Scholar 

  29. Lee, D.-W.: Comultiplication structures for a wedge of spheres. Filomat 30(13), 3525–3546 (2016)

    Article  MathSciNet  Google Scholar 

  30. Lee, D.-W.: On the digitally quasi comultiplications of digital images. Filomat 31(7), 1875–1892 (2017)

    Article  MathSciNet  Google Scholar 

  31. Lee, D.-W.: Near-rings on digital Hopf groups. Appl. Algebra Eng. Commun. Comput. 29(3), 261–282 (2018)

    Article  MathSciNet  Google Scholar 

  32. Lee, D.-W., Lee, S.: Homotopy comultiplications on the \(k\)-fold wedge of spheres. Topol. Appl. 254, 145–170 (2019)

    Article  MathSciNet  Google Scholar 

  33. Rosenfeld, A.: Continuous functions on digital pictures. Pattern Recognit. Lett. 4, 177–184 (1986)

    Article  Google Scholar 

  34. Whitehead, G.W.: Elements of Homotopy Theory, Graduate Texts in Math 61. Springer, New York (1978)

    Book  Google Scholar 

Download references

Acknowledgements

The author is grateful to the anonymous referee(s) for a careful reading and many helpful suggestions that improved the quality of this paper.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Dae-Woong Lee.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

This work was supported by the National Research Foundation of Korea (NRF) Grant funded by the Korean government (MSIT) (No. 2018R1A2B6004407)

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Lee, DW. Digital H-spaces and actions in the pointed digital homotopy category. AAECC 31, 149–169 (2020). https://doi.org/10.1007/s00200-019-00398-8

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00200-019-00398-8

Keywords

Mathematics Subject Classification

Navigation