Timeline for Algebraic proof that the monoid ring of a torsion-free monoid is reduced
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 25, 2022 at 7:33 | comment | added | user49822 | @QiaochuYuan the commutative monoid generated by three generators $a,b,c$ with the only relation $ab=ac$ is torsion-free and obviously non-cancellative | |
| Jun 24, 2022 at 22:20 | history | became hot network question | |||
| Jun 24, 2022 at 18:40 | comment | added | Qiaochu Yuan | If a counterexample exists then a f.g. counterexample exists so we reduce to that case. Do you know a finitely generated torsion-free commutative monoid that isn't cancellative? If such a thing is cancellative it embeds into $\mathbb{Z}^n$ and we can just reduce to that case, right? | |
| Jun 24, 2022 at 14:53 | answer | added | Friedrich Knop | timeline score: 7 | |
| Jun 24, 2022 at 14:25 | history | edited | Moinsdeuxcat | CC BY-SA 4.0 |
deleted 26 characters in body
|
| S Jun 24, 2022 at 14:19 | review | First questions | |||
| Jun 24, 2022 at 14:27 | |||||
| S Jun 24, 2022 at 14:19 | history | asked | Moinsdeuxcat | CC BY-SA 4.0 |