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:
“Beauty, like all other qualities presented to human experience, is relative; and the definition of it becomes unmeaning and useless in proportion to its abstractness. To define beauty not in the most abstract, but in the most concrete terms possible, not to find a universal formula for it, but the formula which expresses most adequately this or that special manifestation of it, is the aim of the true student of aesthetics.”
—Walter Pater (18391894)
“Mothers often are too easily intimidated by their childrens 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)
“No man, not even a doctor, ever gives any other definition of what a nurse should be than thisdevoted and obedient. This definition would do just as well for a porter. It might even do for a horse. It would not do for a policeman.”
—Florence Nightingale (18201910)