" 2010 (UTC)

Mielestäni Daqu on aivan oikeassa - ja jos ei, voisiko joku selittää, miksi ei?

Miksi ei siis sanota:
""Involuutio on järjestyksen 2 alkio.  Coxeter-ryhmä on mikä tahansa äärellisen monen involuution tuottama ryhmä.""?"?

Jos tämä pitää paikkansa, joku voi tietää tarkalleen, mikä Coxeter-ryhmä on, tietämättä, mitä sana "esitys" tarkoittaa, tai (mikä vielä pahempaa) joutumatta tietämään tai hyväksymään uskolla mitään esityksiä koskevia teoreemoja.

Sitten m_ij:tä ja niin edelleen koskevat asiat voitaisiin esittää määritelmän seurauksina.  Ja ne, jotka tuntevat esitystavat, voisivat sitten sanoa: "Ai niin, ja itse asiassa Coxeter-ryhmien luokka voidaan määritellä esitystapojen kautta."".

Mielestäni määritelmiin pitäisi yleensä sisältyä mahdollisimman vähän välineitä, ja niihin pitäisi sisältyä ylimääräisiä välineitä vain silloin, kun ne lyhentävät ja yksinkertaistavat määriteltyä asiaa merkittävästi.

Helpomman määritelmän ei pitäisi koskaan riippua vaikeammasta määritelmästä.

Tietenkin, jos olen väärässä ja Coxeter-ryhmä ei ole tällainen, joku voi selittää asian ja antaa vastaesimerkin, ja kiitos etukäteen.
  20:11, 13. marraskuuta"