Revision #104 → #1134 · back to history
addedCoxeter group (presentation)de2c42133b04
addedCoxeter system3fb22f90bf82
addedGenerators are involutions85bc6ec2cb54
addedCommuting generators09fce7ce5f24
addedCoxeter matrixb215a29e6616
addedCoxeter diagramacf0ca22970e
addedCommute iff no edge6c084044f493
addedSchläfli matrixb0b9fc2b4d44
addedEigenvalues determine typebd6513f93083
addedSymmetric group as Coxeter group9da39343fc69
addedReflection groups are Coxeter groups81a4296d52a6
addedFinite Coxeter groups are reflection groupsf1581721a973
addedClassification by Coxeter diagramsf4228d086e49
addedFinite irreducible Coxeter group familiese4d28b96020a
addedWeyl groups are Coxeter groupsaaf81e76bfb6
addedCoxeter groups are automaticccfd17ccc176
addedB_n and C_n share Weyl group1cbf37040fb6
addedRegular polytope symmetry is finite Coxeter groupd084e7ed8fb9
addedSimplex symmetry group (type A_n)467a9d79d3b0
addedHyperoctahedral group (type B_n)2a802a87e772
addedDihedral groups I_2(p)22ae417cc5ed
addedSemiregular polytope symmetry groupsfb0cf90485cb
addedAffine Coxeter group structureb4f675cbb745
addedStiefel diagram and affine Coxeter group34a54d0e49ff
addedFree transitive action on alcoves595e801ef859
addedAffine Coxeter generators via roots6a373675e5d0
addedInfinitely many hyperbolic Coxeter groups0bd13116c787
addedIrreducible Coxeter groupe02ef98c5ae6
addedDirect product decomposition918a472c8525
addedLength functione3563e4ec256
addedReduced wordba20c5018db3
addedReduced words of (13) in S_3850390783909
addedSign map generalizationea75e762df9d
addedThree partial orders8dfdab8ec3cd
addedBruhat order02d90fd0ab23
addedWeak order94bfeb7a5e1e
addedReduced word of (1 2 3) in S_33fa231fa7221
addedAbelianization is elementary abelian 2-group542c3ed19258
addedSchur multiplier is elementary abelian 2-group23c2eb4f5095