2010 (UTC)

I think Daqu is exactly right - and if not, could somebody please explain why not?

That is, why not say:
"An involution is an element of order 2.  A Coxeter group is any group generated by finitely many involutions."??

If true, that lets somebody know exactly what a Coxeter group is without knowing what the word "presentation" means, or (worse) having to know or accept on faith any theorems about presentations.

Then the stuff about m_ij and so on could be presented as consequences of the definition.  And those who know about presentations could then say "Ah, yes, and in fact the class of Coxeter groups can be defined via presentations".

I think in general definitions should involve just as little apparatus as possible, and only involve extra machinery when that significantly shortens and simplifies what is being defined.

An easier definition should never depend on a harder definition.

Of course, if i'm wrong and this is not what a Coxeter group is, somebody please explain and give a counterexample, and thanks in advance.
  20:11, 13 November