File:Symmetric group S4; conjugacy table.svg

From Wikimedia Commons, the free media repository
Jump to navigation Jump to search

Original file(SVG file, nominally 744 × 744 pixels, file size: 466 KB)

Captions

Captions

Add a one-line explanation of what this file represents

Summary[edit]

Description

The numbers represent the permutations of 4 elements in reverse colexicographic order (compare Symmetric group S4).

In the position this table shows the result of (a^b) in SymPy, which is the same as (~b*a*b).

There is also:
left action
last ⋅ first
This is:
right action
first ⋅ last

In terms of left action, usual as function composition, this would be .


The leftmost column serves as a vertical index. To the left the matrices of the permutations are shown.

The second horizontal index (semi-transparent) shows the inverse permutations of those in the main index
With taken from the second index, position shows (or in terms of left action).

Example:              ()

>>> from sympy.combinatorics import Permutation
>>> Permutation.print_cyclic = False
>>> a = Permutation([0, 1, 3, 2])
>>> b = Permutation([3, 0, 2, 1])
>>> a^b
Permutation[0, 2, 1, 3]
>>> ~b*a*b
Permutation[0, 2, 1, 3]

Calculation of the matrix with Python: http://pastebin.com/BGkvfdgH (as exp_table and conjugacy_table1)


The entries in the same row are in the same conjugacy class. Every entry appears once in each column, as seen in the file below.

The positions of permutations with inversion sets symmetric to each other have positions in the table that are symmetric to each other.
This symmetry is seen in the cycle graph on the right.
E.g. and are symmetric to each other.
(trivial), , (green), , (orange) and , , (bold) are mirror-symmetric.

Positions of the entries
Cycle graph of S4
Cycle graph with symmetrical inversion sets
Date
Source Own work
Author
Watchduck
You can name the author as "T. Piesk", "Tilman Piesk" or "Watchduck".

Licensing[edit]

I, the copyright holder of this work, hereby publish it under the following license:
w:en:Creative Commons
attribution share alike
This file is licensed under the Creative Commons Attribution-Share Alike 4.0 International license.
You are free:
  • to share – to copy, distribute and transmit the work
  • to remix – to adapt the work
Under the following conditions:
  • attribution – You must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use.
  • share alike – If you remix, transform, or build upon the material, you must distribute your contributions under the same or compatible license as the original.

File history

Click on a date/time to view the file as it appeared at that time.

Date/TimeThumbnailDimensionsUserComment
current21:30, 10 May 2017Thumbnail for version as of 21:30, 10 May 2017744 × 744 (466 KB)Watchduck (talk | contribs)active right matrices
19:23, 9 November 2016Thumbnail for version as of 19:23, 9 November 2016744 × 744 (473 KB)Watchduck (talk | contribs)User created page with UploadWizard

File usage on other wikis

The following other wikis use this file:

Metadata