General properties and structure of real Lie groups Lie groups mathematics