可換生成子
生成子
について、お互いに可換であること。
つまり、
$ G_j
と
$ G_k
が可換であるとき、
$ \left[ G_j, G_k \right] = G_jG_k - G_kG_j = 0
となる。