Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Cayley Table and Groups

  1. Jul 20, 2010 #1
    If the Cayley table, of a finite set G, is a latin square (that is, any element g appears once and only once in a given row or column) does it follow G is a group?
    I know the converse is true, and it seems reasonable that this is true. Since the array will be of size |G|x|G|, inverses exist and are unique. There will be one row (and one column) that will represent the multiplication by the identity (since the rows and columns are permutations of the set). But I don't know about associativity; in fact I'm not even sure the if the column and row representing the identity will actually be the same element. So is there a counter-example or if it's true, a proof?
     
  2. jcsd
  3. Jul 21, 2010 #2
    Never mind, the array need not represent an associative structure. There is an example on the wikipedia article on Latin Squares that shows one of a quasigroup with identity.
     
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook