(極大とは限らない)トーラス "t" が与えられると、"t" に関する "g" のワイル群を "t" の中心化群を法とした "t" の正規化群として定義できる。