Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2025/ii/paper-2/18j/b/solution

After fixing , every -automorphism of is a -embedding . Hence
If is normal, every -embedding of into has image . It is consequently a -automorphism of , so the two sets, and therefore their cardinalities, are equal.

New to topics? Read the docs here!