Finite field isomorphic to $mathbb F_{p^n}$.

1) Let $p$ prime and $n\geq 1$ an integer. Show that there is a finite field of order $p^n$ in an algebraic closure $\mathbb F_p^{alg}$ and that all finite field is isomorphic to exactly one field $\mathbb F_{p^n}$

2) Let $\mathbb F_q$ a finite field and $n\geq 1$ an integer. Let $\mathbb F_q^{alg}$ an algebraic closure. Show that there is a unique extension field of $\mathbb F_q$ of degree $n$.

---

1) By Fermat theorem, for all $\alpha \in \mathbb F_p$, $$\alpha ^p\equiv \alpha \pmod p.$$ In particular, since $\mathbb F_p^{alg}$ is a closure algebraic, if $\beta \in\mathbb F_p^{alg}$, the minimal polynomial $$p(X)=a_0+a_1X+...+a_nX^n\in\mathbb F_p[X]$$ split over $\mathbb F_p^{alg}$. In particular, $$p(X)=a_0+...+a_nX^n=a_0^p+a_1^pX+...+a_n^p X^n,$$ and thus, $P'(X)=0\in\mathbb F_p(X)$. Therefore $f\in\mathbb F_p[X^p]$, in particular, $$P(X)=P(X^p)=P(X)^p$$ and thus $$\begin{align*}Frob:\mathbb F_p&\longrightarrow \mathbb F_p\\ x&\longmapsto x^p\end{align*}$$ is surjective and thus bijective.

Q1) I'm really not sure about my implication of $Frob$ surjective.

Q2) How can I continue ?

2) By $1$) $\mathbb F_q$ is isomorphic to an $\mathbb F_{p^n}$. We have that $X^{q^n}-X$ split over $\mathbb F_{q^n}$.

Q3) It's in written in my course, but I can't prove it. Any idea ?

Q4) I don't know how to continue