Произведение перестановок в GAP

[realeugene]

В GAP произведение перестановок

p * q

означает, что перестановка q применяется к результату перестановки p. Это оказалось для меня неожиданным, так как перестановки - отображения, и в композиции отображений отображение, стоящее слева, традиционно применяется после правого, как мне кажется. Два вопроса:

1. Чем вызвано такое соглашение и какое у него преимущество?
2. Где в документации по GAP оно описано? Возникает ощущение, что подобный порядок был "естественным" для авторов пакета.

PS Бесплатный ChatGPT откровенно врёт в подобных вопросах.

[maxal]

1. Вот тут дискуссия на эту тему: https://mathoverflow.net/q/151258
2. В документации явно не проговаривается, но из приведенных примеров понятно: https://docs.gap-system.org/doc/ref/chap42.html