Grup de reflexie

În teoria grupurilor și geometrie un grup de reflexie este un grup discret care este generat de un set de reflexii într-un spațiu euclidian finit-dimensional. Grupul de simetrie al unui politop regulat sau al unei pavări a spațiului euclidian prin copii congruente ale unui politop regulat este în mod necesar un grup de reflexie. Grupurile de reflexie cuprind, de asemenea, grup topologic^⁠(d) și grupurile Coxeter cristalografice. În timp ce grupul ortogonal este generat de reflexii (de către teorema Cartan–Dieudonné), el este un grup continuu (un grup Lie), nu un grup discret și este în general considerat separat.