Coxeter Group - Definition

Definition

Formally, a Coxeter group can be defined as a group with the presentation

where and for . The condition means no relation of the form should be imposed.

The pair (W,S) where W is a Coxeter group with generators S={r1,...,rn} is called Coxeter system. Note that in general S is not uniquely determined by W. For example, the Coxeter groups of type BC3 and A1xA3 are isomorphic but the Coxeter systems are not equivalent (see below for an explanation of this notation).

A number of conclusions can be drawn immediately from the above definition.

  • The relation mi i = 1 means that (riri )1 = (ri )2 = 1 for all i ; the generators are involutions.
  • If mi j = 2, then the generators ri and rj commute. This follows by observing that
xx = yy = 1,
together with
xyxy = 1
implies that
xy = x(xyxy)y = (xx)yx(yy) = yx.
Alternatively, since the generators are involutions, so, and thus is equal to the commutator.
  • In order to avoid redundancy among the relations, it is necessary to assume that mi j = mj i. This follows by observing that
yy = 1,
together with
(xy)m = 1
implies that
(yx)m = (yx)myy = y(xy)my = yy = 1.
Alternatively, and are conjugate elements, as .

Read more about this topic:  Coxeter Group

Famous quotes containing the word definition:

    The physicians say, they are not materialists; but they are:MSpirit is matter reduced to an extreme thinness: O so thin!—But the definition of spiritual should be, that which is its own evidence. What notions do they attach to love! what to religion! One would not willingly pronounce these words in their hearing, and give them the occasion to profane them.
    Ralph Waldo Emerson (1803–1882)

    ... we all know the wag’s definition of a philanthropist: a man whose charity increases directly as the square of the distance.
    George Eliot [Mary Ann (or Marian)

    Mothers often are too easily intimidated by their children’s negative reactions...When the child cries or is unhappy, the mother reads this as meaning that she is a failure. This is why it is so important for a mother to know...that the process of growing up involves by definition things that her child is not going to like. Her job is not to create a bed of roses, but to help him learn how to pick his way through the thorns.
    Elaine Heffner (20th century)