The algebraic structure of the homotopy set of product mappings on spheres. (Q1312327)

Für \(n \geq 0\) bezeichne \(S^ n = \{x \in \mathbb{R}^{n+1} | \| x \| = 1\}\) die \(n\)-Sphäre im \(\mathbb{R}^{n+1}\). Das reflektierende Produkt auf \(S^ n\), definiert durch \(x \cdot y = - y + 2 \langle x; y \rangle x\), wobei \(\langle ; \rangle\) das kanonische Skalarprodukt im \(\mathbb{R}^{n+1}\) ist, induziert für einen topologischen Raum \(X\) auf der Homotopiemenge \([X;S^ n]\) die algebraische Struktur eines symmetrischen Gruppoids. (Eine binäre Verknüpfung \(\cdot : M \times M \to M\) auf einer Menge \(M\) heißt symmetrisches Gruppoid, wenn die folgenden Axiome erfüllt sind: (i) \(x \cdot x = x\) (Idempotenz); (ii) \(x \cdot (x \cdot y) = y\) (Symmetrie); (iii) \(x \cdot (y \cdot z) = (x \cdot y) \cdot (x \cdot z)\) (Linksdistributivität).) Die vorliegende Arbeit befaßt sich mit der Untersuchung der symmetrischen Gruppoide \([S^ p \times S^ q; S^ n]\) für beliebige \(p,q,n\). Hauptergebnis der Arbeit ist, daß diese Struktur vollständig ermittelt werden kann mit Hilfe der symmetrischen Gruppoidstruktur auf \([S^ p;S^ n]\), \([S^ q; S^ n]\) und \([S^{p+q}; S^ n]\) sowie deren enger Verzahnung (Gruppenverwandtschaft) mit der Homotopiegruppenstruktur auf diesen Homotopiemengen.