Search

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. [ABSTRACT FROM AUTHOR]

Let p be an odd prime. For the Stiefel manifold W = SU( m + k)/SU( m), we obtain an upper bound of its p-primary homotopy exponent in the stable range k ≤ m with k ≤ ( p − 1) +1. [ABSTRACT FROM AUTHOR]