ただし、文献によっては、とくに量子群の文脈では、formula_2で不変な