の形の元の生成するの部分加群とし、formula_13と定めよう。