שינויים

:זה לא בהכרח נכון. אפשר לבדוק שזה יקרה אם ורק אם <math>g^{-1}ag=ga^{-1}g^{-1}</math>. כלומר רק אם <math>ga^{-1}g^{-1}</math> הוא ההופכי של עצמו. לעומת זאת כן מתקיים ש-<math>\alpha_{g}(a)</math> הוא ההופכי של <math>\alpha_{g}(a^{-1})</math> כי <math display="block">\alpha_{g}(a^{-1})=ga^{-1}g^{-1}=\left(g^{-1}\right)^{-1}a^{-1}g^{-1}=\left(gag^{-1}\right)^{-1}=\left(\alpha_{g}(a)\right)^{-1}

</math>