Ask Your Question
0

Permutation group: (1234)=(12)(13)(14)

asked 2012-06-12 09:25:04 +0100

bk322 gravatar image

updated 2012-06-12 09:54:59 +0100

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.

edit retag flag offensive close merge delete

1 Answer

Sort by ยป oldest newest most voted
2

answered 2012-06-12 09:57:45 +0100

kcrisman gravatar image

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)
edit flag offensive delete link more

Comments

2

`Permutation((1,2)) * Permutation((1,3)) * Permutation((1,4)) == Permutation((1,2,3,4))` should also work.

DSM gravatar imageDSM ( 2012-06-12 10:32:44 +0100 )edit
1

Good point, but I don't think they'll be group elements, will they? Well, it's somewhat a semantic issue anyway until one starts using the actual methods of these classes.

kcrisman gravatar imagekcrisman ( 2012-06-12 10:45:31 +0100 )edit

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

Stats

Asked: 2012-06-12 09:25:04 +0100

Seen: 753 times

Last updated: Jun 12 '12