Timeline for How to construct $X \oplus \Sigma X$ from $X \oplus \Sigma X \oplus \Sigma X \oplus \Sigma^2 X$ without splitting an idempotent?
Current License: CC BY-SA 4.0
4 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Sep 28, 2022 at 13:57 | comment | added | Maxime Ramzi | I've added a "constuction" in the general case. Basically from a witness of $[R] = 0$ you can construct $R$ from $R\oplus\Sigma R$. | |
Sep 28, 2022 at 13:56 | history | edited | Maxime Ramzi | CC BY-SA 4.0 |
added 862 characters in body
|
Sep 22, 2022 at 15:20 | comment | added | Tim Campion | Thanks -- this is great, especially as it addresses the broader context. If I could accept an additional answer I definitely would! | |
Sep 22, 2022 at 15:15 | history | answered | Maxime Ramzi | CC BY-SA 4.0 |