Mit \(\overline{ F_p}\) ist natürlich ein algebraischer Abschluss gemeint.
\(F_{p^m}\cap F_{p^n}\) ist ein Körper \(F_{p^r}\) mit einem gewissen \(r\in\mathbb{N}^*\).
Da \(F_{p^r}\subset F_{p^s}\) genau dann gilt, wenn \(r\,|\,s\) gilt,
so muss \(r=ggT(m,n)\) sein.