МАГМА: группы автоморфизмов, действующих на инволюции
Например, если мы позволим
G: = Sym (6);
A: = группа автоморфизмов (G);
P: = группа перестановок (A);
I: = {@ i: i в G | Order(i) eq 2 @};
тогда как можно построить G-множество, в котором P действует на I по карте, и показывает, как автоморфизмы переставляют инволюции?
Я новичок в MAGMA, но в последнее время я много времени читал руководство, и я не нашел никакого способа сделать это. У кого-нибудь есть полезные предложения?