# Difference between revisions of "Cayley table"

(Importing text file) |
Ulf Rehmann (talk | contribs) m (tex encoded by computer) |
||

Line 1: | Line 1: | ||

− | + | <!-- | |

+ | 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 | + | {{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