GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it

1
<Verb>ActedGroup(M):: GOuterGroup --> Group</Verb><P/>
2

3
<P/> 
4
Inputs a <M>G</M>-outer group  <M>M</M> corresponding to a homomorphism
5
<M>\alpha\colon G\rightarrow {\rm Out}(N)</M> and returns the group 
6
$N$. 
7

8

9

10

11