リー群
This defines a Poisson-Lie group structure on both formula_8 and on the dual Poisson Lie group formula_16.