. "Even more particularly, an automorphism of is an isomorphism from to itself." . . .