## Chapter 1: Connected Lie Groups: The Grounding Axioms

Therefore, more formally, I propose the following definition comprising five axioms that, for me at least, is the least redundant, least cluttered, and which also works for general Lie groups whilst admitting techniques found in references like [Rossmann]. Hereafter we shall consider a group $\left(\G,\bullet\right)$. For shorthand we often write the product of two group […]