code: def test_four_group():
      G = S4TransitiveSubgroups.V.get_perm_group()
      A4 = AlternatingGroup(4)
      assert G.is_subgroup(A4)
      assert G.degree == 4
      assert G.is_transitive()
      assert G.order() == 4
      assert not G.is_cyclic
  
imports: from sympy.combinatorics.galois import S4TransitiveSubgroups, S5TransitiveSubgroups, S6TransitiveSubgroups, find_transitive_subgroups_of_S6
  from sympy.combinatorics.homomorphisms import is_isomorphic
  from sympy.combinatorics.named_groups import SymmetricGroup, AlternatingGroup, CyclicGroup
label_desc: Use image node_id 1 for calling a global function with example usage: test_four_group() without return types