A note on the Schur-Zassenhaus theorem

I haven’t posted in a while; it’s time to dust off this blog and get things started again with a guest post! In this post, guest user Anon1 posted a proof of the existence of finite fields of every possible order. Today I’ll share a writeup by the same user on the Schur-Zassenhaus Theorem in group theory! The theorem statement Let $G$ be a finite group, and let $N$ be a normal subgroup of $G$ such…