Thread: Permutation Groups

Q:

Prove that G is a permutation group if and only if αlpha*(beta^-1) is in G for any alpha, beta in G.

Note: G is a non-empty subset of Sn.

The definition of a group is that for every alpha, beta in g:

a) alpha*beta in G
b) alpha^-1 in G

Help me out!!

Thanks!

Originally Posted by Fulger85

Q:

Prove that G is a permutation group if and only if αlpha*(beta^-1) is in G for any alpha, beta in G.

Note: G is a non-empty subset of Sn.

The definition of a group is that for every alpha, beta in g:

a) alpha*beta in G
b) alpha^-1 in G

Help me out!!

Thanks!

The forward implication is trivial.

Suppose then that for any .

Need to show closure under the operation, associativity, that identities exist, and that an identity element exists.

Well since (it's nonempty remember), the product by the given conditions. Do you see how this implies G contains the identity element (call it e)?

Since and are in G, then the product . Do you see how this implies G contains inverses for each of its elements?

All you have to do now is acknowledge the inheritance of the associativity property and show that the operation is closed in G.

If you pick what gentle subtlety do you need, using what you know, so you can show ?

There is nothing special about permuation groups.
It can be in fact any group.
Just go over the proof by gosualite and note no fact of it being a permuation group is used.

Thanks for the reply.

I understand it now.