Страшный изоморфизм

По-маленьку приобщаюсь к GAP.
Сегодня в процессе изучения всяких полезных функций из пакета Sonata, имеющего дело с почтикольцами, произошла вот такая оказия.