Definition
Suppose that is a group and is a generating set. The Cayley graph is a colored directed graph constructed as follows
- Each element of is assigned a vertex: the vertex set of is identified with
- Each generator of is assigned a color .
- For any the vertices corresponding to the elements and are joined by a directed edge of colour Thus the edge set consists of pairs of the form with providing the color.
In geometric group theory, the set is usually assumed to be finite, symmetric (i.e. ) and not containing the identity element of the group. In this case, the uncolored Cayley graph is an ordinary graph: its edges are not oriented and it does not contain loops (single-element cycles) if and only if .
Read more about this topic: Cayley Graph
Famous quotes containing the word definition:
“... if, as women, we accept a philosophy of history that asserts that women are by definition assimilated into the male universal, that we can understand our past through a male lens—if we are unaware that women even have a history—we live our lives similarly unanchored, drifting in response to a veering wind of myth and bias.”
—Adrienne Rich (b. 1929)
“Scientific method is the way to truth, but it affords, even in
principle, no unique definition of truth. Any so-called pragmatic
definition of truth is doomed to failure equally.”
—Willard Van Orman Quine (b. 1908)
“The very definition of the real becomes: that of which it is possible to give an equivalent reproduction.... The real is not only what can be reproduced, but that which is always already reproduced. The hyperreal.”
—Jean Baudrillard (b. 1929)