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!