Timeline for redundant relations
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 13, 2013 at 14:02 | comment | added | Benjamin Steinberg | @DerekHolt, this is why I am contending the question is ill-posed. If he wants to exploit having a matrix group he needs to clarify what he knows. Does he have a complete presentation (perhaps infinite) and wants to remove unnecessary relations? Is he working in the category of linear groups and so wants to remove those relations which are consequences of others in all linear groups? Without more info it is not clear that being linear is relevant. | |
| Sep 13, 2013 at 13:37 | comment | added | Derek Holt | I wasn't really intending to suggest that the source of the group was irrelevant (although admittedly what I wrote does imply that!). It is more the case that I did not know how make use of the fact that the group is a matrix group, so I was just offering what limited assitance I could. The other point is that, at the point at which Igor wants to try eliminating relations, he probably does not have a complete presentation of the matrix group in question, so it is not clear that he would be in a position to take advantage of the source. | |
| Sep 13, 2013 at 12:53 | history | edited | Benjamin Steinberg | CC BY-SA 3.0 |
added 891 characters in body
|
| Sep 13, 2013 at 1:20 | history | edited | Benjamin Steinberg | CC BY-SA 3.0 |
added 198 characters in body
|
| Sep 13, 2013 at 1:14 | history | answered | Benjamin Steinberg | CC BY-SA 3.0 |