Permutation group: (1234)=(12)(13)(14)
How do I show in sage that
(1234)=(12)(13)(14)
I tried make use of:
PermutationGroup([1,2]) * PermutationGroup([1,3])
but it doesn't do what is needed.
How do I show in sage that
(1234)=(12)(13)(14)
I tried make use of:
PermutationGroup([1,2]) * PermutationGroup([1,3])
but it doesn't do what is needed.
Sage's built-in help is useful here.
sage: PermutationGroup?
Definition: PermutationGroup(gens=None, gap_group=None, domain=None, canonicalize=True, category=None)
Docstring:
Return the permutation group associated to x (typically a list of
generators).
INPUT:
* "gens" - list of generators (default: "None")
* "gap_group" - a gap permutation group (default: "None")
* "canonicalize" - bool (default: "True"); if "True", sort
generators and remove duplicates
OUTPUT:
* A permutation group.
So indeed you get a permutation group, with these things as generators. You can't multiply groups.
A similar look at help will show you that Permutation does not give an element of a group, though you can convert an element of such a group to one.
But you can get group elements from your group. Try this.
sage: G = SymmetricGroup(4)
sage: G([(1,2)])
(1,2)
sage: G([(1,2)])*G([(1,3)])*G([(1,4)])
(1,2,3,4)
Please start posting anonymously - your entry will be published after you log in or create a new account.
Asked: 2012-06-12 09:25:04 +0200
Seen: 980 times
Last updated: Jun 12 '12
Can't thread with permutation groups?
Order of Irreducible Representation Characters wrong in Sage?
How to use elements of cartesian product of two groups?
Orbits on group actions acting on sets
A faster way to obtain orbits of a partition of the verrtex set
Writing a given permutaion as a product of generators
Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.