2026-06-27T13:54:10Zhttps://docta.ucm.es/rest/oai/request

oai:docta.ucm.es:20.500.14352/607252023-09-07T16:59:50Zcom_20.500.14352_14col_20.500.14352_21

Laguna, V. F. Rodríguez Sanjurjo, José Manuel 2023-06-20T21:07:01Z 2023-06-20T21:07:01Z 1994 84-7491-510-4 https://hdl.handle.net/20.500.14352/60725 Given two shape morphisms F,G:X→Y , where X and Y are compacta, one declares F to be a divisor of G provided for any compactum Z and any shape morphism U:X→Z if F factors as F=F 1 ∘U , then G factors as G=G 1 ∘U . On the other hand, if Sh(X,Y) is a group, then F being a divisor of G ought to mean that G=mF for some integer m . In particular, if Y=S n is the n -sphere, then Sh(X,S n )=[X,S n ] can be given the structure of a group (the n th cohomotopy group) if the shape dimension of X is at most 2n−1 . Here is the main result of the paper. Theorem. If F,G:X→S n and the shape dimension of X is at most n , then F is the divisor of G iff G=mF for some integer m in the n th cohomotopy group of X. metadata only access On divisibility in shape theory. book part