Timeline for Double coset representatives and Magma
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 9, 2018 at 14:02 | comment | added | Derek Holt | Magma (and also GAP) use right actions, and $S^t = t^{-1}St$ is usually more convenient for right actions. But left actions are much more common overall in mathematics. A general problem with $S^t = tSt^{-1}$ is that it results in $S^{(tu)} = (S^u)^t$, which is a little confusing. It might work better to use $^{t}S$ for $tSt^{-1}$. | |
| May 9, 2018 at 13:55 | vote | accept | W Sao | ||
| May 9, 2018 at 13:54 | comment | added | W Sao | THANK YOU! The number theory result that says that these induces are well-defined indeed requires that we work with $t S t^{-1}$. Upon fixing my codes as you suggested, I got the correct answer! I am a number theorist and I'm not familiar with the fine points/conventions of (computational) algebra, so allow me to ask a naive question: Is there a reason/preference etc to define S^t one way over the other? Thanks! | |
| May 9, 2018 at 13:50 | vote | accept | W Sao | ||
| May 9, 2018 at 13:55 | |||||
| May 9, 2018 at 13:11 | history | answered | Derek Holt | CC BY-SA 4.0 |