Timeline for Is it decidable to check if an element has finite order or not?
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 28, 2021 at 23:05 | comment | added | YCor | @MateInTwo yes $[a,b]$ denotes the commutator $aba^{-1}b^{-1}$. | |
| Jul 28, 2021 at 21:18 | comment | added | Georgi Kocharyan | is that the commutator in the top presentation? | |
| Oct 6, 2016 at 21:53 | history | edited | YCor | CC BY-SA 3.0 |
Added a variant to provide a complete proof
|
| Oct 5, 2016 at 17:02 | history | answered | YCor | CC BY-SA 3.0 |