Talk:Cayley table

From Wikipedia, the free encyclopedia

WikiProject Mathematics
This article is within the scope of WikiProject Mathematics, which collaborates on articles related to mathematics.
Mathematics rating: Start Class Mid Priority  Field: Algebra
Please update this rating as the article progresses, or if the rating is inaccurate. Please also add comments to suggest improvements to the article.

[edit] Request for simple example

Perhaps someone should add a simple example to this page like

   + 0 1
   0 0 1
   1 1 0

I might do it later but in the meantime, back to work .... OoberMick 11:04, 9 Jun 2005 (UTC)

[edit] Caryler table applet

I created a Cayley Table generator and identifier applet, but I do not know if it is appropriate to add an external link to it. Jhbarr 16:46, 18 October 2007 (UTC)

[edit] Cayley table reasoning

I don't understand the reasoning at the end of the article's long example: "As we have managed to fill in the whole table without obtaining a contradiction, we have found a group of order 6". I agree that the structure obtained is a group of order 6, but I don't enough work has been done in the example to deduce that it's a group, because associativity was not checked. Or did I miss something? —Preceding unsigned comment added by 134.193.88.39 (talk) 15:56, 11 May 2008 (UTC)

I agree. It does not appear to me that enough conditions have been checked. A very similar argument in structure is coset enumeration, and there if a "cayley" table is filled in (at least the columns corresponding to generators, and the rows corresponding to coset representatives of a subgroup H), then the order of the group (or at least the index of H in G), is found. Using H=1, this does allow you to fill in a few columns of the Cayley table from a presentation of the group. JackSchmidt (talk) 16:09, 11 May 2008 (UTC)