19th Ave New York, NY 95822, USA

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

Abstract algebra不算是一门简单的学科,这门学科在国内叫做抽象代数,经常有很多学生在学linear algebra或者analysis(advance calculus)的时候觉得并不困难,但是却觉得Abstract algebra很难,这是因为没有找到正确的方法学习Abstract algebra,UpriviateTA有一系列非常擅长Abstract algebra的老师,可以确保您在Abstract algebra取得满意的成绩。

以下是UCLA的一次assignment.更多的经典案例请参阅以往案例,关于abstract algebra的更多的以往案例可以参阅相关文章。abstract algebra代写请认准UpriviateTA.

问题 1. Express $X_{1}^{2} X_{2} X_{3}+X_{1} X_{2}^{2} X_{3}+X_{1} X_{2} X_{3}^{2}$ in terms of elementary symmetric functions.
证明 . 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}$.
问题 2. To begin the proof of Dedekind’s lemma, suppose that the $\sigma_{i}$ are linearly dependent. By renumbering the $\sigma_{i}$ if necessary, we have
a_{1} \sigma_{1}+\cdots a_{r} \sigma_{r}=0
where all $a_{i}$ are nonzero and $r$ is as small as possible. Show that for every $h$ and $g \in G$ we have $e$
\sum_{i=1}^{r} a_{i} \sigma_{1}(h) \sigma_{i}(g)=0
\sum_{i=1}^{r} a_{i} \sigma_{i}(h) \sigma_{i}(g)=0
证明 . 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)$
问题 3. Continuing Problem 2 , subtract (2) from (1) to get
\sum_{i=1}^{r} a_{i}\left(\sigma_{1}(h)-\sigma_{i}(h)\right) \sigma_{i}(g)=0
With $g$ arbitrary, reach a contradiction by an appropriate choice of $h$.
证明 . 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
=0 & \text { if } i=1 \\
\neq 0 & \text { if } i=2
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$.)
问题 4. If $G$ is the Galois group of $\mathbb{Q}(\sqrt[3]{2})$ over $\mathbb{Q}$, what is the fixed field of $G ?$
证明 .

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})$.

问题 5.

Find the Galois group of $\mathbb{C} / \mathbb{R}$.

证明 .

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.

abstract algebra代写请认准UpriviateTA

abstract algebra代写请认准UpriviateTA. UpriviateTA为您的留学生涯保驾护航。


Related Posts

Leave a comment