Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

As a follow-up to the construction of a graph that $S_6$ acts on in Constructing a graph based on numbers of vertices, incident edges, and incident triangles, I am now specifically looking at the relationship between the 6 sets of sets of 5 disjoint 2-cycles (ie $\{(ab),(ac),(ad),(ae),(af)\}$ to the 3 sets of 5 pairwise disjoint 2-cycle triangles (ie $\{\{(ab),(cd),(ef)\},\{(ac),(be),(df)\},\{(ad),(bf),(ce)\},\{((ae),(bd),(cf)\},\{(af),(bc),(de)\}\}$. I think it's important that $\frac{6}{3} =2$ but I am still a bit lost on how to construct an outer automorphism from this info. I would appreciate it if someone could steer me in the right direction.

share|improve this question
    
It's difficult to try and figure out what you are expected to do from isolated individual queries. What was the point of the construction of the graph with 15 vertices? I assumed that you be using that in some way to help you construct the outer automorphism. –  Derek Holt Oct 24 '12 at 7:53
add comment

1 Answer

Consider sets $A$ consisting of 5 sets of three disjoint transpositions, such that each transposition appears exactly once.

To find these sets, it makes sense to look at all transpositions having a common element. For example, look at $T = \{(12),(13),(14),(15),(16)\}$. In a set $A$, all these transpositions must be present. Furthermore, since $A$ has $\binom{6}{2}/3 = 15/3 = 5$ elements, and no element of $A$ can contain two transpositions of $T$, each element of $T$ is contained in exactly one element of $A$. From this information, it is not too hard to construct all suitable sets $A$.

There are 6 such sets: $$\{(12)(34)(56),(13)(25)(46),(14)(26)(35),(15)(24)(36),(16)(23)(45)\} \\ \{(12)(34)(56),(13)(26)(45),(14)(25)(36),(15)(23)(46),(16)(24)(35)\} \\ \{(12)(35)(46),(13)(24)(56),(14)(25)(36),(15)(26)(34),(16)(23)(45)\} \\ \{(12)(35)(46),(13)(26)(54),(14)(23)(56),(15)(24)(36),(16)(25)(34)\} \\ \{(12)(36)(45),(13)(24)(56),(14)(26)(35),(15)(23)(46),(16)(25)(34)\} \\ \{(12)(36)(45),(13)(25)(46),(14)(23)(56),(15)(26)(34),(16)(24)(35)\} $$

Now any $\sigma\in S_6$ permutes this $6$-element set by applying it to all the numbers in the cycles simultaneously. Show that this gives rise to an outer automorphism $S_6\to S_6$.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.