Lie Groups I: Foundations