I am reading "Abstract Algebra: Structures and Applications" by Stephen Lovett ...(adsbygoogle = window.adsbygoogle || []).push({});

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

I need help with Example 11.1.10 on page 560 ... ...

Example 11.1.10 reads as follows:

My questions regarding the above example are as follows:

Question 1

In the above text from Lovett we read the following:

" ... ... It is easy to show that ##\text{Aut} ( K / \mathbb{Q} ( \sqrt[3]{13} ) \ \cong \mathbb{Z}_2## ... ... "

Can someone please help me to show that ##\text{Aut} ( K / \mathbb{Q} ( \sqrt[3]{13} ) \ \cong \mathbb{Z}_2## ... ... ?

Question 2

In the above text from Lovett we read the following:

" ... ... By Proposition 11.1.4, there are at most three options where to map ##\sqrt[3]{13}## and at most two options where to map ##\sqrt{ -3 }## ... ... "

My question is ... what are the three options where to map ##\sqrt[3]{13}## ... surely there is only one option to map ##\sqrt[3]{13}## as the field extension is over ##\mathbb{Q}## and two of the "options" are imaginary or complex numbers ... or is Lovett just relying on "at most" ... why not rule out the complex roots straight away ... similarly I am puzzled about the two options for ##\sqrt{ -3 }## ... I am also puzzled about the role of Proposition 11.1.4 in this matter ... How does Proposition 11.1.4 ensure that there are at most three options where to map ##\sqrt[3]{13}## and at most two options where to map ##\sqrt{ -3 }## ... ... ... can someone please clarify the situation ...

The above question refers to Proposition 11.1.4 ... ... so I am providing the text of that proposition ... ... as follows ... ...

Help with the above questions will be much appreciated ... ...

Peter

***EDIT***

Just thinking ... since ##K = \mathbb{Q} ( \sqrt[3]{13}, \sqrt{ -3 } )## it already contains a complex number, namely ## \sqrt{ -3 } = \sqrt{ 3 }i## ... maybe that partly explains my questions ... ... and I think it is ##K ##containing the relevant roots, not ##\mathbb{Q}## as I was implying above ...

**Physics Forums - The Fusion of Science and Community**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# I Galois Theory - Structure Within Aut(K/Q) ...

Have something to add?

Draft saved
Draft deleted

Loading...

Similar Threads - Galois Theory Structure | Date |
---|---|

I Galois Theory - Fixed Field of F and Definition of Aut(K/F) | Jun 18, 2017 |

I Galois Theory - Fixed Subfield of K by H ... | Jun 16, 2017 |

A Galois theorem in general algebraic extensions | Apr 29, 2017 |

Book for abstract algebra (group and galois theory) | Apr 19, 2015 |

Trouble understanding simple Galois Theory example | Feb 25, 2015 |

**Physics Forums - The Fusion of Science and Community**