Namespaces
Variants
Actions

Difference between revisions of "Cayley table"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (tex encoded by computer)
 
Line 1: Line 1:
The square multiplication table of an arbitrary finite [[Groupoid|groupoid]]. Heading the table is a list of symbols denoting all elements of the groupoid (in any order); these symbols (in the same order) are also listed in front of the first column. If the groupoid has an identity element, the latter is usually put first. If the symbol in the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021090/c0210901.png" />-th position of the prefacing column is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021090/c0210902.png" />, and that in the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021090/c0210903.png" />-th position of the heading row is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021090/c0210904.png" />, then the entry at the intersection of the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021090/c0210905.png" />-th row and the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021090/c0210906.png" />-th column is the symbol denoting the product <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021090/c0210907.png" />. Cayley tables were first used by A. Cayley in 1854 for groups (cf. [[Group|Group]]).
+
<!--
 +
c0210901.png
 +
$#A+1 = 9 n = 0
 +
$#C+1 = 9 : ~/encyclopedia/old_files/data/C021/C.0201090 Cayley table
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
  
A Cayley table defines a [[Quasi-group|quasi-group]] if and only if each row (column) contains each symbol exactly once. The Cayley table of a group must satisfy the following additional condition: The positions corresponding to the products <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021090/c0210908.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021090/c0210909.png" /> contain identical elements. Cayley tables which are symmetric about the principal diagonal represent commutative binary operations; in particular, this is the case for the Cayley table of an [[Abelian group|Abelian group]].
+
{{TEX|auto}}
 +
{{TEX|done}}
 +
 
 +
The square multiplication table of an arbitrary finite [[Groupoid|groupoid]]. Heading the table is a list of symbols denoting all elements of the groupoid (in any order); these symbols (in the same order) are also listed in front of the first column. If the groupoid has an identity element, the latter is usually put first. If the symbol in the  $  i $-
 +
th position of the prefacing column is  $  a _ {i} $,
 +
and that in the  $  j $-
 +
th position of the heading row is  $  a _ {j} $,
 +
then the entry at the intersection of the  $  i $-
 +
th row and the  $  j $-
 +
th column is the symbol denoting the product  $  a _ {i} a _ {j} $.
 +
Cayley tables were first used by A. Cayley in 1854 for groups (cf. [[Group|Group]]).
 +
 
 +
A Cayley table defines a [[Quasi-group|quasi-group]] if and only if each row (column) contains each symbol exactly once. The Cayley table of a group must satisfy the following additional condition: The positions corresponding to the products $  ( a _ {i} a _ {j} ) a _ {k} $
 +
and $  a _ {i} ( a _ {j} a _ {k} ) $
 +
contain identical elements. Cayley tables which are symmetric about the principal diagonal represent commutative binary operations; in particular, this is the case for the Cayley table of an [[Abelian group|Abelian group]].
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  I. Grossman,  W. Magnus,  "Groups and their graphs" , Random House  (1964)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  A.H. Clifford,  G.B. Preston,  "Algebraic theory of semi-groups" , '''1''' , Amer. Math. Soc.  (1961)</TD></TR></table>
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  I. Grossman,  W. Magnus,  "Groups and their graphs" , Random House  (1964)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  A.H. Clifford,  G.B. Preston,  "Algebraic theory of semi-groups" , '''1''' , Amer. Math. Soc.  (1961)</TD></TR></table>

Latest revision as of 16:43, 4 June 2020


The square multiplication table of an arbitrary finite groupoid. Heading the table is a list of symbols denoting all elements of the groupoid (in any order); these symbols (in the same order) are also listed in front of the first column. If the groupoid has an identity element, the latter is usually put first. If the symbol in the $ i $- th position of the prefacing column is $ a _ {i} $, and that in the $ j $- th position of the heading row is $ a _ {j} $, then the entry at the intersection of the $ i $- th row and the $ j $- th column is the symbol denoting the product $ a _ {i} a _ {j} $. Cayley tables were first used by A. Cayley in 1854 for groups (cf. Group).

A Cayley table defines a quasi-group if and only if each row (column) contains each symbol exactly once. The Cayley table of a group must satisfy the following additional condition: The positions corresponding to the products $ ( a _ {i} a _ {j} ) a _ {k} $ and $ a _ {i} ( a _ {j} a _ {k} ) $ contain identical elements. Cayley tables which are symmetric about the principal diagonal represent commutative binary operations; in particular, this is the case for the Cayley table of an Abelian group.

References

[1] I. Grossman, W. Magnus, "Groups and their graphs" , Random House (1964)
[2] A.H. Clifford, G.B. Preston, "Algebraic theory of semi-groups" , 1 , Amer. Math. Soc. (1961)
How to Cite This Entry:
Cayley table. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Cayley_table&oldid=14640
This article was adapted from an original article by N.N. Vil'yams (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article