ABCDEFGといえばコクセター群ですか

https://ja.wikipedia.org/wiki/%E3%82%B3%E3%82%AF%E3%82%BB%E3%82%BF%E3%83%BC%E7%BE%A4

すべての(有限)コクセター群がワイル群になるわけではないが
ワイル群はコクセター群である

https://ja.wikipedia.org/wiki/%E3%83%AF%E3%82%A4%E3%83%AB%E7%BE%A4