<Verb>GOuterGroup(E,N):: Group, Subgroup --> GOuterGroup</Verb>
<Verb>GOuterGroup():: Group, Subgroup --> GOuterGroup</Verb><P/>

<P/> 
Inputs a group <M>E</M> and normal subgroup <M>N</M>. It returns 
<M>N</M> as a <M>G</M>-outer group where <M>G=E/N</M>. A nonabelian cocycle
<M>f\colon G\times G\rightarrow N</M> is attached as a component of the <M>G</M>-Outer group.

<P/>
The function can be used without an argument. In this case an empty outer 
group <M>C</M> is returned. The components must be set using 
<B>SetActingGroup(C,G)</B>, <B>SetActedGroup(C,N)</B> and 
<B>SetOuterAction(C,alpha)</B>.

