a lie group is just a hyperwebster for things