code: def test_M20():
      G = S5TransitiveSubgroups.M20.get_perm_group()
      S5 = SymmetricGroup(5)
      A5 = AlternatingGroup(5)
      assert G.is_subgroup(S5)
      assert not G.is_subgroup(A5)
      assert G.degree == 5
      assert G.is_transitive()
      assert G.order() == 20
  
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 2 for calling a global function with example usage: test_M20() without return types