Prefer a chat interface with context about you and your work?
Reflections in abstract Coxeter groups
Let W be a Coxeter group and r\in W a reflection. If the group of order 2 generated by r is the intersection of all the maximal finite subgroups of W that contain it, then any isomorphism from W to a Coxeter group W' must take r to a reflection …