|
==Sample session==
<span style="color: blue;">gap></span> <span style="color: #B60000;">G:=SmallGroup(8,1);</span> <span style="color: darkgray;"># Set G to be a group of order 8.</span>
{{sxhl|lang=gap-console|1=
{{codett|2=gap|<pc group of size 8 with 3 generators>}} ▼gap> G:=SmallGroup(8,1); # Set G to be a group of order 8.
<span style="color: blue;">gap></span> <span style="color: #B60000;">i:=IsomorphismPermGroup(G);</span> <span style="color: darkgray;"># Find an isomorphism from G to a group of permutations.</span> ▼▲ {{codett|2=gap|<pc group of size 8 with 3 generators> }}
{{codett|2=gap|<action isomorphism>}} ▼▲ <span style="color: blue;">gap ></span> <span style="color: #B60000;">i:=IsomorphismPermGroup(G); </span> <span style="color: darkgray;"># Find an isomorphism from G to a group of permutations. </span>
<span style="color: blue;">gap></span> <span style="color: #B60000;">Image(i,G);</span> <span style="color: darkgray;"># The image of G under I - these are the generators of im G.</span> ▼▲ {{codett|2=gap|<action isomorphism> }}
{{codett|2=gap|Group([ (1,5,3,7,2,6,4,8), (1,3,2,4)(5,7,6,8), (1,2)(3,4)(5,6)(7,8) ])}} ▼▲ <span style="color: blue;">gap ></span> <span style="color: #B60000;">Image(i,G); </span> <span style="color: darkgray;"># The image of G under I - these are the generators of im G. </span>
<span style="color: blue;">gap></span> <span style="color: #B60000;">Elements(Image(i,G));</span> <span style="color: darkgray;"># All the elements of im G.</span>
{{codett|2=gap|Group([ ()1, (15,2)(3,4)(57,2,6)(7,4,8), (1,3,2,4)(5,7,6,8), (1,4,2)(3,34)(5,8,6,7)(7,8) }}])
gap> Elements(Image(i,G)); # All the elements of im G.
[ (), {{codett|2=gap|(1,5,2)(3,7,24)(5,6,4)(7,8), (1,6,3,8,2,4)(5,47,76,8), (1,7,4,5,2,8,3,6), (15,8,4,6,2,7),3,5) ]}}
▲ {{codett|2=gap|Group([ (1,5,3,7,2,6,4,8), (1 ,6,3 ,8,2 ,5,4 ,7) , ( 51,7, 64,5,2,8 ,3,6), (1, 2)(38,4 )(5,6 )(,2,7, 83,5) ] )}}
}}
==See also==
|
