diff options
author | David A. Madore <david@procyon> | 2011-12-14 19:04:24 +0100 |
---|---|---|
committer | David A. Madore <david@procyon> | 2011-12-14 19:04:24 +0100 |
commit | 83e08e0392cb6055f8a11b7bd06937f80e3bdc23 (patch) | |
tree | 0b539d2e0c4ef3970508975fbf758fcbf8e188f3 /divers | |
parent | 47158a321a7ec6542cfc52f8b2a23a457dc080cd (diff) | |
download | galois-83e08e0392cb6055f8a11b7bd06937f80e3bdc23.tar.gz galois-83e08e0392cb6055f8a11b7bd06937f80e3bdc23.tar.bz2 galois-83e08e0392cb6055f8a11b7bd06937f80e3bdc23.zip |
Plus de sageries sur les sous-groupes de 𝔖_6.
Diffstat (limited to 'divers')
-rw-r--r-- | divers/sageries/sous-groupes-s6 | 29 | ||||
-rw-r--r-- | divers/vrac/sous-groupes-de-s6.dot | 1 |
2 files changed, 30 insertions, 0 deletions
diff --git a/divers/sageries/sous-groupes-s6 b/divers/sageries/sous-groupes-s6 new file mode 100644 index 0000000..7cafa74 --- /dev/null +++ b/divers/sageries/sous-groupes-s6 @@ -0,0 +1,29 @@ +s6 = SymmetricGroup(6) +tuplegens = [[[(1, 5, 3), (4, 2, 6)], [(1, 4), (5, 6), (3, 2)]], [[(1, 5, 3), (4, 2, 6)], [(1, 4), (5, 2), (3, 6)]], [[(5, 4), (3, 2)], [(1, 5, 3), (4, 2, 6)], [(1, 6), (3, 2)]], [[(5, 3), (2, 6)], [(1, 5, 3), (4, 2, 6)], [(1, 4), (5, 2), (3, 6)]], [[(4, 2, 6)], [(1, 5, 3)], [(1, 4), (5, 2), (3, 6)]], [[(3, 2)], [(5, 4)], [(1, 5, 3), (4, 2, 6)], [(1, 6)]], [[(5, 3), (4, 2)], [(5, 4), (3, 2)], [(1, 5, 3), (4, 2, 6)], [(1, 6), (3, 2)]], [[(5, 3, 4, 2)], [(5, 4), (3, 2)], [(1, 5, 3), (4, 2, 6)], [(1, 6), (3, 2)]], [[(4, 2, 6)], [(5, 3), (2, 6)], [(1, 5, 3)], [(1, 4), (5, 2), (3, 6)]], [[(4, 2, 6)], [(5, 3), (2, 6)], [(1, 5, 3)], [(1, 4), (5, 2, 3, 6)]], [[(3, 2)], [(5, 3), (4, 2)], [(5, 4)], [(1, 4, 3), (5, 2, 6)], [(1, 6)]], [[(1, 5, 3, 4, 6)], [(1, 4), (2, 6)]], [[(4, 2, 6)], [(4, 6)], [(5, 3)], [(1, 5, 3)], [(1, 4), (5, 2), (3, 6)]], [[(3, 4, 6, 2)], [(1, 2, 3, 6, 4)], [(1, 6), (5, 4)]], [[(4, 2, 6)], [(1, 5, 3, 4, 2)]], [[(1, 5)], [(1, 5, 3, 4, 2, 6)]]] +reps = [s6.subgroup(l) for l in tuplegens] +alsocontains = [(4, 0), (5, 1), (10, 1), (10, 3)] +strictcontains = [(i,j) for i in range(16) for j in range(16) if reps[j].is_subgroup(reps[i])] +contains = [(i,j) for i in range(16) for j in range(16) if (i,j) in strictcontains or (i,j) in alsocontains] +def subgroup_up_to_conjugacy(g,h): + for x in gap.ConjugateSubgroups(s6,g): + if gap.IsSubgroup(x,h): + return True + return False + +# contains == [(i,j) for i in range(16) for j in range(16) if subgroup_up_to_conjugacy(reps[i],reps[j])] + +R.<t> = PowerSeriesRing(QQ,'t',default_prec=30) +hilbertnum = [(sum([1/((1-x.matrix()*t).determinant()) for x in reps[j]]))*prod([1-t^i for i in range(1,7)])/reps[j].order() for j in range(16)] + +S.<z1,z2,z3,z4,z5,z6> = QQ['z1','z2','z3','z4','z5','z6'] +pols = [None for j in range(16)] +pols[15] = S(1) +pols[14] = prod([S.gens()[i]-S.gens()[j] for j in range(6) for i in range(j)]) +pols[13] = z1^2*z2^2*z3*z4 + z1*z2*z3^2*z4^2 + z1^2*z2*z3^2*z5 + z2^2*z3^2*z4*z5 + z1*z2^2*z4^2*z5 + z1^2*z3*z4^2*z5 + z1*z2^2*z3*z5^2 + z1^2*z2*z4*z5^2 + z1*z3^2*z4*z5^2 + z2*z3*z4^2*z5^2 + z1*z2^2*z3^2*z6 + z1^2*z3^2*z4*z6 + z1^2*z2*z4^2*z6 + z2^2*z3*z4^2*z6 + z1^2*z2^2*z5*z6 + z3^2*z4^2*z5*z6 + z1^2*z3*z5^2*z6 + z2*z3^2*z5^2*z6 + z2^2*z4*z5^2*z6 + z1*z4^2*z5^2*z6 + z1^2*z2*z3*z6^2 + z1*z2^2*z4*z6^2 + z2*z3^2*z4*z6^2 + z1*z3*z4^2*z6^2 + z2^2*z3*z5*z6^2 + z1*z3^2*z5*z6^2 + z1^2*z4*z5*z6^2 + z2*z4^2*z5*z6^2 + z1*z2*z5^2*z6^2 + z3*z4*z5^2*z6^2 +pols[12] = z1*z3 + z2*z4 + z1*z5 + z3*z5 + z2*z6 + z4*z6 +pols[11] = z1*z3*z4 + z2*z3*z4 + z1*z2*z5 + z2*z3*z5 + z1*z4*z5 + z1*z2*z6 + z1*z3*z6 + z2*z4*z6 + z3*z5*z6 + z4*z5*z6 +pols[10] = z2*z3 + z4*z5 + z1*z6 +pols[9] = z1^2*z2^3*z3*z4 + z1*z2^2*z3^3*z4 + z1^3*z2*z3*z4^2 + z1*z2*z3^2*z4^3 + z1^3*z2^2*z4*z5 + z2^3*z3^2*z4*z5 + z2*z3^3*z4^2*z5 + z1^2*z2*z4^3*z5 + z1*z2^3*z4*z5^2 + z2*z3*z4^3*z5^2 + z2^2*z3*z4*z5^3 + z1*z2*z4^2*z5^3 + z1^3*z2^2*z3*z6 + z1*z2^3*z3^2*z6 + z1*z3^3*z4^2*z6 + z1^2*z3*z4^3*z6 + z1^2*z2^3*z5*z6 + z2^2*z3^3*z5*z6 + z1^3*z4^2*z5*z6 + z3^2*z4^3*z5*z6 + z2^3*z3*z5^2*z6 + z1*z4^3*z5^2*z6 + z1*z2^2*z5^3*z6 + z3*z4^2*z5^3*z6 + z1*z2*z3^3*z6^2 + z1^3*z3*z4*z6^2 + z1^3*z2*z5*z6^2 + z3^3*z4*z5*z6^2 + z2*z3*z5^3*z6^2 + z1*z4*z5^3*z6^2 + z1^2*z2*z3*z6^3 + z1*z3^2*z4*z6^3 + z2*z3^2*z5*z6^3 + z1^2*z4*z5*z6^3 + z1*z2*z5^2*z6^3 + z3*z4*z5^2*z6^3 +pols[8] = z1^2*z2^2*z3*z4 + z1*z2*z3^2*z4^2 + z2^2*z3^2*z4*z5 + z1^2*z2*z4^2*z5 + z1*z2^2*z4*z5^2 + z2*z3*z4^2*z5^2 + z1*z2^2*z3^2*z6 + z1^2*z3*z4^2*z6 + z1^2*z2^2*z5*z6 + z3^2*z4^2*z5*z6 + z2^2*z3*z5^2*z6 + z1*z4^2*z5^2*z6 + z1^2*z2*z3*z6^2 + z1*z3^2*z4*z6^2 + z2*z3^2*z5*z6^2 + z1^2*z4*z5*z6^2 + z1*z2*z5^2*z6^2 + z3*z4*z5^2*z6^2 +pols[7] = z1^3*z2^2*z4 + z1^2*z3^3*z4 + z1*z2^3*z4^2 + z1^3*z3*z4^2 + z1^2*z2*z4^3 + z1*z3^2*z4^3 + z1^2*z2^3*z5 + z1^3*z3^2*z5 + z1^3*z2*z5^2 + z1*z3^3*z5^2 + z1*z2^2*z5^3 + z1^2*z3*z5^3 + z3^3*z4^2*z6 + z2^2*z4^3*z6 + z2^3*z5^2*z6 + z3^2*z5^3*z6 + z2^3*z4*z6^2 + z3*z4^3*z6^2 + z3^3*z5*z6^2 + z2*z5^3*z6^2 + z3^2*z4*z6^3 + z2*z4^2*z6^3 + z2^2*z5*z6^3 + z3*z5^2*z6^3 +pols[6] = z1*z3*z4 + z1*z2*z5 + z2*z4*z6 + z3*z5*z6 diff --git a/divers/vrac/sous-groupes-de-s6.dot b/divers/vrac/sous-groupes-de-s6.dot index 1f362b7..014636b 100644 --- a/divers/vrac/sous-groupes-de-s6.dot +++ b/divers/vrac/sous-groupes-de-s6.dot @@ -6,6 +6,7 @@ // quelques commandes: // s6 = SymmetricGroup(6) // lsttrans = [h for h in s6.conjugacy_classes_subgroups() if h.is_transitive()] +// a6 = [h for h in lsttrans if h.order()==360][0] // desctrans = [(h.order(),gap.StructureDescription(h),h.is_subgroup(a6)) for h in lsttrans] // def subgroup_up_to_conjugacy(g,h): // for x in gap.ConjugateSubgroups(s6,g): |