Free step-N nilpotent Lie group

ID: free-step-n-nilpotent-lie-group

Inside the truncated tensor algebra, let be the span of iterated Lie brackets of elements of of lengths at most . Its exponential is the connected simply connected free nilpotent Lie group of step , with tensor multiplication. The bracket is the commutator in the tensor algebra. Its grading defines dilations that multiply degree by .

New to topics? Read the docs here!