Inner Lie algebra automorphism

An inner automorphism of a Lie algebra $𝔤$ is given by $e - a d 𝑥$ , where $a d 𝑥$ is the adjoint representation for some $𝑥 \in 𝔤$ . #m/def/lie As the Exponential of a derivation on a Lie algebra it is an automorphism.¹ The set of all inner automorphisms $I n n 𝔤$ forms a normal subgroup of $A u t 𝔤$ .

Proof of normal subgroup

#missing/proof

#state/develop | #lang/en | #SemBr

Footnotes