MHB Automorphisms of Field Extensions .... Lovett, Example 11.1.8 .... ....

  • Thread starter Thread starter Math Amateur
  • Start date Start date
  • Tags Tags
    Example Field
Math Amateur
Gold Member
MHB
Messages
3,920
Reaction score
48
I am reading "Abstract Algebra: Structures and Applications" by Stephen Lovett ...

I am currently focused on Chapter 8: Galois Theory, Section 1: Automorphisms of Field Extensions ... ...

I need help with Example 11.1.8 on page 559 ... ...Example 11.1.8 reads as follows:
View attachment 6657
My questions regarding the above example from Lovett are as follows:
Question 1In the above text from Lovett we read the following:" ... ... The minimal polynomial of $$\alpha = \sqrt{2} + \sqrt{3}$$ is $$m_{ \alpha , \mathbb{Q} } (x) = x^4 - 10x^2 + 1$$ and the four roots of this polynomial are $$\alpha_1 = \sqrt{2} + \sqrt{3}, \ \ \alpha_2 = \sqrt{2} - \sqrt{3}, \ \ \alpha_3 = - \sqrt{2} + \sqrt{3}, \ \ \alpha_4 = - \sqrt{2} - \sqrt{3} $$

... ... ... ... "
Can someone please explain why, exactly, these are roots of the minimum polynomial $$m_{ \alpha , \mathbb{Q} } (x) = x^4 - 10x^2 + 1$$ ... ... and further, how we would go about methodically determining these roots to begin with ... ...

Question 2In the above text from Lovett we read the following:" ... ... Let $$\sigma \in \text{Aut}(F/ \mathbb{Q} )$$. Then according to Proposition 11.1.4, $$\sigma$$ must permute the roots of $$m_{ \alpha , \mathbb{Q} } (x)$$ ... ... "Can someone explain what this means ... how exactly does $$\sigma $$ permute the roots of $$m_{ \alpha , \mathbb{Q} } (x)$$ ... ... and how does Proposition 11.1.4 assure this, exactly ... ...
NOTE: The above question refers to Proposition 11.1.4 so I am providing that proposition and its proof ... ... as follows:
View attachment 6658

Question 3In the above text from Lovett we read the following:" ... ... In Example 7.2.7 we observed that $$\sqrt{2}, \sqrt{3} \in F$$ so all the roots of $$m_{ \alpha , \mathbb{Q} } (x)$$ are in $$F$$ ... ... "Can someone please explain in simple terms exactly why and how we know that $$\sqrt{2}, \sqrt{3} \in F$$ ... ... ?
NOTE: Lovett mentions Example 7.2.7 so I am providing the text of this example ... as follows:
View attachment 6659
View attachment 6660

I hope that someone can help with the above three questions ...

Any help will be much appreciated ... ...

Peter
 
Last edited:
Physics news on Phys.org
Hi Peter,

Peter said:
Can someone please explain why, exactly, these are roots of the minimum polynomial $$m_{ \alpha , \mathbb{Q} } (x) = x^4 - 10x^2 + 1$$ ... ... and further, how we would go about methodically determining these roots to begin with ... ...

Fortunately, you can use high school algebra. The polynomial $x^4 - 10x^2 + 1$ is a quadratic in disguise, namely, if $u = x^2$ then the polynomial is $u^2 - 10u + 1$. So you can use the quadratic formula to find the roots.
Peter said:
Question 2In the above text from Lovett we read the following:" ... ... Let $$\sigma \in \text{Aut}(F/ \mathbb{Q} )$$. Then according to Proposition 11.1.4, $$\sigma$$ must permute the roots of $$m_{ \alpha , \mathbb{Q} } (x)$$ ... ... "Can someone explain what this means ... how exactly does $$\sigma $$ permute the roots of $$m_{ \alpha , \mathbb{Q} } (x)$$ ... ... and how does Proposition 11.1.4 assure this, exactly ... ...

Let $R$ be the set of roots of $m_{\alpha, \Bbb Q}$ in $F$. Since $\sigma$ is an automorphism of $F$, it is a bijection. By Proposition 11.6, $\sigma$ restricted to $R$ is a map $R\to R$, which is a bijection since $\sigma$ is a bijection. Hence, $\sigma$ permutes the elements of $R$, i.e., the roots of $m_{\alpha, \Bbb Q}$.
Peter said:
Question 3In the above text from Lovett we read the following:" ... ... In Example 7.2.7 we observed that $$\sqrt{2}, \sqrt{3} \in F$$ so all the roots of $$m_{ \alpha , \mathbb{Q} } (x)$$ are in $$F$$ ... ... "Can someone please explain in simple terms exactly why and how we know that $$\sqrt{2}, \sqrt{3} \in F$$ ... ... ?
NOTE: Lovett mentions Example 7.2.7 so I am providing the text of this example ... as follows:

It follows from closure under addition and scalar multiplication in $F$. For example, since $\alpha_1, \alpha_2\in F$, then $(1/2)(\alpha_1 + \alpha_2)\in F$, i.e., $\sqrt{2}\in F$.
 
Euge said:
Hi Peter,
Fortunately, you can use high school algebra. The polynomial $x^4 - 10x^2 + 1$ is a quadratic in disguise, namely, if $u = x^2$ then the polynomial is $u^2 - 10u + 1$. So you can use the quadratic formula to find the roots.
Let $R$ be the set of roots of $m_{\alpha, \Bbb Q}$ in $F$. Since $\sigma$ is an automorphism of $F$, it is a bijection. By Proposition 11.6, $\sigma$ restricted to $R$ is a map $R\to R$, which is a bijection since $\sigma$ is a bijection. Hence, $\sigma$ permutes the elements of $R$, i.e., the roots of $m_{\alpha, \Bbb Q}$.

It follows from closure under addition and scalar multiplication in $F$. For example, since $\alpha_1, \alpha_2\in F$, then $(1/2)(\alpha_1 + \alpha_2)\in F$, i.e., $\sqrt{2}\in F$.
Thanks Euge ... I appreciate your help ...

Peter
 
I asked online questions about Proposition 2.1.1: The answer I got is the following: I have some questions about the answer I got. When the person answering says: ##1.## Is the map ##\mathfrak{q}\mapsto \mathfrak{q} A _\mathfrak{p}## from ##A\setminus \mathfrak{p}\to A_\mathfrak{p}##? But I don't understand what the author meant for the rest of the sentence in mathematical notation: ##2.## In the next statement where the author says: How is ##A\to...
The following are taken from the two sources, 1) from this online page and the book An Introduction to Module Theory by: Ibrahim Assem, Flavio U. Coelho. In the Abelian Categories chapter in the module theory text on page 157, right after presenting IV.2.21 Definition, the authors states "Image and coimage may or may not exist, but if they do, then they are unique up to isomorphism (because so are kernels and cokernels). Also in the reference url page above, the authors present two...
When decomposing a representation ##\rho## of a finite group ##G## into irreducible representations, we can find the number of times the representation contains a particular irrep ##\rho_0## through the character inner product $$ \langle \chi, \chi_0\rangle = \frac{1}{|G|} \sum_{g\in G} \chi(g) \chi_0(g)^*$$ where ##\chi## and ##\chi_0## are the characters of ##\rho## and ##\rho_0##, respectively. Since all group elements in the same conjugacy class have the same characters, this may be...
Back
Top