Group Automorphisms Part 2

[@matt-tutorials]

This is really good stuff Elliot! The way you've explained this is second to none!

[@Urdatorn]

Best exposition of Aut(G) I’ve come across.

[@francisotoobegyinah2392]

The best of explanations there Elliot

[@JohnSmith-ut5th]

For finite groups you can skip checking the last condition. It's a simple 2 step subgroup test.

[@camcorl7921]

Let a, b be in Aut(G) subset of Sym(G), b^-1 exists as b is an isomorphism, it is also an isomorphism. b^-1a is an isomorphism. b^-1a is in Aut(G).