直交群
↑ 基礎体の標数が 2 でなければ、対称双線型形式と二次形式のどちらを使っても同値である。