Digital H-spaces and actions in the pointed digital homotopy category. (English) Zbl 1434.68592
Summary: 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.
MSC:
| 68U03 | Computational aspects of digital topology |
| 52C45 | Combinatorial complexity of geometric structures |
| 55P45 | \(H\)-spaces and duals |
Keywords:
digital multiplication; digital H-space; digital homotopy associativity; digital homotopy commutativity; digital H-function; magma; magma homomorphism; actionReferences:
| [1] | Arkowitz, M.; Curjel, Cr, On maps of H-spaces, Topology, 6, 137-148 (1967) · Zbl 0171.21901 · doi:10.1016/0040-9383(67)90030-4 |
| [2] | Arkowitz, M.; Lupton, G., Loop-theoretic properties of H-spaces, Math. Proc. Camb. Philos. Soc., 110, 121-136 (1991) · Zbl 0732.55008 · doi:10.1017/S030500410007016X |
| [3] | Arkowitz, M.; Lee, D-W, Properties of comultiplications on a wedge of spheres, Topol. Appl., 157, 1607-1621 (2010) · Zbl 1203.55007 · doi:10.1016/j.topol.2010.03.001 |
| [4] | Arkowitz, M.; Lee, D-W, Comultiplications of a wedge of two spheres, Sci. China Math., 54, 9-22 (2011) · Zbl 1229.55009 · doi:10.1007/s11425-010-4061-0 |
| [5] | Berge, C., Graphs and Hypergraphs (1976), Amsterdam: North Holland, Amsterdam · Zbl 0483.05029 |
| [6] | Bondy, Ja; Murty, Usr, Graph Theory, Graduate Texts in Math. 244 (2008), New York: Springer, New York · Zbl 1134.05001 |
| [7] | Boxer, L., Digitally continuous functions, Pattern Recognit. Lett., 15, 833-839 (1994) · Zbl 0822.68119 · doi:10.1016/0167-8655(94)90012-4 |
| [8] | Boxer, L., A classical construction for the digital fundamental group, J. Math. Imaging Vis., 10, 51-62 (1999) · Zbl 0946.68151 · doi:10.1023/A:1008370600456 |
| [9] | Boxer, L., Properties of digital homotopy, J. Math. Imaging Vis., 22, 19-26 (2005) · Zbl 1383.68090 · doi:10.1007/s10851-005-4780-y |
| [10] | Boxer, L., Homotopy properties of sphere-like digital images, J. Math. Imaging Vis., 24, 167-175 (2006) · Zbl 1478.94012 · doi:10.1007/s10851-005-3619-x |
| [11] | Boxer, L., Generalized normal product adjacency in digital topology, Appl. Gen. Topol., 18, 2, 401-427 (2017) · Zbl 1377.54053 · doi:10.4995/agt.2017.7798 |
| [12] | Boxer, L., Alternate product adjacencies in digital topology, Appl. Gen. Topol., 19, 1, 21-53 (2018) · Zbl 1390.54023 · doi:10.4995/agt.2018.7146 |
| [13] | Boxer, L.; Karaca, I., Some properties of digital covering spaces, J. Math. Imaging Vis., 37, 17-26 (2010) · Zbl 1392.55014 · doi:10.1007/s10851-010-0189-3 |
| [14] | Dornaika, F.; Bosaghzadeh, A., Adaptive graph construction using data self-representativeness for pattern classification, Inf. Sci., 325, 118-139 (2015) · Zbl 1390.68522 · doi:10.1016/j.ins.2015.07.005 |
| [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) · Zbl 1372.55003 |
| [17] | Ege, O.; Karaca, I., Some properties of digital H-spaces, Turk. J. Electr. Eng. Comput. Sci., 24, 1930-1941 (2016) · doi:10.3906/elk-1311-69 |
| [18] | Ganea, T., Cogroups and suspensions, Invent. Math., 9, 185-197 (1970) · Zbl 0194.55103 · doi:10.1007/BF01404323 |
| [19] | Greenlees, Jpc; 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) · Zbl 1417.55011 · doi:10.1080/00927872.2018.1427253 |
| [20] | Hungerford, Tw, Algebra, Graduate Texts in Math 73 (1974), New York: Springer, New York · Zbl 0293.12001 |
| [21] | James, Im, On H-spaces and their homotopy groups, Q. J. Math., 11, 161-179 (1960) · Zbl 0097.16102 · doi:10.1093/qmath/11.1.161 |
| [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) · Zbl 1042.55010 · doi:10.1016/j.topol.2003.02.001 |
| [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) · Zbl 1162.55006 · doi:10.1090/S0002-9939-08-09666-4 |
| [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) · Zbl 1196.55007 · doi:10.1016/j.jpaa.2010.02.007 |
| [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) · Zbl 1267.55002 · doi:10.1016/j.jpaa.2012.10.005 |
| [27] | Lee, D-W, On the generalized same \(N\)-type conjecture, Math. Proc. Camb. Philos. Soc., 157, 329-344 (2014) · Zbl 1312.55006 · doi:10.1017/S0305004114000346 |
| [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) · Zbl 1372.55010 · doi:10.1007/s11401-016-1037-6 |
| [29] | Lee, D-W, Comultiplication structures for a wedge of spheres, Filomat, 30, 13, 3525-3546 (2016) · Zbl 1437.55019 · doi:10.2298/FIL1613525L |
| [30] | Lee, D-W, On the digitally quasi comultiplications of digital images, Filomat, 31, 7, 1875-1892 (2017) · Zbl 1488.68124 · doi:10.2298/FIL1707875L |
| [31] | Lee, D-W, Near-rings on digital Hopf groups, Appl. Algebra Eng. Commun. Comput., 29, 3, 261-282 (2018) · Zbl 1395.16049 · doi:10.1007/s00200-017-0341-z |
| [32] | Lee, D-W; Lee, S., Homotopy comultiplications on the \(k\)-fold wedge of spheres, Topol. Appl., 254, 145-170 (2019) · Zbl 1420.55025 · doi:10.1016/j.topol.2019.01.001 |
| [33] | Rosenfeld, A., Continuous functions on digital pictures, Pattern Recognit. Lett., 4, 177-184 (1986) · Zbl 0633.68122 · doi:10.1016/0167-8655(86)90017-6 |
| [34] | Whitehead, Gw, Elements of Homotopy Theory, Graduate Texts in Math 61 (1978), New York: Springer, New York · Zbl 0406.55001 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
