Lecture
This lecture discusses the isomorphism between Aut(p) and a Galois covering, presenting evidence through topology course notes. It explores the uniqueness of ex and id, the equivariant action of rz(x; 2), and the concept of group isomorphism.