@Article{Kor96-JFM, Author = "Kornilowicz, A.", Year = "1996", Title = "{On the Group of Inner Automorphisms}", Journal = "Journal of Formalized Mathematics", Volume = "5", Number = "1", Pages = "43-45", Comment = "TPTPRef,AUTGROUP" }