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.