[GAP Forum] A Subgroup of S_4 and isomorphic with Z_2 x Z_2

[Bill Allombert]

On Tue, Mar 19, 2013 at 09:43:32PM +0430, Mohammad Reza Sorouhesh wrote:
> Dear forum,
> 
> May I ask you how can I have the subgroup of S_4 which is isomorphic with
> Z_2 X Z_2. I know that the Cayley's Theorem guaranties this event.

Cayley theorem give you an explicit map from Z_2 X Z_2 to S_4, you just need
to compute its image. This is quite easy to do by hand.

Cheers,
Bill.