Introduction
Coxeter Group was introduced as an extension of Weyl Group for Lie Algebra initially,
We get two ways of defining Coxeter System, Geometrically and Algebraically, which would all been shown in this section and proved to be equivalent, importantly, coxeter group can be considered as group with exchange condition, which loosely speaking comes from the braided relation.