Weyl groups. Witt group. Lie groups. Lie groups Free groups. Lie groups = Nilpotent groups / OBP group P$T group Work groups.