La suma es la suma usual de matrices, y el producto de Lie, denotado tradicionalmente por formula_200, está definido como