Timeline for Which homotopy types can be realized as the classifying space of a right-cancellative discrete monoid?
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 22, 2019 at 15:47 | history | edited | Phil Tosteson | CC BY-SA 4.0 |
Corrected ore condition
|
| Aug 22, 2019 at 15:42 | comment | added | Phil Tosteson | @TimCampion I think you're right, I was misreading the Ore condition on the nLab page, in such a way that I thought it was vacuous for the whole monoid. | |
| Aug 22, 2019 at 15:00 | comment | added | Tim Campion | Thanks! I believe that every cancellative commutative monoid admits a calculus of fractions, but I'm not sure I believe this in the noncommutative case; do you have a reference? I don't see why the Ore condition should be satisfied. And for instance, having a calculus of fractions should probably imply that the monoid is embeddable in a group, which is not the case for all cancellative monoids, as I learned here. | |
| Aug 21, 2019 at 20:05 | history | answered | Phil Tosteson | CC BY-SA 4.0 |