Timeline for Residual finiteness: why do we care?
Current License: CC BY-SA 3.0
12 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 24, 2015 at 22:50 | history | edited | Khalid Bou-Rabee | CC BY-SA 3.0 |
corrected spelling of my name.
|
| Mar 5, 2015 at 17:17 | history | edited | Jean Raimbault | CC BY-SA 3.0 |
added 1 character in body
|
| Mar 5, 2015 at 14:20 | comment | added | Igor Rivin | @HJRW Yes, exactly. But that seems pretty much all you have an efficient solution for :( | |
| Mar 5, 2015 at 9:27 | comment | added | HJRW | Oh, I see. Of course, in that case you already have an explicit and efficient solution to the word problem! | |
| Mar 4, 2015 at 14:37 | comment | added | Igor Rivin | @HJRW No, I find myself in the opposite situation (where I have explicit matrix generators, with integer entries, if you like, but would like to know a presentation) - I can compute all the finite quotients I like (ok, not ALL finite quotients, but a lot of them), but that is, sadly, not very satisfying. | |
| Mar 4, 2015 at 10:22 | comment | added | HJRW | Out of interest, Igor, do you ever find yourself (in practice) in the situation where you have a finite presentation of a matrix group but no explicit faithful representation? | |
| Mar 3, 2015 at 20:29 | comment | added | Igor Rivin | @HJRW I will be sure to ask her! On a more depressing note, residual finiteness does little for the word problem in f.g. matrix groups. | |
| Mar 3, 2015 at 20:08 | comment | added | HJRW | I heard a great talk from Colva Roney-Dougal recently (OK, summer 2013, I suppose) about practical algorithms for solving the word problem in negatively curved groups. No doubt she can tell you all about it when you move! | |
| Mar 3, 2015 at 15:23 | comment | added | Igor Rivin | @HJRW "need" is a strong word, but I think that without it, it has historically been much more difficult to find practical methods - can't speak for the future, of course. | |
| Mar 2, 2015 at 20:58 | comment | added | HJRW | Do you think it's really true that we need residual finiteness in practice? Or is it just quick and dirty and easy to code? | |
| S Mar 2, 2015 at 17:13 | history | answered | Igor Rivin | CC BY-SA 3.0 | |
| S Mar 2, 2015 at 17:13 | history | made wiki | Post Made Community Wiki by Igor Rivin |