が可逆3 × 3実行列全体の乗法群で、がその行列式1の部分群であるとき、はにおいて正規である(なぜなら行列式を取る準同型の核なので)。