Whitehead product
E886921
The Whitehead product is a fundamental operation in algebraic topology that combines homotopy classes of maps to produce higher-order homotopy information, playing a key role in the structure of homotopy groups of spheres and related spaces.
All labels observed (2)
| Label | Occurrences |
|---|---|
| Whitehead product canonical | 4 |
| Whitehead product in homotopy groups | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T10829240 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Whitehead product Context triple: [J. H. C. Whitehead, notableConcept, Whitehead product]
-
A.
Künneth formula
The Künneth formula is a fundamental result in algebraic topology and homological algebra that expresses the (co)homology of a product space or object in terms of the (co)homology of its factors.
-
B.
Eilenberg–Zilber theorem
The Eilenberg–Zilber theorem is a fundamental result in algebraic topology that establishes a chain homotopy equivalence between the singular chain complex of a product space and the tensor product of the singular chain complexes of the factors.
-
C.
Hopf invariant
The Hopf invariant is a topological integer-valued invariant that classifies certain continuous maps between spheres, playing a central role in homotopy theory and the study of higher-dimensional linking.
-
D.
Alexander–Spanier cohomology
Alexander–Spanier cohomology is a cohomology theory in algebraic topology defined using cochains on all finite subsets of a space, notable for its generality and close relationship to Čech and singular cohomology.
-
E.
Whitney approximation theorem
The Whitney approximation theorem is a fundamental result in differential topology stating that any continuous function between smooth manifolds can be uniformly approximated by smooth functions.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Whitehead product Target entity description: The Whitehead product is a fundamental operation in algebraic topology that combines homotopy classes of maps to produce higher-order homotopy information, playing a key role in the structure of homotopy groups of spheres and related spaces.
-
A.
Künneth formula
The Künneth formula is a fundamental result in algebraic topology and homological algebra that expresses the (co)homology of a product space or object in terms of the (co)homology of its factors.
-
B.
Eilenberg–Zilber theorem
The Eilenberg–Zilber theorem is a fundamental result in algebraic topology that establishes a chain homotopy equivalence between the singular chain complex of a product space and the tensor product of the singular chain complexes of the factors.
-
C.
Hopf invariant
The Hopf invariant is a topological integer-valued invariant that classifies certain continuous maps between spheres, playing a central role in homotopy theory and the study of higher-dimensional linking.
-
D.
Alexander–Spanier cohomology
Alexander–Spanier cohomology is a cohomology theory in algebraic topology defined using cochains on all finite subsets of a space, notable for its generality and close relationship to Čech and singular cohomology.
-
E.
Whitney approximation theorem
The Whitney approximation theorem is a fundamental result in differential topology stating that any continuous function between smooth manifolds can be uniformly approximated by smooth functions.
- F. None of above. chosen
Statements (45)
| Predicate | Object |
|---|---|
| instanceOf |
algebraic topology concept
ⓘ
operation on homotopy groups ⓘ |
| actsOn |
homotopy classes of maps
ⓘ
homotopy groups of pointed spaces ⓘ homotopy groups of spheres ⓘ |
| appearsIn |
classical homotopy theory
ⓘ
homotopy groups of spheres computations ⓘ |
| appliesTo |
pointed CW-complexes
ⓘ
simply connected spaces ⓘ |
| arity | binary operation ⓘ |
| construction |
defined using attaching maps on S^m ∨ S^n
ⓘ
realized via the canonical map S^{m+n-1} → S^m ∨ S^n ⓘ |
| definedOn | π_*(X) for a pointed space X ⓘ |
| domain | homotopy groups ⓘ |
| field |
algebraic topology
ⓘ
homotopy theory ⓘ |
| generalizationOf | commutator in fundamental groups (up to analogy) ⓘ |
| historicalPeriod | 20th-century mathematics ⓘ |
| influenced |
development of homotopy operations
ⓘ
theory of higher order operations in topology ⓘ |
| inputType |
elements of π_m(X)
ⓘ
elements of π_n(X) ⓘ |
| keyRole |
structure of higher homotopy groups
ⓘ
structure of homotopy groups of spheres ⓘ |
| namedAfter | J. H. C. Whitehead ⓘ |
| notation | [α, β] ⓘ |
| outputType | elements of π_{m+n-1}(X) ⓘ |
| property |
bilinear up to homotopy
ⓘ
depends on basepoint ⓘ graded skew-commutative ⓘ natural with respect to continuous maps ⓘ |
| relatedTo |
Eilenberg–MacLane spaces
ⓘ
Lie algebra structures on homotopy groups ⓘ Postnikov invariants ⓘ
linked to:
Postnikov system
Samelson product ⓘ homotopy Lie algebra of a space ⓘ |
| requires | choice of basepoint in the space ⓘ |
| satisfies | graded Jacobi identity up to homotopy ⓘ |
| usedFor |
analyzing Postnikov towers
ⓘ
constructing elements in higher homotopy groups ⓘ defining Samelson product on loop spaces ⓘ describing non-abelian structure of low-dimensional homotopy groups ⓘ detecting higher-order homotopy information ⓘ studying H-spaces and loop spaces ⓘ studying homotopy groups of spheres ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: Whitehead product Description of subject: The Whitehead product is a fundamental operation in algebraic topology that combines homotopy classes of maps to produce higher-order homotopy information, playing a key role in the structure of homotopy groups of spheres and related spaces.
Referenced by (5)
Full triples — surface form annotated when it differs from this entity's canonical label.