# Talk:Loop space

WikiProject Mathematics (Rated Start-class, Low-priority)
This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of Mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.
Mathematics rating:
 Start Class
 Low Priority
Field: Topology

## Quasigroup?

In what sense does loop space form a quasigroup? If I have two loops f and g there need not be a loop h such that fh = g. Loop space forms a nonassocitive, noncommutative magma, but surely not a quasigroup. -- Fropuff

Yes, you're right. Got my definitions mixed up. -- Staecker 01:30, 20 October 2005 (UTC)

In the unbased case, the left adjoint to the loop functor is given by ordinary product with the circle (since the unbased loop functor is by definition the mapping space of maps from the circle). So IMHO the article cannot be quite correct in saying that the loop space functor is right adjoint to the unreduced suspension. What do you guys think? - Saibot2 21:36, 13 February 2007 (UTC)

Saibot2 is right, the free loop functor (I think that's a more common name than unbased loop, but less descriptive) is right adjoint to the cartesian product. I also think that ΩX is a notation used only for the based loop space; the free loops are usually denoted L(X) or $\mathcal{L}(X)$. But maybe the usage outside of topology differs. -- Tilmanbauer (talk) 19:25, 19 February 2008 (UTC)

## smash product

"The free loop space construction is right adjoint to the cartesian product with the circle" Is the smash product really cartesian? The smash product page says only that it is symmetric monoidal... 83.160.106.234 (talk) 04:37, 8 July 2013 (UTC)

Not sure, but perhaps its this: it is the reduced suspension that is the smash product between circle and space. The adjoint to the reduced suspension is the based loop space. For the un-based loop space, its adjoint to the cartesian product, not the smash product. User:Linas (talk) 16:58, 19 November 2013 (UTC)

## relation between homotopy groups of X and those of its loop space

An important result that needs to be added:

Relation between homotopy groups of $X$ and those of its loop space: $\pi_k(X) \approxeq \pi_{k-1}(\Omega X)$ [1].

More generally, $[\Sigma Z,X] \approxeq [Z, \Omega X]$, where $[A,B]$ is the set of homotopy classes of maps $A \rightarrow B$ (with usual group structure when $A, B$ are pointed), and $\Sigma A$ is the suspension of A. [2] Note that setting $Z = \mathbb{S}^{k-1}$ gives the earlier result.

- Subh83 (talk | contribs) 22:03, 31 October 2013 (UTC)

Looks like you or someone already added that to the article. Note that JP May has an entire chapter(s) on the long exact sequences that arise in these constructions, and some kind of summary of that could be nice for this article. User:Linas (talk) 17:02, 19 November 2013 (UTC)
ya, that's right. This can be expanded upon.
I added a clarification on the group structure of [A,B].- Subh83 (talk | contribs) 05:04, 28 December 2013 (UTC)