I'm working on answering this question but I'm unsure about alot the way I'm going about with the answers.
The question is:
Let L be a subfield of $\mathbb{C}$.
a) Show that $\mathbb{Q}\subseteq L$
I approached this question by assuming that $\mathbb{Q}\nsubseteq L$, which implies that there exists a rational number $\frac{a}{b}$ not in L, where $a,b\in\mathbb{Z}$. But then by closure under multiplication and the multiplicative inverse properties of a field, either $a\notin L$ or $b\notin L$. Since if both are in L, then $a*(\frac{1}{b})$ must be in L. Let's say a∉L, then $\mathbb{Z}\nsubseteq L$. However, all fields must have $\mathbb{Z}$ as a subset, since 1 is contained in every field by the multiplicative identity property, and every other integer must also be in the field by repeatedly using the closure under addition property, and negative numbers are in the field by the additive inverse property. Hence $\mathbb{Z}\subseteq L$ for any field, therefore contradicting that $\mathbb{Q}\nsubseteq L$.
Have I missed anything in my proof, also I'm not completely confident with my answer since I'm not sure whether 1 is an element of every field.
b) Suppose $L/ \mathbb{Q}$ is a finite galois extension. Then for any $\alpha\in L$, let $\bar{\alpha}$ be the complex conjugate of $\alpha$, then $\bar{\alpha}\in L$
I'm not sure on how I would start with this one or how I could use the property that $L/ \mathbb{Q}$ is a Galois extension.
c) Let $\sigma:L\to L$, such that $\sigma (\alpha)=\bar{\alpha}$. Show that $\sigma\in Aut(L/ \mathbb{Q})$, and has order 1 or 2.
Is the question simply asking to show that $\sigma (\alpha)=\sigma(a+ib)=a+\sigma(i)b$. If so, then I can just say that since $(\sigma(i))^2=\sigma(-1)=-1$, thus $\sigma(i)=\pm i$, so by letting $\sigma(i)=- i$, we get $\sigma(\alpha)=\bar{\alpha}$. s this what the question is asking for, and if so, have I explained well enough how $\sigma\in Aut(L/ \mathbb{Q})$. I' unsure about what the question means by the order of the function, if someone could please explain it, I'd be very grateful.
d)Show that $\sigma$ has order 2 $\iff$ L$\nsubseteq\mathbb{R}$
Again, I'm not sure what it means by the order. If someone can explain what it means by order, can you also help me with how I would start this proof.