Hostname: page-component-78c5997874-fbnjt Total loading time: 0 Render date: 2024-11-08T00:00:08.162Z Has data issue: false hasContentIssue false

WHEN IS A COXETER SYSTEM DETERMINED BY ITS COXETER GROUP?

Published online by Cambridge University Press:  01 April 2000

RUTH CHARNEY
Affiliation:
Department of Mathematics, Ohio State University, 231 W 18th Avenue, Columbus, Ohio 43210, USA; [email protected], [email protected]
MICHAEL DAVIS
Affiliation:
Department of Mathematics, Ohio State University, 231 W 18th Avenue, Columbus, Ohio 43210, USA; [email protected], [email protected]
Get access

Abstract

A Coxeter system is a pair (W, S) where W is a group and where S is a set of involutions in W such that W has a presentation of the form

formula here

Here m(s, t) denotes the order of st in W and in the presentation for W, (s, t) ranges over all pairs in S × S such that m(s, t) ≠ ∞. We further require the set S to be finite. W is a Coxeter group and S is a fundamental set of generators for W.

Obviously, if S is a fundamental set of generators, then so is wSw−1, for any wW. Our main result is that, under certain circumstances, this is the only way in which two fundamental sets of generators can differ. In Section 3, we will prove the following result as Theorem 3.1.

Type
Research Article
Copyright
The London Mathematical Society 2000

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)