Cartan algebra