Dear Mrs. and Mr. Forum,

Wade Satterfield asked two questions. The first is

Is there a way to create the cartesian product of a group, say of C2 x C2?

The function 'DirectProduct' should do the job, for example

gap> c2:= CyclicGroup( 2 );
Group( (1,2) )
gap> DirectProduct( c2, c2 );
Group( (1,2), (3,4) )

The second question is

Also, is there a built-in function for creating the quaternion group?

The command 'SolvableGroup( "Q8" )' gives you the quaternion group
as an AgGroup.

Kind regards
Thomas Breuer