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

[realeugene]

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

p * q

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

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

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