Timeline for Computable change in minimum word length of subgroup elements
Current License: CC BY-SA 4.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 27, 2021 at 8:47 | vote | accept | CommunityBot | ||
| Apr 27, 2021 at 8:37 | answer | added | Carl-Fredrik Nyberg Brodda | timeline score: 4 | |
| Apr 26, 2021 at 16:46 | comment | added | YCor | @Carl-FredrikNybergBrodda thanks! I think the notion of distortion of a subgroup appears in papers by Gromov and Gersten in the early 90s. | |
| Apr 26, 2021 at 16:42 | comment | added | Carl-Fredrik Nyberg Brodda | Specifically, it is Proposition~1.1 of their paper. | |
| Apr 26, 2021 at 16:42 | comment | added | Carl-Fredrik Nyberg Brodda | This is the notion of (actual) distortion function, which appears in a paper Sunik, Margolis & Meakin. @YCor's suspicion is correct, and can be strengthened slightly: if the problem of comparison of $H$-words to $G$-words is decidable in $G$, then this holds iff the membership problem in $H$ is solvable. | |
| Apr 26, 2021 at 12:16 | comment | added | YCor | If $G$ has solvable word problem, I suspect this holds iff the membership problem in $H$ is solvable. | |
| Apr 26, 2021 at 12:09 | history | edited | user178109 | CC BY-SA 4.0 |
deleted 16 characters in body
|
| Apr 26, 2021 at 12:08 | history | edited | Francesco Polizzi | CC BY-SA 4.0 |
added 43 characters in body
|
| Apr 26, 2021 at 12:05 | history | asked | user178109 | CC BY-SA 4.0 |