記号と用語

本稿を通して，$\mathbb{K}$を標数$0$の可換体とする．特に断らなければ，ベクトル空間の係数体は$\mathbb{K}$とする．