abstract algebra代写|galois theory代写|抽象代数代写|伽罗瓦理论代写

证明 . We have $r_{1}=2, r_{2}=1, r_{3}=1$ so $t_{1}=1, t_{2}=0, t_{3}=1 .$ The algorithm terminates in one step after after subtraction of $\left(X_{1}+X_{2}+X_{3}\right)\left(X_{1} X_{2} X_{3}\right)$. The given polynomial can be expressed as $e_{1} e_{3}$.

证明 . Equation (1) follows upon taking $\sigma_{1}(h)$ outside the summation and using the linear dependence. Equation (2) is also a consequence of the linear dependence, because $\sigma_{i}(h) \sigma_{i}(g)=\sigma_{i}(h g)$

证明 . By hypothesis, the characters are distinct, so for some $h \in G$ we have $\sigma_{1}(h) \neq \sigma_{2}(h) .$ Thus in (3), each $a_{i}$ is nonzero and
$$
\sigma_{1}(h)-\sigma_{i}(h)\left\{\begin{array}{ll}
=0 & \text { if } i=1 \\
\neq 0 & \text { if } i=2
\end{array}\right.
$$
This contradicts the minimality of $r .$ (Note that the $i=2$ case is important, since there is no contradiction if $\sigma_{1}(h)-\sigma_{i}(h)=0$ for all $i$.)

证明 .

Let $E=\mathbb{Q}(\sqrt[3]{2}),$ as in $(3.5 .3) .$ The Galois group of the extension consists of the identity automorphism alone. For any $\mathbb{Q}$ -monomorphism $\sigma$ of $E$ must take $\sqrt[3]{2}$ into a root of $X^{3}-2 .$ Since the other two roots are complex and do not belong to $E, \sqrt[3]{2}$ must map to itself. But $\sigma$ is completely determined by its action on $\sqrt[3]{2},$ and the result follows.

If $E / F$ is not normal, we can always enlarge $E$ to produce a normal extension of $F$. If $C$ is an algebraic closure of $E,$ then $C$ contains all the roots of every polynomial in $F[X],$ so $C / F$ is normal. Let us try to look for a smaller normal extension.

the Galois group consists of the identity alone. Since the identity fixes all elements, the fixed field of $G$ is $\mathbb{Q}(\sqrt[3]{2})$.

证明 .

Since $\mathbb{C}=\mathbb{R}[i],$ an $\mathbb{R}$ -automorphism $\sigma$ of $\mathbb{C}$ is determined by its action on $i$. Since $\sigma$ must permute the roots of $X^{2}+1$ , we have $\sigma(i)=i$ or $-i .$ Thus the Galois group has two elements, the identity automorphism and complex conjugation.