|
|
| Line 1: |
Line 1: |
| <!--This article is in Commonwealth English-->
| | Luke Bryan is really a superstar within the creating and the job growth 1st second to his 3rd resort album, And , may be the evidence. He broken to the picture in 2013 regarding his unique mix of down-property accessibility, movie superstar fantastic looks and lines, is defined t inside a significant way. The newest record Top around the region chart and #2 in the burst maps, making it the second highest first appearance during those times of 1999 for any country musician. <br><br>The kid of a , understands perseverance and determination are key elements in terms of a successful job- . His initial album, Remain Me, produced the Top strikes “All My Buddies “Country and Say” [http://www.banburycrossonline.com luke bryan vip packages] Man,” when his effort, Doin’ Issue, discovered the artist-about three straight No. 6 single people: In addition Contacting Is actually a Wonderful Factor.”<br><br>During the tumble of 2000, Concert tours: Bryan And that have an impressive selection of , such as Downtown. “It’s much like you’re receiving a authorization to visit one stage further, states individuals musicians which were an element of the Concert toursmore than into a larger amount of performers.” It wrapped as among the most successful organized luke bryan the today show, [http://minioasis.com minioasis.com], tours in its 10-calendar year record.<br><br>Feel free to surf to my homepage [http://lukebryantickets.lazintechnologies.com luke bryan 2014 tickets] |
| A '''Cayley table''', after the 19th century [[United Kingdom|British]] [[mathematician]] [[Arthur Cayley]], describes the structure of a [[finite group]] by arranging all the possible products of all the group's elements in a square table reminiscent of an [[addition]] or [[multiplication table]]. Many properties of a group — such as whether or not it is [[abelian group|abelian]], which elements are [[inverse element|inverses]] of which elements, and the size and contents of the group's [[center (group theory)|center]] — can be discovered from its Cayley table.
| |
| | |
| A simple example of a Cayley table is the one for the group {1, −1} under ordinary [[multiplication]]:
| |
| | |
| {|border="2" cellpadding="5" align="center" style="text-align:center;"
| |
| |-
| |
| !style="background:#efefef;"|×
| |
| !style="background:#efefef;"|1
| |
| !style="background:#efefef;"|−1
| |
| |-
| |
| !style="background:#efefef;"|1
| |
| | 1 || −1
| |
| |-
| |
| !style="background:#efefef;"|−1
| |
| | −1 || 1
| |
| |}
| |
| | |
| == History ==
| |
| Cayley tables were first presented in Cayley's 1854 paper, "On The Theory of Groups, as depending on the symbolic equation ''θ''<sup> ''n''</sup> = 1". In that paper they were referred to simply as tables, and were merely illustrative — they came to be known as Cayley tables later on, in honour of their creator.
| |
| | |
| ==Structure and layout==
| |
| Because many Cayley tables describe groups that are not [[abelian group|abelian]], the product ''ab'' with respect to the group's [[binary operation]] is not guaranteed to be equal to the product ''ba'' for all ''a'' and ''b'' in the group. In order to avoid confusion, the convention is that the factor that labels the row (termed ''nearer factor'' by Cayley) comes first, and that the factor that labels the column (or ''further factor'') is second. For example, the intersection of row ''a'' and column ''b'' is ''ab'' and not ''ba'', as in the following example:
| |
| | |
| {|border="2" cellpadding="5" align="center" style="text-align: center;"
| |
| |-
| |
| !style="background:#efefef;"|*
| |
| !style="background:#efefef;"|a
| |
| !style="background:#efefef;"|b
| |
| !style="background:#efefef;"|c
| |
| |-
| |
| !style="background:#efefef;"|a
| |
| | a<sup>2</sup> || ab || ac
| |
| |-
| |
| !style="background:#efefef;"|b
| |
| | ba || b<sup>2</sup> || bc
| |
| |-
| |
| !style="background:#efefef;"|c
| |
| | ca || cb || c<sup>2</sup>
| |
| |}
| |
| | |
| Cayley originally set up his tables so that the identity element was first, obviating the need for the separate row and column headers featured in the example above. For example, they do not appear in the following table:
| |
| | |
| {|border="2" cellpadding="5" align="center" style="text-align: center;"
| |
| |-
| |
| || a || b || c
| |
| |-
| |
| || b || c || a
| |
| |-
| |
| || c || a || b
| |
| |}
| |
| | |
| In this example, the [[cyclic group]] '''Z'''<sub>3</sub>, ''a'' is the identity element, and thus appears in the top left corner of the table. It is easy to see, for example, that ''b''<sup>2</sup> = ''c'' and that ''cb'' = ''a''. Despite this, most modern texts — and this article — include the row and column headers for added clarity.
| |
| | |
| == Properties and uses ==
| |
| | |
| === Commutativity ===
| |
| The Cayley table tells us whether a group is [[abelian group|abelian]]. Because the group operation of an abelian group is [[commutative]], a group is abelian if and only if its Cayley table is symmetric along its diagonal axis. The cyclic group of order 3, above, and {1, −1} under ordinary multiplication, also above, are both examples of abelian groups, and inspection of the symmetry of their Cayley tables verifies this. In contrast, the smallest non-abelian group, the [[dihedral group of order 6]], does not have a symmetric Cayley table.
| |
| | |
| === Associativity ===
| |
| Because [[associativity]] is taken as an axiom when dealing with groups, it is often taken for granted when dealing with Cayley tables. However, Cayley tables can also be used to characterize the operation of a [[quasigroup]], which does not assume associativity as an axiom (indeed, Cayley tables can be used to characterize the operation of any finite [[magma (algebra)|magma]]). Unfortunately, it is not generally possible to determine whether or not an operation is associative simply by glancing at its Cayley table, as it is with commutativity. This is because associativity depends on a 3 term equation, <math>(ab)c=a(bc)</math>, while the Cayley table shows 2-term products. However, [[Light's associativity test]] can determine associativity with less effort than brute force.
| |
| | |
| === Permutations ===
| |
| Because the [[cancellation property]] holds for groups (and indeed even quasigroups), no row or column of a Cayley table may contain the same element twice. Thus each row and column of the table is a permutation of all the elements in the group. This greatly restricts which Cayley tables could conceivably define a valid group operation.
| |
| | |
| To see why a row or column cannot contain the same element more than once, let ''a'', ''x'', and ''y'' all be elements of a group, with ''x'' and ''y'' distinct. Then in the row representing the element ''a'', the column corresponding to ''x'' contains the product ''ax'', and similarly the column corresponding to ''y'' contains the product ''ay''. If these two products were equal — that is to say, row ''a'' contained the same element twice, our hypothesis — then ''ax'' would equal ''ay''. But because the cancellation law holds, we can conclude that if ''ax'' = ''ay'', then ''x'' = ''y'', a [[reductio ad absurdum|contradiction]]. Therefore, our hypothesis is incorrect, and a row cannot contain the same element twice. Exactly the same argument suffices to prove the column case, and so we conclude that each row and column contains no element more than once. Because the group is finite, the [[pigeonhole principle]] guarantees that each element of the group will be represented in each row and in each column exactly once.
| |
| | |
| Thus, the Cayley table of a group is an example of a [[latin square]].
| |
| | |
| == Constructing Cayley tables ==
| |
| Because of the structure of groups, one can very often "fill in" Cayley tables that have missing elements, even without having a full characterization of the group operation in question. For example, because each row and column must contain every element in the group, if all elements are accounted for save one, and there is one blank spot, without knowing anything else about the group it is possible to conclude that the element unaccounted for must occupy the remaining blank space. It turns out that this and other observations about groups in general allow us to construct the Cayley tables of groups knowing very little about the group in question.
| |
| | |
| === The "identity skeleton" of a finite group ===
| |
| Because in any group, even a non-abelian group, every element commutes with its own inverse, it follows that the distribution of identity elements on the Cayley table will be symmetric across the table's diagonal. Those that lie on the diagonal are their own inverse; those that do not have another, unique inverse.
| |
| | |
| Because the order of the rows and columns of a Cayley table is in fact arbitrary, it is convenient to order them in the following manner: beginning with the group's identity element, which is always its own inverse, list first all the elements that are their own inverse, followed by pairs of inverses listed adjacent to each other.
| |
| | |
| Then, for a finite group of a particular order, it is easy to characterize its "identity skeleton", so named because the identity elements on the Cayley table are clustered about the main diagonal — either they lie directly on it, or they are one removed from it.
| |
| | |
| It is relatively trivial to prove that groups with different identity skeletons cannot be [[isomorphic]], though the converse is not true (for instance, the [[cyclic group]] ''C<sub>8</sub>'' and the [[quaternion group]] ''Q'' are non-isomorphic but have the same identity skeleton).
| |
| | |
| Consider a six-element group with elements ''e'', ''a'', ''b'', ''c'', ''d'', and ''f''. By convention, ''e'' is the group's identity element. Because the identity element is always its own inverse, and inverses are unique, the fact that there are 6 elements in this group means that at least one element other than ''e'' must be its own inverse. So we have the following possible skeletons:
| |
| *all elements are their own inverses,
| |
| *all elements save ''d'' and ''f'' are their own inverses, each of these latter two being the other's inverse,
| |
| *''a'' is its own inverse, ''b'' and ''c'' are inverses, and ''d'' and ''f'' are inverses.
| |
| | |
| In our particular example, there does not exist a group of the first type of order 6; indeed, simply because a particular identity skeleton is conceivable does not in general mean that there exists a group that fits it.
| |
| | |
| It is noteworthy (and trivial to prove) that any group in which every element is its own inverse is abelian.
| |
| | |
| ===Filling in the identity skeleton===
| |
| Once a particular identity skeleton has been decided on, it is possible to begin filling out the Cayley table. For example, take the identity skeleton of a group of order 6 of the second type outlined above:
| |
| | |
| {| border="2" cellpadding="5" align="center"
| |
| !style="background:#efefef;"|
| |
| !style="background:#efefef;"| <big>e</big>
| |
| !style="background:#efefef;"| <big>a</big>
| |
| !style="background:#efefef;"| <big>b</big>
| |
| !style="background:#efefef;"| <big>c</big>
| |
| !style="background:#efefef;"| <big>d</big>
| |
| !style="background:#efefef;"| <big>f</big>
| |
| |-
| |
| !style="background:#efefef;"| <big>e</big>
| |
| | <big>e</big> || || || || ||
| |
| |-
| |
| !style="background:#efefef;"| <big>a</big>
| |
| | || <big>e</big> || || || ||
| |
| |-
| |
| !style="background:#efefef;"| <big>b</big>
| |
| | || || <big>e</big> || || ||
| |
| |-
| |
| !style="background:#efefef;"| <big>c</big>
| |
| | || || || <big>e</big> || ||
| |
| |-
| |
| !style="background:#efefef;"| <big>d</big>
| |
| | || || || || || <big>e</big>
| |
| |-
| |
| !style="background:#efefef;"| <big>f</big>
| |
| | || || || || <big>e</big> ||
| |
| |}
| |
| | |
| Obviously, the ''e'' row and the ''e'' column can be filled out immediately. Once this has been done, it may be necessary (and it is necessary, in our case) to make an assumption, which may later lead to a contradiction — meaning simply that our initial assumption was false. We will assume that ''ab'' = ''c''. Then:
| |
| | |
| {|border="2" cellpadding="5" align="center"
| |
| !style="background:#efefef;"|
| |
| !style="background:#efefef;"| <big>e</big>
| |
| !style="background:#efefef;"| <big>a</big>
| |
| !style="background:#efefef;"| <big>b</big>
| |
| !style="background:#efefef;"| <big>c</big>
| |
| !style="background:#efefef;"| <big>d</big>
| |
| !style="background:#efefef;"| <big>f</big>
| |
| |-
| |
| !style="background:#efefef;"| <big>e</big>
| |
| | <big>e</big> || <big>a</big> || <big>b</big> || <big>c</big> || <big>d</big> || <big>f</big>
| |
| |-
| |
| !style="background:#efefef;"| <big>a</big>
| |
| | <big>a</big> || <big>e</big> || <big>c</big> || || ||
| |
| |-
| |
| !style="background:#efefef;"| <big>b</big>
| |
| | <big>b</big> || || <big>e</big> || || ||
| |
| |-
| |
| !style="background:#efefef;"| <big>c</big>
| |
| | <big>c</big> || || || <big>e</big> || ||
| |
| |-
| |
| !style="background:#efefef;"| <big>d</big>
| |
| | <big>d</big> || || || || || <big>e</big>
| |
| |-
| |
| !style="background:#efefef;"| <big>f
| |
| | <big>f</big> || || || || <big>e</big> ||
| |
| |}
| |
| | |
| Multiplying ''ab'' = ''c'' on the left by ''a'' gives ''b'' = ''ac''. Multiplying on the right by ''c'' gives ''bc'' = ''a''. Multiplying ''ab'' = ''c'' on the right by ''b'' gives ''a'' = ''cb''. Multiplying ''bc'' = ''a'' on the left by ''b'' gives ''c'' = ''ba'', and multiplying that on the right by ''a'' gives ''ca'' = ''b''. After filling these products into the table, we find that the ''ad'' and ''af'' are still unaccounted for in the ''a'' row; as we know that each element of the group must appear in each row exactly once, and that only ''d'' and ''f'' are unaccounted for, we know that ''ad'' must equal ''d'' or ''f''; but it cannot equal ''d'', because if it did, that would imply that ''a'' equaled ''e'', when we know them to be distinct. Thus we have ''ad'' = ''f'' and ''af'' = ''d''.
| |
| | |
| Furthermore, since the inverse of ''d'' is ''f'', multiplying ''ad'' = ''f'' on the right by ''f'' gives ''a'' = ''f''<sup>2</sup>. Multiplying this on the left by ''d'' gives us ''da'' = ''f''. Multiplying this on the right by ''a'', we have ''d'' = ''fa''.
| |
| | |
| Filling in all of these products, the Cayley table now looks like this:
| |
| | |
| {| border="2" cellpadding="5" align="center"
| |
| !style="background:#efefef;"|
| |
| !style="background:#efefef;"| <big>e</big>
| |
| !style="background:#efefef;"| <big>a</big>
| |
| !style="background:#efefef;"| <big>b</big>
| |
| !style="background:#efefef;"| <big>c</big>
| |
| !style="background:#efefef;"| <big>d</big>
| |
| !style="background:#efefef;"| <big>f</big>
| |
| |-
| |
| !style="background:#efefef;"| <big>e</big>
| |
| | <big>e</big> || <big>a</big> || <big>b</big> || <big>c</big> || <big>d</big> || <big>f</big>
| |
| |-
| |
| !style="background:#efefef;"| <big>a</big>
| |
| | <big>a</big> || <big>e</big> || <big>c</big> || <big>b</big> || <big>f</big> || <big>d</big>
| |
| |-
| |
| !style="background:#efefef;"| <big>b</big>
| |
| | <big>b</big> || <big>c</big> || <big>e</big> || <big>a</big> || ||
| |
| |-
| |
| !style="background:#efefef;"| <big>c
| |
| | <big>c</big> || <big>b</big> || <big>a</big> || <big>e</big> || ||
| |
| |-
| |
| !style="background:#efefef;"| <big>d</big>
| |
| | <big>d</big> || <big>f</big> || || || || <big>e</big>
| |
| |-
| |
| !style="background:#efefef;"| <big>f</big>
| |
| | <big>f</big> || <big>d</big> || || || <big>e</big> || <big>a</big>
| |
| |}
| |
| | |
| Because each row must have every element of the group represented exactly once, it is easy to see that the two blank spots in the ''b'' row must be occupied by ''d'' or ''f''. However, if one examines the columns containing these two blank spots — the ''d'' and ''f'' columns — one finds that ''d'' and ''f'' have already been filled in on both, which means that regardless of how ''d'' and ''f'' are placed in row ''b'', they will always violate the permutation rule. Because our algebraic deductions up until this point were sound, we can only conclude that our earlier, baseless assumption that ''ab'' = ''c'' was, in fact, false. Essentially, we guessed and we guessed incorrectly. We, have, however, learned something: ''ab'' ≠ ''c''.
| |
| | |
| The only two remaining possibilities then are that ''ab'' = ''d'' or that ''ab'' = ''f''; we would expect these two guesses to each have the same outcome, up to isomorphism, because ''d'' and ''f'' are inverses of each other and the letters that represent them are inherently arbitrary anyway. So without loss of generality, take ''ab'' = ''d''. If we arrive at another contradiction, we must assume that no group of order 6 has the identity skeleton we started with, as we will have exhausted all possibilities.
| |
| | |
| Here is the new Cayley table:
| |
| {| border="2" cellpadding="5" align="center"
| |
| !style="background:#efefef;"|
| |
| !style="background:#efefef;"| <big>e</big>
| |
| !style="background:#efefef;"| <big>a</big>
| |
| !style="background:#efefef;"| <big>b</big>
| |
| !style="background:#efefef;"| <big>c</big>
| |
| !style="background:#efefef;"| <big>d</big>
| |
| !style="background:#efefef;"| <big>f</big>
| |
| |-
| |
| !style="background:#efefef;"| <big>e</big>
| |
| | <big>e</big> || <big>a</big> || <big>b</big> || <big>c</big> || <big>d</big> || <big>f</big>
| |
| |-
| |
| !style="background:#efefef;"| <big>a</big>
| |
| | <big>a</big> || <big>e</big> || <big>d</big> || || ||
| |
| |-
| |
| !style="background:#efefef;"| <big>b</big>
| |
| | <big>b</big> || || <big>e</big> || || ||
| |
| |-
| |
| !style="background:#efefef;"| <big>c</big>
| |
| | <big>c</big> || || || <big>e</big> || ||
| |
| |-
| |
| !style="background:#efefef;"| <big>d</big>
| |
| | <big>d</big> || || || || || <big>e</big>
| |
| |-
| |
| !style="background:#efefef;"| <big>f
| |
| | <big>f</big> || || || || <big>e</big> ||
| |
| |}
| |
| | |
| Multiplying ''ab'' = ''d'' on the left by ''a'', we have ''b'' = ''ad''. Right multiplication by ''f'' gives ''bf'' = ''a'', and left multiplication by ''b'' gives ''f'' = ''ba''. Multiplying on the right by ''a'' we then have ''fa'' = ''b'', and left multiplication by ''d'' then yields ''a'' = ''db''. Filling in the Cayley table, we now have (new additions in red):
| |
| | |
| {| border="2" cellpadding="5" align="center"
| |
| !style="background:#efefef;"|
| |
| !style="background:#efefef;"| <big>e</big>
| |
| !style="background:#efefef;"| <big>a</big>
| |
| !style="background:#efefef;"| <big>b</big>
| |
| !style="background:#efefef;"| <big>c</big>
| |
| !style="background:#efefef;"| <big>d</big>
| |
| !style="background:#efefef;"| <big>f</big>
| |
| |-
| |
| !style="background:#efefef;"| <big>e</big>
| |
| | <big>e</big> || <big>a</big> || <big>b</big> || <big>c</big> || <big>d</big> || <big>f</big>
| |
| |-
| |
| !style="background:#efefef;"| <big>a</big>
| |
| | <big>a</big> || <big>e</big> || <big><span style="color:red;">d</span></big> || || <big><span style="color:red;">b</span></big> ||
| |
| |-
| |
| !style="background:#efefef;"| <big>b</big>
| |
| | <big>b</big> || <big><span style="color:red;">f</span></big> || <big>e</big> || || || <big><span style="color:red;">a</span></big>
| |
| |-
| |
| !style="background:#efefef;"| <big>c</big>
| |
| | <big>c</big> || || || <big>e</big> || ||
| |
| |-
| |
| !style="background:#efefef;"| <big>d</big>
| |
| | <big>d</big> || || <big><span style="color:red;">a</span></big> || || || <big>e</big>
| |
| |-
| |
| !style="background:#efefef;"| <big>f</big>
| |
| | <big>f</big> || <big><span style="color:red;">b</span></big> || || || <big>e</big> ||
| |
| |}
| |
| | |
| Since the ''a'' row is missing ''c'' and ''f'' and since ''af'' cannot equal ''f'' (or ''a'' would be equal to ''e'', when we know them to be distinct), we can conclude that ''af'' = ''c''. Left multiplication by ''a'' then yields ''f'' = ''ac'', which we may multiply on the right by ''c'' to give us ''fc'' = ''a''. Multiplying this on the left by ''d'' gives us ''c'' = ''da'', which we can multiply on the right by ''a'' to obtain ''ca'' = ''d''. Similarly, multiplying ''af'' = ''c'' on the right by ''d'' gives us ''a'' = ''cd''. Updating the table, we have the following, with the most recent changes in blue:
| |
|
| |
| {| border="2" cellpadding="5" align="center"
| |
| !style="background:#efefef;"|
| |
| !style="background:#efefef;"| <big>e</big>
| |
| !style="background:#efefef;"| <big>a</big>
| |
| !style="background:#efefef;"| <big>b</big>
| |
| !style="background:#efefef;"| <big>c</big>
| |
| !style="background:#efefef;"| <big>d</big>
| |
| !style="background:#efefef;"| <big>f</big>
| |
| |-
| |
| !style="background:#efefef;"| <big>e</big>
| |
| | <big>e</big> || <big>a</big> || <big>b</big> || <big>c</big> || <big>d</big> || <big>f</big>
| |
| |-
| |
| !style="background:#efefef;"| <big>a</big>
| |
| | <big>a</big> || <big>e</big> || <big>d</big> || <big><span style="color:blue;">f</span></big> || <big>b</big> || <big><span style="color:blue;">c</span></big>
| |
| |-
| |
| !style="background:#efefef;"| <big>b</big>
| |
| | <big>b</big> || <big>f</big> || <big>e</big> || || || <big>a</big>
| |
| |-
| |
| !style="background:#efefef;"| <big>c</big>
| |
| | <big>c</big> || <big><span style="color:blue;">d</span></big> || || <big>e</big> || <big><span style="color:blue;">a</span></big> ||
| |
| |-
| |
| !style="background:#efefef;"| <big>d</big>
| |
| | <big>d</big> || <big><span style="color:blue;">c</span></big> || <big>a</big> || || || <big>e</big>
| |
| |-
| |
| !style="background:#efefef;"| <big>f</big>
| |
| | <big>f</big> || <big>b</big> || || <big><span style="color:blue;">a</span></big> || <big>e</big> ||
| |
| |}
| |
| | |
| Since the ''b'' row is missing ''c'' and ''d'', and since ''b c'' cannot equal ''c'', it follows that ''b c'' = ''d'', and therefore ''b d'' must equal ''c''. Multiplying on the right by ''f'' this gives us ''b'' = ''cf'', which we can further manipulate into ''cb'' = ''f'' by multiplying by ''c'' on the left. By similar logic we can deduce that ''c'' = ''fb'' and that ''dc'' = ''b''. Filling these in, we have (with the latest additions in green):
| |
| | |
| {| border="2" cellpadding="5" align="center"
| |
| !style="background:#efefef;"|
| |
| !style="background:#efefef;"| <big>e</big>
| |
| !style="background:#efefef;"| <big>a</big>
| |
| !style="background:#efefef;"| <big>b</big>
| |
| !style="background:#efefef;"| <big>c</big>
| |
| !style="background:#efefef;"| <big>d</big>
| |
| !style="background:#efefef;"| <big>f</big>
| |
| |-
| |
| !style="background:#efefef;"| <big>e</big>
| |
| | <big>e</big> || <big>a</big> || <big>b</big> || <big>c</big> || <big>d</big> || <big>f</big>
| |
| |-
| |
| !style="background:#efefef;"| <big>a</big>
| |
| | <big>a</big> || <big>e</big> || <big>d</big> || <big>f</big> || <big>b</big> || <big>c</big>
| |
| |-
| |
| !style="background:#efefef;"| <big>b</big>
| |
| | <big>b</big> || <big>f</big> || <big>e</big> || <big><span style="color:green;">d</span></big> || <big><span style="color:green;">c</span></big> || <big>a</big>
| |
| |-
| |
| !style="background:#efefef;"| <big>c</big>
| |
| | <big>c</big> || <big>d</big> || <big><span style="color:green;">f</span></big> || <big>e</big> || <big>a</big> || <big><span style="color:green;">b</span></big>
| |
| |-
| |
| !style="background:#efefef;"| <big>d</big>
| |
| | <big>d</big> || <big>c</big> || <big>a</big> || <big><span style="color:green;">b</span></big> || || <big>e</big>
| |
| |-
| |
| !style="background:#efefef;"| <big>f</big>
| |
| | <big>f</big> || <big>b</big> || <big><span style="color:green;">c</span></big> || <big>a</big> || <big>e</big> ||
| |
| |}
| |
| | |
| Since the ''d'' row is missing only ''f'', we know ''d''<sup>2</sup> = ''f'', and thus ''f''<sup>2</sup> = ''d''. As we have managed to fill in the whole table without obtaining a contradiction, we have found a group of order 6: inspection reveals it to be non-abelian. This group is in fact the smallest non-abelian group, the [[dihedral group]] ''D''<sub>3</sub>:
| |
| | |
| {| border="2" cellpadding="5" align="center"
| |
| !style="background:#efefef;"| *
| |
| !style="background:#efefef;"| <big>e</big>
| |
| !style="background:#efefef;"| <big>a</big>
| |
| !style="background:#efefef;"| <big>b</big>
| |
| !style="background:#efefef;"| <big>c</big>
| |
| !style="background:#efefef;"| <big>d</big>
| |
| !style="background:#efefef;"| <big>f</big>
| |
| |-
| |
| !style="background:#efefef;"| <big>e</big>
| |
| | <big>e</big> || <big>a</big> || <big>b</big> || <big>c</big> || <big>d</big> || <big>f</big>
| |
| |-
| |
| !style="background:#efefef;"| <big>a
| |
| | <big>a</big> || <big>e</big> || <big><span style="color:red;">d</span></big> || <big><span style="color:blue;">f</span></big> || <big><span style="color:red;">b</span></big> || <big><span style="color:blue;">c</span></big>
| |
| |-
| |
| !style="background:#efefef;"| <big>b
| |
| | <big>b</big> || <big><span style="color:red;">f</span></big> || <big>e</big> || <big><span style="color:green;">d</span></big> || <big><span style="color:green;">c</span></big> || <big><span style="color:red;">a</span></big>
| |
| |-
| |
| !style="background:#efefef;"| <big>c
| |
| | <big>c</big> || <big><span style="color:blue;">d</span></big> || <big><span style="color:green;">f</span></big> || <big>e</big> || <big><span style="color:blue;">a</span></big> || <big><span style="color:green;">b</span></big>
| |
| |-
| |
| !style="background:#efefef;"| <big>d</big>
| |
| | <big>d</big> || <big><span style="color:blue;">c</span></big> || <big><span style="color:red;">a</span></big> || <big><span style="color:green;">b</span></big> || <big><span style="color:orange;">f</span></big> || <big>e</big>
| |
| |-
| |
| !style="background:#efefef;"| <big>f</big>
| |
| | <big>f</big> || <big><span style="color:red;">b</span></big> || <big><span style="color:green;">c</span></big> || <big><span style="color:blue;">a</span></big> || <big>e</big> || <big><span style="color:orange;">d</span></big>
| |
| |}
| |
| | |
| == Permutation matrix generation ==
| |
| | |
| The standard form of a Cayley table has the order of the elements in the rows the same as the order in the columns. Another form is to arrange the elements of the columns so that the ''n''<sup>th</sup> column corresponds to the inverse of the element in the ''n''<sup>th</sup> row. In our example of ''D''<sub>3</sub>, we need only switch the last two columns, since ''f'' and ''d'' are the only elements that are not their own inverses, but instead inverses of each other.
| |
| | |
| {| border="2" cellpadding="5" align="center"
| |
| !style="background:#efefef;"|
| |
| !style="background:#efefef;"| <big>e</big>
| |
| !style="background:#efefef;"| <big>a</big>
| |
| !style="background:#efefef;"| <big>b</big>
| |
| !style="background:#efefef;"| <big>c</big>
| |
| !style="background:#efefef;"| <big>f=d<sup>-1</sup></big>
| |
| !style="background:#efefef;"| <big>d=f<sup>-1</sup></big>
| |
| |-
| |
| !style="background:#efefef;"| <big>e</big>
| |
| | <big>e</big> || <big>a</big> || <big>b</big> || <big>c</big> || <big>f</big> || <big>d</big>
| |
| |-
| |
| !style="background:#efefef;"| <big>a</big>
| |
| | <big>a</big> || <big>e</big> || <big>d</big> || <big>f</big> || <big>c</big> || <big>b</big>
| |
| |-
| |
| !style="background:#efefef;"| <big>b</big>
| |
| | <big>b</big> || <big>f</big> || <big>e</big> || <big>d</big> || <big>a</big> || <big>c</big>
| |
| |-
| |
| !style="background:#efefef;"| <big>c</big>
| |
| | <big>c</big> || <big>d</big> || <big>f</big> || <big>e</big> || <big>b</big> || <big>a</big>
| |
| |-
| |
| !style="background:#efefef;"| <big>d</big>
| |
| | <big>d</big> || <big>c</big> || <big>a</big> || <big>b</big> || <big>e</big> || <big>f</big>
| |
| |-
| |
| !style="background:#efefef;"| <big>f</big>
| |
| | <big>f</big> || <big>b</big> || <big>c</big> || <big>a</big> || <big>d</big> || <big>e</big>
| |
| |}
| |
| | |
| This particular example lets us create six permutation matrices (all elements 1 or 0, exactly one 1 in each row and column). The 6x6 matrix representing an element will have a 1 in every position that has the letter of the element in the Cayley table and a zero in every other position, the [[Kronecker delta]] function for that symbol. (Note that ''e'' is in every position down the main diagonal, which gives us the identity matrix for 6x6 matrices in this case, as we would expect.) Here is the matrix that represents our element ''a'', for example.
| |
| | |
| {| border="2" cellpadding="5" align="center"
| |
| !style="background:#efefef;"|
| |
| !style="background:#efefef;"| <big>e</big>
| |
| !style="background:#efefef;"| <big>a</big>
| |
| !style="background:#efefef;"| <big>b</big>
| |
| !style="background:#efefef;"| <big>c</big>
| |
| !style="background:#efefef;"| <big>f</big>
| |
| !style="background:#efefef;"| <big>d</big>
| |
| |-
| |
| !style="background:#efefef;"| <big>e</big>
| |
| | <big>0</big> || <big>1</big> || <big>0</big> || <big>0</big> || <big>0</big> || <big>0</big>
| |
| |-
| |
| !style="background:#efefef;"| <big>a</big>
| |
| | <big>1</big> || <big>0</big> || <big>0</big> || <big>0</big> || <big>0</big> || <big>0</big>
| |
| |-
| |
| !style="background:#efefef;"| <big>b</big>
| |
| | <big>0</big> || <big>0</big> || <big>0</big> || <big>0</big> || <big>1</big> || <big>0</big>
| |
| |-
| |
| !style="background:#efefef;"| <big>c</big>
| |
| | <big>0</big> || <big>0</big> || <big>0</big> || <big>0</big> || <big>0</big> || <big>1</big>
| |
| |-
| |
| !style="background:#efefef;"| <big>d</big>
| |
| | <big>0</big> || <big>0</big> || <big>1</big> || <big>0</big> || <big>0</big> || <big>0</big>
| |
| |-
| |
| !style="background:#efefef;"| <big>f</big>
| |
| | <big>0</big> || <big>0</big> || <big>0</big> || <big>1</big> || <big>0</big> || <big>0</big>
| |
| |}
| |
| | |
| This shows us directly that any group of order ''n'' is a subgroup of the [[permutation group]] ''S''<sub>''n''</sub>, order ''n''!.
| |
| | |
| == Generalizations ==
| |
| The above properties depend on some axioms valid for groups. It is natural to consider Cayley tables for other algebraic structures, such as for [[semigroup]]s, [[quasigroup]]s, and [[magma (algebra)|magmas]], but some of the properties above do not hold.
| |
| | |
| == See also ==
| |
| * [[Latin square]]
| |
| | |
| == References ==
| |
| * [[Arthur Cayley|Cayley, Arthur]]. "On the theory of groups, as depending on the symbolic equation ''θ''<sup> ''n''</sup> = 1", ''Philosophical Magazine'', Vol. 7 (1854), pp. 40–47. [http://books.google.com/books?hl=en&lr=&id=aJsllJyUPs0C&oi=fnd&pg=PA1&ots=HSTQQLHmmZ&sig=B45n8im0zbG0UWoIcqx9OQN7wGc#PPA123,M1 Available on-line at Google Books as part of his collected works.]
| |
| * [[Arthur Cayley|Cayley, Arthur]]. "On the Theory of Groups", ''[[American Journal of Mathematics]]'', Vol. 11, No. 2 (Jan 1889), pp. 139–157. [http://www.jstor.org/stable/2369415 Available at JSTOR.]
| |
| | |
| [[Category:Finite groups]]
| |