Timeline for Change group generators?
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 20, 2015 at 21:54 | comment | added | Kellen Myers |
To put it another way, in a more positive light, if you have already specified your group, you only need to indicate the generators -- no equations are required. This is how CayleyGraph works (using some set of canonical generators) and it is also how my algorithm works. I'm afraid, however, that it would require some careful assumptions about user-generated input to take some particular presentations of certain groups and give the Cayley graphs. (It would also require an approach completely different than the existing CayleyGraph).
|
|
| Jan 20, 2015 at 21:51 | comment | added | Kellen Myers |
I am not sure what your comment means by "defining equations." If your question is regarding the presentation of a group by a particular set of relations, I don't see how this question makes sense. The command CayleyGraph requires some group object to be specified already. A set of relations does not tell us much information about elements of the group (and quite famously, it may be beyond the power of computers -- a great disappointment to Hilbert).
|
|
| Jan 20, 2015 at 12:44 | comment | added | user2154420 | I don't understand. Where can I specify defining equations? | |
| Jan 15, 2015 at 23:36 | history | answered | Kellen Myers | CC BY-SA 3.0 |