(* Alt5_1.m. First attempt at the alternating group of degree 5, given by
<a,b|a^2=b^3=(ba)^5=1>. *)

a1={2,1,3,5,4};
b1={3,2,4,1,5};
b2=Permute[b1,b1];

ponot = Select[Permutations[{1,2,3,4,5}], (SignaturePermutation[#]==1)&];

Alt51=MakeGraph[ ponot,
  (
    (
     #2==Permute[#1,a1]
    )||
    (
     #2==Permute[#1,b1]
    )||
    (
     #2==Permute[#1,b2]
    )
  )&, Type -> Undirected  ];