Is a Cayley Table a Reliable Indicator of a Finite Set Being a Group?

  • Level: Graduate 
  • Thread starter Thread starter Bleys
  • Start date Start date
  • Tags Tags
    Groups Table
Join the discussion
Registration is free. Start your own thread to ask a follow-up.
Sign up Log in
1 reply · 3K views
Bleys
Messages
74
Reaction score
0
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?
 
Physics news on Phys.org

Discussion

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.