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.
Similar content being viewed by others
References
Arkowitz, M., Curjel, C.R.: On maps of H-spaces. Topology 6, 137–148 (1967)
Arkowitz, M., Lupton, G.: Loop-theoretic properties of H-spaces. Math. Proc. Camb. Philos. Soc. 110, 121–136 (1991)
Arkowitz, M., Lee, D.-W.: Properties of comultiplications on a wedge of spheres. Topol. Appl. 157, 1607–1621 (2010)
Arkowitz, M., Lee, D.-W.: Comultiplications of a wedge of two spheres. Sci. China Math. 54, 9–22 (2011)
Berge, C.: Graphs and Hypergraphs, 2nd edn. North Holland, Amsterdam (1976)
Bondy, J.A., Murty, U.S.R.: Graph Theory, Graduate Texts in Math. 244. Springer, New York (2008)
Boxer, L.: Digitally continuous functions. Pattern Recognit. Lett. 15, 833–839 (1994)
Boxer, L.: A classical construction for the digital fundamental group. J. Math. Imaging Vis. 10, 51–62 (1999)
Boxer, L.: Properties of digital homotopy. J. Math. Imaging Vis. 22, 19–26 (2005)
Boxer, L.: Homotopy properties of sphere-like digital images. J. Math. Imaging Vis. 24, 167–175 (2006)
Boxer, L.: Generalized normal product adjacency in digital topology. Appl. Gen. Topol. 18(2), 401–427 (2017)
Boxer, L.: Alternate product adjacencies in digital topology. Appl. Gen. Topol. 19(1), 21–53 (2018)
Boxer, L., Karaca, I.: Some properties of digital covering spaces. J. Math. Imaging Vis. 37, 17–26 (2010)
Dornaika, F., Bosaghzadeh, A.: Adaptive graph construction using data self-representativeness for pattern classification. Inf. Sci. 325, 118–139 (2015)
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
Ege, O., Karaca, I.: Digital H-spaces. In: 3rd International Symposium on Computing in Science and Engineering. ISCSE pp. 133–138 (2013)
Ege, O., Karaca, I.: Some properties of digital H-spaces. Turk. J. Electr. Eng. Comput. Sci. 24, 1930–1941 (2016)
Ganea, T.: Cogroups and suspensions. Invent. Math. 9, 185–197 (1970)
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)
Hungerford, T.W.: Algebra, Graduate Texts in Math 73. Springer, New York (1974)
James, I.M.: On H-spaces and their homotopy groups. Q. J. Math. 11, 161–179 (1960)
Khalimsky, E.: Motion, deformation, and homotopy in finite spaces. In: Proceedings IEEE international conference on systems, man, and cybernetics, pp. 227–234 (1987)
Lee, D.-W.: Phantom maps and the gray index. Topol. Appl. 138, 265–275 (2004)
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)
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)
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)
Lee, D.-W.: On the generalized same \(N\)-type conjecture. Math. Proc. Camb. Philos. Soc. 157, 329–344 (2014)
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)
Lee, D.-W.: Comultiplication structures for a wedge of spheres. Filomat 30(13), 3525–3546 (2016)
Lee, D.-W.: On the digitally quasi comultiplications of digital images. Filomat 31(7), 1875–1892 (2017)
Lee, D.-W.: Near-rings on digital Hopf groups. Appl. Algebra Eng. Commun. Comput. 29(3), 261–282 (2018)
Lee, D.-W., Lee, S.: Homotopy comultiplications on the \(k\)-fold wedge of spheres. Topol. Appl. 254, 145–170 (2019)
Rosenfeld, A.: Continuous functions on digital pictures. Pattern Recognit. Lett. 4, 177–184 (1986)
Whitehead, G.W.: Elements of Homotopy Theory, Graduate Texts in Math 61. Springer, New York (1978)
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
Corresponding author
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
About this article
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
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00200-019-00398-8
Keywords
- Digital multiplication
- Digital H-space
- Digital homotopy associativity
- Digital homotopy commutativity
- Digital H-function
- Magma
- Magma homomorphism
- Action