You may have seen that I posted this proof with some questions earlier today. But I found the answer to most of them. Now I have just one question regarding this proof, so I thought it would be better to delete the earlier post and create a new one, since the earlier one didn't get any answers.
The proof looks big, and the picture is big, but the author says that it is written in very much detail. My question will revolve around the red line, and I will post it after the picture:
My question is just how does he knows that $\Omega$ has enough elements to do what he does the over the red line? I get why it has enough elements to contain every algebraic extension of F, since an element of an algebraic extension of F, has to be a zero of a polynomial in $F[x]$, and he has made it so that we have enough elements for all possible zeros of all possible polynomials in $F[x]$.
But in the last part of the proof. How does he know that $\Omega$ has enough elements to construct $\bar{F}(\omega)$? I mean, he said that $\Omega$ was strictly bigger than A, so we know that we have more elements than we need for all possible algebraic extensions of F. But "strictly more" and "many more" is not precise?
Basically: A was created so that it has enough elements for all algebraic extensions of F, but how is it certain that $\Omega$ has enough elements for even one algebraic extension of $\bar{F}$ (the extension $\bar{F}(\omega)$)?
I must admit that I don't even know why the statement "Since $\Omega$ has many more elements than $\bar{F}$" is true. I know that Zorn's lemma uses the word maximal element, but by definition all we require is that a maximal element is not the entire set, so what is from stopping it from just being the entire set -1 element, er the entire set-"a very small subset"?
UPDATE: I thought of an argument, do you think this works? Wikipedia talks about cantors theorem and a strict subset by taking the set of all subsets, is what I write under correct, and can be put in the proof?
We assume that $\Omega$ is created by taking the union of "all subsets of A" and "one more element" . Then we have all the A elements embedded in $\Omega$ as the singletons. Since $\bar{F}$ is an algebraic extension it is represented by these singletons.
Now we do as in the proof assume that $f(x)$ is a nonconstant polynomial in $\bar{F}[x]$, by Kroneker's theorem, there exists an extension field K, with an element s. This element is algebraic over $\bar{F}$ since it is a zero of a polynomial in $\bar{F}[x]$. So the set $F(s)$ is created by $k_0+...+k_{n-1}s^{n-1}$ for $k_i \in \bar{F}$. We can associate s with the "one more element", and since $\bar{F}$ is an algebraic extension, every k is associated with the singletons, and every $k_0+...+k_{n-1}s^{n-1}$ is naturally associated with the subset that is the union of the singletons that each k is associated with.
Hence we have enough elements. Does this work?
$\overline{F}$ is, in particular, an algebraic extension of $F$ by definition. As such, it will be in bijection with a subset of $A$: to each element $x$ of $\overline{F}$ we have its minimal polynomial $p_x$ over $F$, and then we can use the Axiom of Choice to choose appropriate $i$ to index the roots of $p_x$ that occur in $\overline{F}$.
Next, we're given that $\Omega$ is "strictly larger" than $A$, by which I assume the author means "has cardinality strictly larger than $|A|$".
So because $\overline{F}$ has cardinality at most $|A|$, we know that there cannot be a bijection from $\overline{F}$ onto $\Omega$. As such, no map with domain $\overline{F}$ can surject onto $\Omega$, and so in particular the inclusion map $\iota: \overline{F}\hookrightarrow \Omega$ is not surjective, allowing us to choose $\omega\in \Omega$.
To actually form the proposed field, we take $\overline{F}(\omega)=\overline{F}[\omega]/\langle f\rangle$, which is a field by the fact that $f$ has no zeroes, and hence $\langle f\rangle$ is maximal.
To see that $\Omega$ is large enough to contain $\overline{F}(\omega)$, we note that $[\overline{F}(\omega):\overline{F}]=\deg f$ so $|\overline{F}(\omega)|=|\overline{F}|^{\deg f}$. Now, $\overline{F}$ won't be finite, but even if it were $\overline{F}(\omega)$ would be finite. Otherwise $|\overline{F}|=|\overline{F}(\omega)|$. $\Omega$ is infinite, so we still have $|\Omega|>|\overline{F}(\omega)|$.
Because $|\Omega|>|\overline{F}(\omega)|$, we know that $|\overline{F}(\omega)\setminus \overline{F}|<|\Omega\setminus \overline{F}|$, so there is an injection of $\overline{F}(\omega)$ into $\Omega$ that fixes $\overline{F}$. Declaring this injection to be a ring homomorphism gives the image the desired structure and field extension of $\overline{F}$ in $\Omega$.
EDIT: Responding to your update, $\mathcal{P}(A)$ is already enough. Cantor's Theorem says that $|A|<|\mathcal{P}(A)|$, so from what I've written above we know that setting $\Omega$ to be $\mathcal{P}(A)\cup F$ is enough to get "enough elements". The problem with the way you try assigning elements of $F(s)$ with elements in $\mathcal{P}(A)$ is that your method doesn't retain the ordering of the $k_i$'s. Of course, as shown above you don't actually need to actually come up with an injection of $F(s)$ to know there is one.