GOuterGroup(E,N):: Group, Subgroup --> GOuterGroup
GOuterGroup():: Group, Subgroup --> GOuterGroup

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

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