Friday, 26 April 2019

abstract algebra - Example check: two algebraically closed fields with one a subset of the other




The problem asks to find two different algebraically closed fields $\mathcal{E}$ and $\mathcal{F}$ with $\mathcal{E} \subseteq \mathcal{F}$.



We have not done a whole lot of stuff with algebraically closed and in fact the only one that came to mind was $\mathbb{C}$.



Does $\mathbb{C}(x)$, the field of rational functions in $x$ with coefficients from $\mathbb{C}$ work? Our definition of an algebraically closed field (which I'm not sure if there are other standard definitions or not) is that every polynomial with coefficients from the field must have a root in the field. Since the set of polynomials in $\mathbb{C}(x)$ is just $\mathbb{C}[x]$ it seems like my example is algebraically closed as well. Does this in fact work or am I missing something?



Thanks




Edit: I did notice a flaw in my thinking. I need to think of polynomials with coefficients in $\mathbb{C}(x)$ not polynomials contained in $\mathbb{C}(x)$.




Answer



The algebraic closure of $\Bbb Q, \overline{\Bbb Q} \subset \Bbb C$ gives an example to your main question.



More generally, for every (edit : u uncountable) cardinality, there is a unique algebraically closed field (upto isomorphism) So while $\Bbb C \subset \overline{C(X)}$(the algebraic closure of $C(X)$) are another pair of examples, the two fields are isomorphic although they are not equal.



(The uniqueness requires the axiom of choice.)


No comments:

Post a Comment

real analysis - How to find $lim_{hrightarrow 0}frac{sin(ha)}{h}$

How to find $\lim_{h\rightarrow 0}\frac{\sin(ha)}{h}$ without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...