“…Based on definition 3, the vertices of the non-normal subgroup graph are all the elements of 𝐴 4 and the direction of the edges is determined by the product of the two distinct elements. The following GAP coding is for one of the subgroups of the alternating group of order 12. gap> A4:=AlternatingGroup(4); Alt( [ 1 .. 4 ] ) gap> e:=Elements(A4); [ (), (2,3,4), (2,4,3), (1,2) (3,4), (1,2,3), (1,2,4), (1,3,2), (1,3,4), (1,3)(2,4), (1,4,2), (1,4,3), (1,4) Group([ (1,2)(3,4) ]) gap> Elements(H1); [ (), (1,2)(3,4) ] gap> for i in e do > for j in e do; > if i<>j then > c:=i*j; > d:=c in H1; > if (d=true) then > Print ("{",i,",",j,",",c,",",d,"},"); > fi; > fi; > od; > od; {(),(1,2) (3,4),(1,2)(3,4),true},{(2,3,4), (2,4,3),(),true},{ (2,3,4), (1,2 ,3),(1,2)(3,4),true},{(2,4,3), (2,3,4),(),true},{ (2,4,…”