Take the class of all compact, connected, boundaryless, smooth oriented $n$-dimensional manifolds, each taken up to orientation-preserving diffeomorphism. This is a commutative monoid with operation connect-sum.
For $n=1$ this is known to be the trivial monoid -- it only has one element.
For $n=2$ this is the free commutative monoid on one generator, the torus.
For $n=3$ this is the free commutative monoid on countably-many generators. This is an old theorem of Kneser and Milnor.
- Q: What is known about the monoid structure for $n \geq 4$? And is there much known about the group completion of the monoid?
Elements with inverses are precisely the homotopy spheres (provided $n \neq 4$). But presumably there are more interesting relations in this monoid. I've seen plenty of relations in these monoids but I've never spent the time to put together an overview of what's going on. What relations are there, to whatever extent they're known?
This question is related to a similar, older question of mine:
Computing the structure of the group completion of an abelian monoid, how hard can it be?
which is motivated by similar questions about connect-sums of pairs $(S^n,K)$ where $K \subset S^n$ is a co-dimension two oriented knot.
edit: When $n=4$ it seems to be not known if the sub-monoid of homotopy spheres is a group. See Bruno's comment below.
